Maximally permissive and non blocking control of Petri nets using theory of regions

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2, Issue , 2002, Pages 1895-1900

  Ghaffari, A ^a   Rezg, N ^a   Xie, X ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CLOSED LOOP CONTROL SYSTEMS; CONTROL SYSTEM SYNTHESIS; FLEXIBLE MANUFACTURING SYSTEMS; OPTIMAL CONTROL SYSTEMS; SCADA SYSTEMS;

AUTOMATON MODEL; CLOSED LOOP SYSTEM; NONBLOCKING CONTROL; RAMADGE-WONHAM APPROACH; THEORY OF REGIONS; UNCONTROLLABLE TRANSITIONS;

PETRI NETS;

EID: 0036058651     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Polynomial algorithms for the synthesis of bounded nets
2. Petri net supervisors for generalized mutual exclusion constraints
3. Synthesis of feedback control logic for a class of controlled Petri nets
4. Control of vector discrete event systems II - Controller synthesis
5. Supervisory control of Petri nets with uncontrollable/unobservable transitions
6. The control of discrete event systems
7. Feedback control of petri nets based on place invariants