Scheduler modelling based on the controller synthesis paradigm, Journal of Real- Time Systems, vol.23, issue.1, 2002. ,
Changing operational modes in the context of pre run-time scheduling, IEICE Transactions on Information and Systems, issue.11, pp.1333-1340, 1993. ,
Synchronous programming of reactive systems, Kluwer, 1993. ,
Programming real-time applications with signal, Proceedings of the IEEE, pp.1321-1336, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075114
Running-modes of real-time systems: a case-study with mode-automata, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, 2000. ,
DOI : 10.1109/EMRTS.2000.854014
Effective programming language support for discrete-continuous modeswitching control systems, Proceedings of the 40th IEEE Conference on Decision and Control, CDC'01, 2001. ,
DOI : 10.1109/cdc.2001.980330
Synthesis of discrete-event controllers based on the Signal environment, Discrete Event Dynamical System: Theory and Applications, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Partial order control of discrete event systems modeled as polynomial dynamical systems, IEEE International Conference On Control Applications, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073416
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Implementing mode changes with shared resources in Ada, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, 1999. ,
DOI : 10.1109/EMRTS.1999.777454
A framework for using discrete control synthesis in safe robotic programming and teleoperation, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), pp.21-26, 2001. ,
DOI : 10.1109/ROBOT.2001.933259
Mode changes in priority pre-emptive scheduled systems, Proceedings of the IEEE Real Time Systems Symposium, pp.100-109, 1992. ,