×

Geometrical characterization of observability in Interpreted Petri Nets. (English) Zbl 1249.93126

Summary: This work is concerned with observability in Discrete Event Systems (DESs) modeled by Interpreted Petri Nets (IPNs). Three major contributions are presented. First, a novel geometric characterization of observability based on input-output equivalence relations on the marking sequences sets is presented. Later, to show that this characterization is well posed, it is applied to linear continuous systems, leading to classical characterizations of observability for continuous systems. Finally, this paper translates the geometric characterization of observability into structural properties of the IPNs. Thus, polynomial algorithms can be derived to check the observability in a broad class of IPNs.

MSC:

93C65 Discrete event control/observation systems
93B07 Observability
PDFBibTeX XMLCite
Full Text: EuDML Link

References:

[1] Aguirre-Salas L., Begovich, O., Ramírez-Treviño A.: Observability in interpreted Petri nets using sequence invariants. Proc. 41th IEEE Conference on Decision and Control, Hawai 2002, pp. 3602-3607
[2] Campos-Rodríguez R., Ramírez-Treviño, A., López-Mellado E.: Regulation control of partially observed discrete event systems. Proc. IEEE-SMC, The Hague 2004, pp. 1837-1842
[3] Chen C. T.: Linear System Theory and Design. Harcourt Brace Jovanovich Inc., New York 1970
[4] Cieslak R., Desclaux C., Fawaz, A., Varaiya P.: Supervisory control of discrete event processes with partial observation. IEEE Trans. Automat. Control 33 (1988), 249-260 · Zbl 0639.93041 · doi:10.1109/9.402
[5] Desel J., Esparza J.: Free Choice Petri Nets. Cambridge University Press, Cambridge 1995 · Zbl 0836.68074 · doi:10.1017/CBO9780511526558
[6] DiCesare F., Harhalakis G., Proth J. M., Silva, M., Vernadat F. B.: Practice of Petri Nets in Manufacturing. Chapman & Hall, London 1993
[7] Giua A.: Petri net state estimators based on event observation. Proc. 36th IEEE Conference on Decision and Control, San Diego 1997, pp. 4086-4091
[8] Giua A., Seatzu C.: Observability properties of Petri nets. Proc. 39th IEEE Conference on Decision and Control, Sydney 2000, pp. 2676-2681
[9] Hopcroft J. E., Ullman J. D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, New York 1979 · Zbl 0980.68066
[10] Ichikawa A., Hiraishi K.: Analysis and Control of Discrete Event Systems Represented by Petri Nets. (Lecture Notes in Control and Inform. Sciences 103.) Springer, Berlin 1989, pp. 115-134 · Zbl 0850.93029 · doi:10.1007/BFb0042308
[11] Kumar R., Grag V. K., Marcus S. I.: On controllability and normality of discrete event dynamic systems. Systems Control Lett. 17 (1991), 157-168 · Zbl 0759.93013 · doi:10.1016/0167-6911(91)90061-I
[12] Kumar R., Grag V. K., Marcus S. I.: On supervisory control of sequential behaviors. IEEE Trans. Automat. Control 37 (1992), 1978-1985 · Zbl 0788.93029 · doi:10.1109/9.182487
[13] Kumar R., Shayman M. A.: Formulae relating controllability, observability and co-observability. Automatica 2 (1998), 211-215 · Zbl 0911.93020 · doi:10.1016/S0005-1098(97)00164-7
[14] Li Y., Wonham W. M.: Controllability and observability in the state-feedback control of discrete event systems. Proc. 27th IEEE Conference on Decision and Control, Austin 1988, pp. 203-207
[15] Lin F., Wonham W. M.: Decentralized control and coordination of discrete-event systems with partial observation. IEEE Trans. Automat. Control 35 (1990), 1330-1337 · Zbl 0723.93043 · doi:10.1109/9.61009
[16] Meda M. E., Ramírez-Treviño, A., Malo A.: Identification in discrete event systems. IEEE Internat. Conference SMC, San Diego 1998, pp. 740-745
[17] Murata T.: Petri nets: properties, analysis and applications. Proc. IEEE 77 (1989), 541-580
[18] Özveren C. M., Willsky A. S.: Observability of discrete event dynamic systems. IEEE Trans. Automat. Control 35 (1990), 797-806 · Zbl 0709.68030 · doi:10.1109/9.57018
[19] Perko L.: Differential Equations and Dynamic Systems. (Texts in Applied Mathematics.) Springer, New York 1996 · Zbl 0854.34001 · doi:10.1007/978-1-4684-0249-0
[20] Ramadge P. J.: Observability of discrete event systems. Proc. 25th IEEE Conference on Decision and Control, Athens 1986, pp. 1108-1112
[21] Ramírez-Treviño A., Rivera-Rangel, I., López-Mellado E.: Observability of discrete event systems modeled by interpreted Petri nets. IEEE Trans. Robotics and Automation 19 (2003), 557-565 · doi:10.1109/TRA.2003.814503
[22] Rivera-Rangel I., Aguirre-Salas L., Ramírez-Treviño, A., López-Mellado E.: Observer design for discrete event systems modeled by interpreted Petri nets. Proc. 39th IEEE Conference on Decision and Control, Sydney 2000, pp. 2260-2265
[23] Ushio T.: On the existence of finite-state supervisors under partial observations. IEEE Trans. Automat. Control 42 (1997), 1577-1581 · Zbl 0891.93006 · doi:10.1109/9.649723
[24] Wonham W. M.: Linear Multivariable Control. A Geometric Approach. Springer, New York 1985 · Zbl 0609.93001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.