Observability properties of Petri nets

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2000, Pages 2676-2681

  Giua, A ^a   Seatzu, C ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SYSTEM RECOVERY; DISCRETE TIME CONTROL SYSTEMS; ESTIMATION; FAILURE ANALYSIS; PETRI NETS;

MARKING OBSERVABILITY; STRONGLY MARKING OBSERVABILITY;

CONTROL SYSTEM ANALYSIS;

EID: 0034439198     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Classical and logic based regulator design and its complexity for partially observed automata
2. Decidability of home space property
3. Petri net state estimators based on event observation
4. Observability properties of Petri nets
5. Predicates and predicate transformers for supervisory control of discrete event dynamical systems
6. Controllability and observability in the state-feedback control of discrete-event systems
7. Identification in discrete event systems
8. Analysing nets by the invariant method
9. Petri nets: Properties, analysis and applications
10. Language generating devices
11. Observability of discrete-event systems
12. Observer design for discrete event systems modeled by interpreted Petri nets