, Structural Synthesis of a Controller Based on the Grafcet model, IEEE Transactions on Control Systems Technology, 2004.
, Hybrid System Modeling and Event Identification, 1993.
, Controller synthesis for timed automata, Proc. IFAC Symposium on System Structure and Control, pp.469-474, 1998.
, Polynomial algorithms for the synthesis of bounded nets, Proc. of CAAP'95, pp.364-378, 1995.
DOI : 10.1007/3-540-59293-8_207
URL : https://hal.archives-ouvertes.fr/inria-00074358
, Control of Discrete Event Systems: Theory and Application, Thesis for the degree of Doctor of Technical Sciences, Swiss Federal Institute of Technology, 1992.
, Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, pp.1040-1059, 1993.
DOI : 10.1109/9.231459
, Supervisory control of Petri nets based on suboptimal monitor places, Proc. WODES'98, pp.85-87, 1998.
, Supervisory control of Discrete Event Systems with forcible events, Thesis for the degree of master of applied science, 1989.
, On optimal attraction in discrete-event processes, Information sciences, vol.67, pp.245-276, 1993.
, Supervisory control of Timed Discrete Event Systems, IEEE Transactions on Automatic Control, vol.39, issue.2, pp.329-342, 1994.
, Linear projectors in the max-plus algebra, Proc. 5th IEEE Med. Conf. on Cont. and Syst, 1997.
, PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), 1998.
DOI : 10.1109/CDC.1998.758209
, Systèmes dynamiques à événement discrets : du modèle à la commande, Journées Doctorales d'Automatique JDA'99, 1999.
, Performance evaluation of (max,+) automata, IEEE Transactions on Automatic Control, vol.40, issue.12, pp.2014-2025, 1995.
DOI : 10.1109/9.478227
, Conception du Superviseur Optimal Vivant à l'aide de la Théorie des Régions, MSR'01, 2001.
, Generalized mutual exclusion constraints on nets with uncontrollable transitions, Proc. IEEE International Conference on Systems, Man, and Cybernetics, pp.974-979, 1992.
DOI : 10.1109/icsmc.1992.271666
, Petri net supervisors for generalized mutual exclusion constraints, Proc. 12 th IFAC World Congresse, 1993.
, Synthesis of feedback control logic for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.514-523, 1990.
DOI : 10.1109/9.53517
, Controlled Petri nets: A tutorial survey, Proc. 11 th International Conf. on Analysis and Control, Discrete Event Systems, pp.158-168, 1994.
DOI : 10.1007/BFb0033544
, Commande supervisée des systèmes à événements discrets, JDA'01 (Journées Doctorales d'Automatique), pp.25-27
, Structural Synthesis of a Controller Based on the Grafcet model, CESA'2003 -Computing Engineering in Systems Applications, pp.9-11, 2003.
, Synthesis of Feedback Control Logic for Discrete Manufacturing Systems, Automatica, vol.27, issue.4, pp.641-651, 1991.
, Supervisory control of Petri nets, Belgian-French-Netherlands, 1993.
, Supervisory Synthesis Techniques for Discrete Event Dynamical Systems, Thesis for the degree of Doctor of Philosophy, 1991.
, PLC Implementation of a DES Supervisor for a Manufacturing Testbed: An Implementation Perspective, Canada, 1996.
, Control of vector discrete-event systems. I. The base model, IEEE Transactions on Automatic Control, vol.38, issue.8, pp.1214-1227, 1993.
DOI : 10.1109/9.233154
, Control of vector discrete-event systems-part ii: controller synthesis, IEEE Trans. Automatic Control, vol.39, issue.3, pp.512-531, 1994.
, Decentralized control and coordination of discrete-event systems with partial observation, IEEE Transactions on Automatic Control, vol.35, issue.12, pp.1330-1337, 1990.
DOI : 10.1109/9.61009
, Supervisory control of Petri nets with uncontrollable/unobservable transitions, Proc. Of the 35 th IEEE CDC, 1996.
, Antsaklis, Deadlock Avoidance in Petri nets with Uncontrollable Transitions, Proc. of American Control Conference, 1998.
, Methods and tools for the synthesis of an optimal control implementation for Grafcet, APII-JESA, vol.33, pp.8-9, 1999.
, Supervision of discrete event processes, 1982 21st IEEE Conference on Decision and Control, pp.1228-1229, 1982.
DOI : 10.1109/CDC.1982.268351
, Supervisory control of a class of discrete event processes, LNCIS, vol.63, pp.477-498, 1983.
, Observability of discrete event systems, 1986 25th IEEE Conference on Decision and Control, 1108.
DOI : 10.1109/CDC.1986.267551
, 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
, Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987.
DOI : 10.1137/0325066
, The control of discrete event systems, Proceedings of the IEEE; Special issue on Dynamics of Doscrete Event Systems, pp.81-98, 1989.
DOI : 10.1109/5.21072
, Analyse de Grafcets par génération logique de l'automate équivalent, Thèse de doctorat de l'Ecole Normale Supérieure de Cachan, 1994.
, Sur la synthèse de la commande des systèmes à événements discrets temporisés, 2002.
, Putting Petri nets to work for controlling flexible manufacturing systems, Proc. ISCAS'85, pp.929-932, 1985.
, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.
DOI : 10.1137/0325036
, Modeling and optimal control of discrete-event chemical processes using petri nets, Computers & Chemical Engineering, vol.15, issue.7, pp.503-519, 1991.
DOI : 10.1016/0098-1354(91)85029-T
, Feedback control of petri nets based on place invariants, Automatica, vol.32, issue.1, 1994.
DOI : 10.1016/0005-1098(95)00103-4
, Feedback control of petri nets based on place invariants, Automatica, vol.32, issue.1, pp.15-28, 1996.
DOI : 10.1016/0005-1098(95)00103-4
, On the consistency of hierarchical supervision in discrete-event systems, IEEE Transactions on Automatic Control, vol.35, issue.10, pp.1125-1134, 1990.
DOI : 10.1109/9.58555