Automatic generation of discrete handlers of real-time continuous control tasks, Proc. 18th World Congress of the International Federation of Automatic Control (IFAC), pp.786-793, 2011. ,
DOI : 10.3182/20110828-6-IT-1002.01548
URL : https://hal.archives-ouvertes.fr/inria-00498394
Using controller synthesis to build propertyenforcing layers, European Symposium on Programming, pp.126-141, 2003. ,
Concurrency control generation for dynamic threads using discreteevent systems, Communication, Control, and Computing 47th Annual Allerton Conference on, pp.927-934, 2009. ,
A generic model of contracts for embedded systems, Res. Rep. RR-6214, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00153477
The synchronous languages twelve years later, Proc. of the IEEE, pp.64-83, 2003. ,
Programming with angelic nondeterminism, Principles of Programming Languages, POPL, pp.339-352, 2010. ,
Synchronous control of reconfiguration in fractal component-based systems ? a case study, Int. Conf. on Embedded Software. EMSOFT 2011, pp.309-318, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00596883
Introduction to Discrete Event Systems, 2007. ,
Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Conf. on Concurrency Theory (CONCUR), pp.66-80, 2005. ,
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475
Synchronous and Bidirectional Component Interfaces, Computer Aided Verification, pp.414-427, 2002. ,
DOI : 10.1007/3-540-45657-0_34
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.266
A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.173-182, 2005. ,
DOI : 10.1145/1086228.1086261
Contracts for modular discrete controller synthesis, Languages, Compilers and Tools for Embedded Systems, pp.57-66, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00436560
Reactive model-based control of reconfiguration in the Fractal componentbased model, Component Based Software Engineering, pp.93-112, 2010. ,
Synthesis and implementation of local modular supervisory control for a manufacturing cell, Proceedings of the 6th International Workshop on Discrete Event Systems, pp.377-382, 2002. ,
Generation of concurrency control code using discrete-event systems theory, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.146-157, 2008. ,
DOI : 10.1145/1453101.1453122
Calcul d'horloge et structures de contrôle dans Lucid Synchrone, un langage de flots synchrones à la ML, Univ. P. et M. Curie, 2002. ,
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements, Formal Methods in Software and Systems Modeling, pp.309-324, 2005. ,
DOI : 10.1007/978-3-540-31847-7_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.9537
The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996. ,
DOI : 10.1145/235321.235322
Feedback Control of Computing Systems, 2004. ,
DOI : 10.1002/047166880X
Algebraic Synthesis of Transition Conditions of a State Model, Proc. of 9th Int. Workshop On Discrete Event Systems (WODES'08), pp.187-192, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00353634
Concurrent program synthesis based on supervisory control, Proceedings of the 2010 American Control Conference, 2010. ,
DOI : 10.1109/ACC.2010.5530904
Petri nets and programming: A survey, 2009 American Control Conference, pp.4994-4999, 2009. ,
DOI : 10.1109/ACC.2009.5159987
Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.653-660, 2000. ,
DOI : 10.1109/3477.875442
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems, IFAC Proceedings Volumes, vol.43, issue.12, pp.426-431, 2010. ,
DOI : 10.3182/20100830-3-DE-4013.00070
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2775-2780, 2005. ,
DOI : 10.1109/CDC.2005.1582583
Controller Synthesis from LSC Requirements, Fundamental Approaches to Software Engineering, FASE'09, 2009. ,
DOI : 10.1007/978-3-642-00593-0_6
Supervisory control of infinite symbolic systems using abstract interpretation, 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, pp.31-35, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00483925
Structural decentralized control of concurrent discrete-event systems, European Journal of Control, vol.8, issue.5, 2002. ,
Schedulability analysis of petri nets based on structural properties, Application of Concurrency to System Design Sixth International Conference on, pp.69-78, 2006. ,
Logical-time contracts for the development of reactive embedded software, 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), pp.48-55, 2004. ,
Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis, 1997. ,
Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic Systems: Theory and Applications, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Supervisory control problems of hierarchical finite state machines, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.1199-1204, 2002. ,
DOI : 10.1109/CDC.2002.1184677
URL : https://hal.archives-ouvertes.fr/inria-00525529
Applying 'design by contract', Computer, vol.25, issue.10, pp.2540-51, 1992. ,
DOI : 10.1109/2.161279
Supervisory control of software systems, IEEE Transactions on Computers, vol.53, issue.9, pp.1187-1199, 2004. ,
DOI : 10.1109/TC.2004.67
Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987. ,
DOI : 10.1137/0325013
On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems, 2008 9th International Workshop on Discrete Event Systems, pp.462-467, 2008. ,
DOI : 10.1109/WODES.2008.4605990
Supervisory control of workflow scheduling, Advanced Transaction Models and Architectures Workshop (ATMA), 1996. ,
The theory of deadlock avoidance via discrete control, Principles of Programming Languages, POPL, pp.252-263, 2009. ,