Synthesis of supervisors enforcing general linear vector constraints in Petri nets

Proceedings of the American Control Conference

Volumn 1, Issue , 2002, Pages 154-159

  Iordache, Marian V ^a   Antsaklis, Panos J ^a  

^a University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR VECTOR CONSTRAINTS; PARIKH VECTOR;

CONSTRAINT THEORY; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; OBSERVABILITY; PETRI NETS; SCADA SYSTEMS; VECTORS;

CONTROL SYSTEM SYNTHESIS;

EID: 0036060899     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2002.1024796     Document Type: Conference Paper

References (7)

1. Generalized mutual exclusion constraints on nets with uncontrollable transitions
2. Synthesis of supervisors enforcing general linear vector constraints in petri nets
3. Control of vector discrete-event systems II - Controller synthesis
4. Petri net supervisors for DES with uncontrollable and unobservable transitions
5. Enforcement of event-based supervisory constraints using state-based methods
6. Feedback control of petri nets based on place invariants