?(q i ) et ?(q i ) d. Calculer td(M 0 ,t??(q i ), °q), td(M 0 ,t??(q i ), q°) et ? e, Calculer S(°q i ), X(q i °), E(q i °) et F ,
le superviseur permet le franchissement de la transition d'influence à ?=e, à condition d'interdire le franchissement de q° à ? i ,
Contribution à la synthèse des controleurs des systèmes à événements discrets partiellement observables, 2005. ,
Supervisory Control of Partially Observable Marked Graphs, IEEE Transactions on Automatic Control, vol.49, issue.11, pp.2007-2011, 2004. ,
DOI : 10.1109/TAC.2004.837558
On the supervisory control of marked graphs, 2008 IEEE International Conference on Industrial Engineering and Engineering Management, pp.2122-2126, 2008. ,
DOI : 10.1109/IEEM.2008.4738246
URL : https://hal.archives-ouvertes.fr/inria-00598651
Control Law for Timed Marhed Graph Constrained by Marking Exclusion Constraint OR/AND, Automatica si Calculatoire, pp.75-92, 2011. ,
Supervisory Control of partially observable Marked Graph based on Marking Exclusion Constraint, 5th Conference on Management and Control of Production Logistics, pp.64-69, 2010. ,
DOI : 10.3182/20100908-3-PT-3007.00015
URL : https://hal.archives-ouvertes.fr/inria-00601027
Supervisory control of timed-place marked graph based on Marking Exclusion Constraint, 2011 International Conference on Communications, Computing and Control Applications (CCCA), pp.1-8, 2011. ,
DOI : 10.1109/CCCA.2011.6031518
Control synthesis for partially controlled marked graph subject to marking exclusion constraints. Large Scale Complex Systems Theory and Applications, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00601022
The Control Policy of Marking Exclusion Constraint applying on Marked Graph Partially controllable Aleppo, 4ème Congrès International Francophone de Mécanique Avancée - CIFMA, pp.1-9, 2010. ,
Polynomial algorithms for the synthesis of bounded nets. TAPSOFT'95: Theory and Practice of Software Development, pp.364-378, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00074358
Deadlock recovery of Petri net models controlled using observers, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), pp.441-449, 2001. ,
DOI : 10.1109/ETFA.2001.997718
An Optimization Approach to Petri Net Monitor Design, IEEE Transactions on Automatic Control, vol.52, issue.2, pp.306-311, 2007. ,
DOI : 10.1109/TAC.2006.887905
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places, Automatica, vol.42, issue.6, pp.995-1004, 2006. ,
DOI : 10.1016/j.automatica.2006.02.003
Closed-loop live Petri net supervisors for generalized mutual exclusion constraints, 5th International Workshop on Discrete Event Systems (WODES 00), pp.169-180, 2000. ,
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement, Discrete Event Dynamic Systems, vol.32, issue.1, pp.1-30, 2009. ,
DOI : 10.1007/978-1-4615-1537-1
On forbidden state problems for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.40, issue.10, pp.40-1717, 1995. ,
DOI : 10.1109/9.467679
Réseaux de Petri: théorie et pratique, Book, issue.2, 1983. ,
Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, vol.39, issue.2, pp.329-342, 1994. ,
DOI : 10.1109/9.272327
Dynamical logic observers for finite automata, Proceedings of the 27th IEEE Conference on Decision and Control, pp.226-233, 1988. ,
DOI : 10.1109/CDC.1988.194300
Discrete-event dynamic systems, IEEE Transactions on Control Systems Technology, vol.7, issue.2, pp.175-187, 1999. ,
DOI : 10.1109/87.748144
Marking estimation of Petri nets with silent transitions, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.966-971, 2004. ,
DOI : 10.1109/CDC.2004.1428810
Petri Nets and Grafcet: tools for modelling discrete event systems, Book, 1992. ,
Synthèse de contrôlleurs sur des systèmes à événements discrets structurés, thèse, 2004. ,
Algebraic and geometric characterization of Petri net controllers using the theory of regions, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.219-224, 2002. ,
DOI : 10.1109/WODES.2002.1167691
URL : https://hal.archives-ouvertes.fr/inria-00100956
Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.18-29, 2003. ,
DOI : 10.1109/TAC.2002.806651
Petri Net Supervisors for Generalized Mutual Exclusion Constraints, 12th IFAC world congress, 1993. ,
DOI : 10.1016/S1474-6670(17)48493-X
Observability of place/transition nets, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1424-1437, 2002. ,
DOI : 10.1109/TAC.2002.802769
Petri nets as discrete event models for supervisory control, 1992. ,
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
A Generalization of State Avoidance Policies for Controlled Petri Nets, IEEE Transactions on Automatic Control, issue.6, pp.41-804, 1996. ,
Synthèe structurelle d'un contrôlleur basèe sur le Grafcet, thèse. Universit{\'e} Joseph Fourier, 2004. ,
Synthesis of feedback control logic for discrete manufacturing systems, Automatica, vol.27, issue.4, pp.641-651, 1991. ,
DOI : 10.1016/0005-1098(91)90055-7
On closed-loop liveness of discrete-event systems under maximally permissive control, IEEE Transactions on Automatic Control, vol.37, issue.5, pp.692-697, 1992. ,
Supervisory synthesis techniques for discrete event dynamical systems, 1992. ,
Controllability and observability in the state-feedback control of discrete-event systems, IEEE, pp.203-208, 1988. ,
Control of vector discrete-event systems. i. the base model. Automatic Control, IEEE Transactions on, vol.38, issue.8, pp.1214-1227, 1993. ,
Decentralized control and coordination of discreteevent systems with partial observation. Automatic Control, IEEE Transactions on, vol.35, issue.12, pp.1330-1337, 1990. ,
Supervisory Control of Discrete Event Systems Using Petri Nets, 1998. ,
DOI : 10.1007/978-1-4615-5711-1
Supervisory control of Petri nets with uncontrollable/unobservable transitions, Proceedings of 35th IEEE Conference on Decision and Control, 1996. ,
DOI : 10.1109/CDC.1996.577490
Petri net supervisors for DES with uncontrollable and unobservable transitions. Automatic Control, IEEE Transactions on, vol.45, issue.3, pp.462-476, 2000. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Observability of discrete event dynamic systems, IEEE Transactions on Automatic Control, vol.35, issue.7, pp.797-806, 1990. ,
DOI : 10.1109/9.57018
Observability of discrete event systems, 1986 25th IEEE Conference on Decision and Control, pp.1108-1112, 1986. ,
DOI : 10.1109/CDC.1986.267551
Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, p.1202, 1987. ,
DOI : 10.1137/0325066
Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, p.206, 1987. ,
DOI : 10.1137/0325013
The control of discrete event systems, Proceeding of IEEE, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Analysis of asynchronous concurrent systems by timed Petri nets, 1974. ,
Sur la synthèse de la commande des systèmes à événements discrets temporisés, thèse, 2001. ,
Use of Petri nets for performance evaluation, Acta Cybernetica, vol.4, pp.185-202, 1978. ,
Linear Algebraic Design of Supervisors for Partially Observed Petri Nets, IFAC Proceedings Volumes, vol.33, issue.13, 2000. ,
DOI : 10.1016/S1474-6670(17)37202-6
Static-state feedback control of discreteevent systems under partial observation. Automatic Control, IEEE Transactions on, issue.11, pp.40-1950, 1995. ,
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