Continuous Petri nets: Observability and diagnosis

Lecture Notes in Control and Information Sciences

Volumn 433, Issue , 2013, Pages 387-406

  Mahulea, Cristian ^a   Júlvez, Jorge ^a   Vázquez, C Renato ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DISCRETE EVENT SIMULATION; GRAPHIC METHODS; LINEAR PROGRAMMING; OBSERVABILITY; PETRI NETS; SEMANTICS; STATE FEEDBACK;

CONTINUOUS PETRI NET; INFINITE SERVER SEMANTICS; LINEAR PROGRAMMING PROBLEM; PRE-REQUISITES; SELF STANDINGS; TIMED MODELS; UNOBSERVABLE; VARIABLE SPEED;

PROGRAM DIAGNOSTICS;

EID: 84866883572     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4471-4276-8_19     Document Type: Article

References (22)

1. Aguayo-Lara, E., Ramirez-Trevino, A., Ruiz-Leon, J.: Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets. In: Proc. IEEE Conference on Automation Science and Engineering, Trieste, Italy (2011)
2. Balduzzi, F., Giua, A., Menga, G.: First-order hybrid Petri nets: a model for optimization and control. IEEE Trans. on Robotics and Automation 16(4), 382-399 (2000)
3. Balluchi, A., Benvenuti, L., Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L.: Design of Observers for Hybrid Systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 76-89. Springer, Heidelberg (2002)
4. Collins, P., van Schuppen, J.H.: Observability of Piecewise-Affine Hybrid Systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 265-279. Springer, Heidelberg (2004)
5. Commault, C., Dion, J.M., Trinh, D.H.: Observability recovering by additional sensor implementation in linear structured systems. In: Proc. 44th IEEE Conference on Decission and Control, Seville, Spain (2005)
6. Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press (1990)
7. Dion, J.M., Commault, C., van der Woude, J.: Generic properties and control of linear structured systems: a survey. Automatica 39(7), 1125-1144 (2003)
8. Juloski, A.L., Heemels, W.P.M.H.,Weiland, S.: Observer design for a class of piecewise linear systems. Int. Journal of Robust and Nonlinear Control 17(15), 1387-1404 (2007)
9. Júlvez, J., Recalde, L., Silva, M.: Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4), 605-616 (2005)
10. Júlvez, J., Jiménez, E., Recalde, L., Silva, M.: On observability and design of observers in timed continuous Petri net systems. IEEE Transactions on Automation Science and Engineering 5(3), 532-537 (2008)
11. Lefebvre, D.: Estimation of the firing frequencies in discrete and continuous Petri nets models. Int. Journal of Systems Science 32(11), 1321-1332 (2001)
12. Luenberger, D.G.: An introduction to observers. IEEE Transactions on Automatic Control 16(6), 596-602 (1971)
13. Ogata, K.: Discrete-Time Control Systems, 2nd edn. Prentice-Hall (1995)
14. Recalde, L., Mahulea, C., Silva, M.: Improving analysis and simulation of continuous Petri nets. In: Proc. 2nd IEEE Conf. on Automation Science and Engineering, Shanghai, China (2006)
15. Mahulea, C.: Timed Continuous Petri Nets: Quantitative Analysis, Observability and Control. PhD thesis. University of Zaragoza, Spain (2007)
16. Mahulea, C., Cabasino, M.P., Giua, A., Seatzu, C.: A state estimation problem for timed continuous Petri nets. In: Proc. 46th IEEE Conf. on Decision and Control, New Orleans, USA (2008)
17. Mahulea, C., Recalde, L., Silva, M.: Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems 4(2), 219-232 (2010)
18. Mahulea, C., Seatzu, C., Cabasino, M.P., Silva, M.: Fault diagnosis of discrete-event systems using continuous Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans (2012), doi:10.1109/TSMCA.2012.2183358
19. Meyer, A., Dellnitz, M., Hessel-von Molo, M.: Symmetries in timed continuous Petri nets. Nonlinear Analysis: Hybrid Systems 5(2), 125-135 (2011)
20. Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)
21. Silva, M., Teruel, E., Colom, J.M.: Linear Algebraic and Linear Programming Techniques for the Analysis of Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309-373. Springer, Heidelberg (1998)
22. Silva, M., Júlvez, J., Mahulea, C., Vázquez, C.R.: On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications 21(4), 1-71 (2011)