Geometrical characterization of observability in Interpreted Petri Nets

Israel Rivera-Rangel; Antonio Ramírez-Treviño; Luis I. Aguirre-Salas; Javier Ruiz

Kybernetika (2005)

  • Volume: 41, Issue: 5, page [553]-574
  • ISSN: 0023-5954

Abstract

top
This work is concerned with observability in Discrete Event Systems (DES) modeled by Interpreted Petri Nets (IPN). 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 characte-rization of observability into structural properties of the IPN. Thus, polynomial algorithms can be derived to check the observability in a broad class of IPN.

How to cite

top

Rivera-Rangel, Israel, et al. "Geometrical characterization of observability in Interpreted Petri Nets." Kybernetika 41.5 (2005): [553]-574. <http://eudml.org/doc/33774>.

@article{Rivera2005,
abstract = {This work is concerned with observability in Discrete Event Systems (DES) modeled by Interpreted Petri Nets (IPN). 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 characte-rization of observability into structural properties of the IPN. Thus, polynomial algorithms can be derived to check the observability in a broad class of IPN.},
author = {Rivera-Rangel, Israel, Ramírez-Treviño, Antonio, Aguirre-Salas, Luis I., Ruiz, Javier},
journal = {Kybernetika},
keywords = {discrete event systems; observability; Petri nets; discrete event system; observability; Petri net},
language = {eng},
number = {5},
pages = {[553]-574},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Geometrical characterization of observability in Interpreted Petri Nets},
url = {http://eudml.org/doc/33774},
volume = {41},
year = {2005},
}

TY - JOUR
AU - Rivera-Rangel, Israel
AU - Ramírez-Treviño, Antonio
AU - Aguirre-Salas, Luis I.
AU - Ruiz, Javier
TI - Geometrical characterization of observability in Interpreted Petri Nets
JO - Kybernetika
PY - 2005
PB - Institute of Information Theory and Automation AS CR
VL - 41
IS - 5
SP - [553]
EP - 574
AB - This work is concerned with observability in Discrete Event Systems (DES) modeled by Interpreted Petri Nets (IPN). 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 characte-rization of observability into structural properties of the IPN. Thus, polynomial algorithms can be derived to check the observability in a broad class of IPN.
LA - eng
KW - discrete event systems; observability; Petri nets; discrete event system; observability; Petri net
UR - http://eudml.org/doc/33774
ER -

References

top
  1. Aguirre-Salas L., Begovich, O., Ramírez-Treviño A., Observability in interpreted Petri nets using sequence invariants, In: 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, In: 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., 10.1109/9.402, IEEE Trans. Automat. Control 33 (1988), 249–260 (1988) DOI10.1109/9.402
  5. Desel J., Esparza J., Free Choice Petri Nets, Cambridge University Press, Cambridge 1995 Zbl0836.68074MR1469221
  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, In: Proc. 36th IEEE Conference on Decision and Control, San Diego 1997, pp. 4086–4091 (1997) 
  8. Giua A., Seatzu C., Observability properties of Petri nets, In: 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 Zbl0980.68066MR0645539
  10. Ichikawa A., Hiraishi K., 10.1007/BFb0042308, (Lecture Notes in Control and Inform. Sciences 103.) Springer, Berlin 1989, pp. 115–134 (1989) MR0947968DOI10.1007/BFb0042308
  11. Kumar R., Grag V. K., Marcus S. I., 10.1016/0167-6911(91)90061-I, Systems Control Lett. 17 (1991), 157–168 (1991) MR1125967DOI10.1016/0167-6911(91)90061-I
  12. Kumar R., Grag V. K., Marcus S. I., 10.1109/9.182487, IEEE Trans. Automat. Control 37 (1992), 1978–1985 (1992) MR1200617DOI10.1109/9.182487
  13. Kumar R., Shayman M. A., 10.1016/S0005-1098(97)00164-7, Automatica 2 (1998), 211–215 (1998) Zbl0911.93020MR1609815DOI10.1016/S0005-1098(97)00164-7
  14. Li Y., Wonham W. M., Controllability and observability in the state-feedback control of discrete event systems, In: Proc. 27th IEEE Conference on Decision and Control, Austin 1988, pp. 203–207 (1988) 
  15. Lin F., Wonham W. M., 10.1109/9.61009, IEEE Trans. Automat. Control 35 (1990), 1330–1337 (1990) Zbl0723.93043MR1078145DOI10.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 (1998) 
  17. Murata T., Petri nets: properties, analysis and applications, Proc. IEEE 77 (1989), 541–580 (1989) 
  18. Özveren C. M., Willsky A. S., 10.1109/9.57018, IEEE Trans. Automat. Control 35 (1990), 797–806 (1990) Zbl0709.68030MR1058364DOI10.1109/9.57018
  19. Perko L., 10.1007/978-1-4684-0249-0, (Texts in Applied Mathematics.) Springer, New York 1996 DOI10.1007/978-1-4684-0249-0
  20. Ramadge P. J., Observability of discrete event systems, In: Proc. 25th IEEE Conference on Decision and Control, Athens 1986, pp. 1108–1112 (1986) 
  21. Ramírez-Treviño A., Rivera-Rangel, I., López-Mellado E., 10.1109/TRA.2003.814503, IEEE Trans. Robotics and Automation 19 (2003), 557–565 DOI10.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, In: Proc. 39th IEEE Conference on Decision and Control, Sydney 2000, pp. 2260–2265 
  23. Ushio T., 10.1109/9.649723, IEEE Trans. Automat. Control 42 (1997), 1577–1581 (1997) Zbl0891.93006MR1479096DOI10.1109/9.649723
  24. Wonham W. M., Linear Multivariable Control, A Geometric Approach. Springer, New York 1985 Zbl0609.93001MR0770574

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.