On observability and design of observers in timed continuous petri net systems

IEEE Transactions on Automation Science and Engineering

Volumn 5, Issue 3, 2008, Pages 532-537

  Júlvez, Jorge ^a   Jiménez, Emilio ^b   Recalde, Laura ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF LA RIOJA   (Spain)

Author keywords

Continuous Petri nets; Observability; Observers; Piecewise linear systems

Indexed keywords

CONTROL THEORY; ESTIMATION; GRAPH THEORY; LINEAR SYSTEMS; MARINE BIOLOGY; MILITARY DATA PROCESSING; PETRI NETS; PIECEWISE LINEAR TECHNIQUES;

(I ,J) CONDITIONS; JOIN FREE (JF) PETRI NETS; NET SYSTEMS; PIECEWISE-LINEAR (PWL) SYSTEMS; SYSTEM SIMULATIONS; SYSTEM STATES; TIME PERIODS; UNOBSERVABLE;

OBSERVABILITY;

EID: 46849108532     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2008.917016     Document Type: Article

References (19)

1. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
2. M. Silva, "Introducing Petri nets," in Practice of Petri Nets in Manufacturing. London, U.K.: Chapman & Hall. 1993, pp. 1-62.
3. J. Campos and M. Silva, , G. Rozenberg, Ed., "Structural techniques and performance bounds of stochastic Petri net models," in Advances in Petri Nets 1992, ser. Lecture Notes in Computer Science. New York: Springer, 1992, vol. 609, pp. 352-391.
4. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets. New York: Wiley, 1995.
5. C. Özveren and A. Willsky, "Observability of discrete event dynamic systems," IEEE Trans. Automat. Contr., vol. 35, pp. 797-806, 1990.
6. M. Silva and L. Recalde, "Petri nets and integrality relaxations: A view of continuous Petri net models," IEEE Trans. Syst., Man, Cybem. C, vol. 32, no. 4, pp. 314-327, Nov. 2002.
7. M. Silva and L. Recalde, "On fluidification of Petri net models: From discrete to hybrid and continuous models," Annu. Rev. Contr., vol. 28, pp. 253-266, 2004.
8. R. David and H. Alia, Discrete, Continuous, and Hybrid Petri Nets. New York: Springer-Verlag, 2004.
9. J. Júlvez, E. Jiménez, L. Recalde, and M. Silva, "On observability in timed continuous petri net systems," in Proc. IEEE Ist Int. Conf. Quantitative Evaluation Syst. Comput. Soc., Enschede, The Netherlands, 2004.
10. J. Júlvez, E. Jiménez, L. Recalde. and M. Silva, "Design of observers for timed continuous Petri net systems," in Proc. IEEE Int. Conf Systems, Man, Cybernetics, The Hague, The Netherlands, 2004.
11. K. Ogata, Modern Control Engineering, 4th ed. Englewood Cliffs, NJ: Prentice-Hall, 2001.
12. B. Friedland, Control System Design: An Introduction to State-Space Methods. New York: McGraw-Hill, 1987.
13. D. Luenberger, "An introduction to observers," IEEE Trans. Automat. Contr., vol. AC-16, no. 6, pp. 596-602, Dec. 1971.
14. A. Bemporad, G. Ferrari-Trecate, and M. Morari, "Observability and conu'ollability of piecewise affine and hybrid systems," IEEE Trans. Automat. Contr., vol. 45, pp. 1864-1876, 2000.
15. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli, C. J. Tomlin and M. R. Greenstreet, Eds., "Design of observers for hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science. New York: Springer-Verlag, 2002, vol. 2289, pp. 76-89.
16. L. Recalde and M. Silva, "Petri nets fluidification revisited: Semantics and steady state," APII-JESA, vol. 35, no. 4, pp. 435-449, 2001.
17. T. Kailath, Linear Systems. Englewood Cliffs, NJ: Prentice-Hall, 1980.
18. R. Engel and G. Kreisselmeier, "A continuous-time observer which converges in finite time," IEEE Trans. Automat. Contr., vol. 47, no. 7, pp. 1202-1204,Jul. 2002.
19. E. Teruel, J. M. Colom, and M. Silva, "Choice-free petri nets: A model for deterministic concurrent systems with bulk services and arrivals," IEEE Syst., Man, Cybern. C, vol. 27, no. 1, pp. 73-83, Jan. 1997.