The observer coverability graph for the analysis of observability properties of Place/Transition nets

2001 European Control Conference, ECC 2001

Volumn , Issue , 2001, Pages 1339-1344

  Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; observers; Petri nets

Indexed keywords

COMPUTABILITY AND DECIDABILITY; OBSERVABILITY; PETRI NETS;

ANALYSIS TOOLS; COVERABILITY GRAPHS; INITIAL MARKING; NET STRUCTURES; NET SYSTEMS; OBSERVERS;

DISCRETE EVENT SIMULATION;

EID: 84947466071     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2001.7076103     Document Type: Conference Paper

References (10)

1. P. E. Caines, R. Greiner, S. Wang, "Dynamical Logic Observers for Finite Automata," Proc. 27th CDC, Austin, TX, pp. 226-33, Dec. 1988.
2. P. E. Caines, S. Wang, "Classical and Logic Based Regulator Design and its Complexity for Partially Observed Automata," Proc. 28th CDC, Tampa, FL, pp. 132-7, Dec. 1989.
3. A. Giua, "Petri Net State Estimators Based on Event Observation," Proc. 36th CDC, San Diego, CA, pp. 4086-91, Dec. 1997.
4. A. Giua, C. Seatzu, "Observability Properties of Petri Nets," Proc. 39th CDC, Sydney, Australia, pp. 2676-81, Dec. 2000.
5. R. Kumar, V. Garg, S. I. Markus, "Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems," IEEE Trans. on Automatic Control, 38(2), pp. 232-47, 1993.
6. C. M. Ozveren, A. S. Willsky, "Observability of Discrete Event Dynamic Systems," IEEE Trans. on Automatic Control, 35(7), pp. 797-806, 1990.
7. P. J. Ramadge, "Observability of Discrete-Event Systems," Proc. 25th CDC, Athens, Greece, pp. 1108-12, Dec. 1986.
8. M. E. Meda, A. Ramrez, A. Malo, "Identification in Discrete Event Systems," Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Diego, CA, pp. 740-5, Oct. 1998.
9. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings IEEE, 77(4), pp. 541-80, 1989.
10. A. Ramrez, I. Rivera, E. Lopez, "Observer Design for Discrete Event Systems Modeled by Interpreted Petri Nets," 2000 IEEE Int. Conf. on Robotics and Automation, San Francisco, CA, pp. 2871-6, Apr. 2000.