State observability and condition observability for a class of interacting discrete event systems

Mathematics and Computers in Simulation

Volumn 70, Issue 5-6, 2006, Pages 275-286

  Holloway, Lawrence E ^a   Gong, Yu ^a   Ashley, Jeff ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

Condition systems; Discrete event system; Observer

Indexed keywords

CONDITION MONITORING; OBSERVABILITY;

BINARY SIGNALS; CONDITION SYSTEMS; OBSERVER;

DISCRETE TIME CONTROL SYSTEMS;

EID: 32144459546     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2005.11.013     Document Type: Conference Paper

References (14)

1. J. Ashley, and L.E. Holloway Qualitative diagnosis of condition systems Discrete Event Dyn. Syst.: Theory Appl. 14 4 2004 395 412
2. J. Cardoso, R. Valette, D. Dubois, Petri nets with uncertain markings, in: Advances in Petri Nets 1990 [Advances in Petri Nets 1990, Bonn, Germany, 28-30 June 1989], vol. 483, Springer-Verlag, 1991, pp. 64-78.
3. A Giua, Petri net state estimators based on event observation, in: Proceedings of IEEE 36th International Conference on Decision and Control, San Diego, 1997, pp. 4086-4091.
4. X. Guan, Distributed supervisory control of forbidden conditions, and automated synthesis and composition of task controllers, Ph.D. thesis, University of Kentucky, October 2000.
5. Y. Gong, Observer synthesis for control of a class of condition systems, Ph.D. thesis, University of Kentucky, 2003.
6. Y. Gong, L.E. Holloway, Partial observation of condition systems which are not state observable, in: Proceedings of IMACS Multiconference in Computational Engineering in Systems Applications (CESA2003), IMACS, Lille, France, 2003.
7. H.M. Hanisch, A. Luder, and M. Rausch Controller synthesis for net condition/event systems with a solution for incomplete state observation Eur. J. Control 1997 280 291
8. L.E. Holloway, and J. Ashley Condition Languages and Condition Systems for Modeling Ambiguous Control Specifications 1998 IEE International Workshop on Discrete Event Systems (WODES98) Cagliari
9. L.E. Holloway, X. Guan, R. Sundaravadivelu, and J. Ashley Automated synthesis and composition of taskblocks for control of manufacturing systems IEEE Trans. Systems, Man, Cybernet. Part B 30 5 2000 696 712
10. S. Kowalewski, Y. Lakhnech, B. Lukoschus, L. Urbina, On the composition of condition/event systems, in: Proceedings of International Workshop on Discrete Event Systems, WODES98, IEE, Cagliari, 1998.
11. F. Lin, and W.M. Wonham On observability of discrete-event systems Inform. Sci. 44 1988 173 198
12. C.M. Ozveren, and A.S. Willsky Observability of discrete event dynamic systems IEEE Trans. Autom. Control 35 1990 797 806
13. R. Sreenivas, and B. Krogh On condition/event systems with discrete state realizations Discrete Event Dyn. Syst.: Theory. Appl. 1 2 1991 209 236
14. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete event systems IEEE Trans. Autom. Control 40 9 1995 1555 1575