Observability of continuous Petri nets with infinite server semantics

Nonlinear Analysis: Hybrid Systems

Volumn 4, Issue 2, 2010, Pages 219-232

  Mahulea, Cristian ^a   Recalde, Laura ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Continuous Petri nets; Hybrid systems; Observability

Indexed keywords

CONTINUOUS PETRI NET; CONTINUOUS PETRI NETS; FIRING RATES; LINEAR PROBLEMS; PIECEWISE LINEAR SYSTEMS; STATE OBSERVABILITY; STRUCTURED SYSTEMS; SUFFICIENT CRITERION;

ELECTRIC GROUNDING; GRAPH THEORY; HYBRID COMPUTERS; HYBRID SYSTEMS; LINEAR SYSTEMS; NONLINEAR SYSTEMS; PETRI NETS; PIECEWISE LINEAR TECHNIQUES; SEMANTICS;

OBSERVABILITY;

EID: 77949656715     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2009.06.014     Document Type: Article

References (19)

1. M. Babaali, M. Egerstedt, On the observability of piecewise linear systems, in: 43rd IEEE Conference on Decision and Control, CDC 2004, Paradise Island, Bahamas, December 2004, pp. 26-31
2. Collins P., and van Schuppen J.H. Observability of piecewise-affine hybrid systems. In: Alur R., and Pappas G.J. (Eds). Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004. Lecture Notes in Computer Science vol. 2993 (2004), Springer, Philadelphia, USA 265-279
3. Luenberger D.G. An introduction to observers. IEEE Transactions on Automatic Control 16 6 (1971) 596-602
4. Ogata K. Discrete-Time Control Systems. 2nd. ed. (1995), Prentice Hall
5. Babaali M., and Pappas G.J. Observability of switched linear systems in continuous time. In: Morari M., and Thiele L. (Eds). Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005. Lecture Notes in Computer Science vol. 3414 (2005), Springer, Zurich, Switzerland 103-117
6. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L. Sangiovanni-Vincentelli, Observability for hybrid systems, in: Proc. 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003
7. Vidal R., Chiuso A., Soatto S., and Sastry S. Observability of linear hybrid systems. In: Maler O., and Pnueli A. (Eds). Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003. Lecture Notes in Computer Science, Prague, Czech Republic vol. 2623 (2003), Springer Berlin/Heidelberg 526-539
8. C. Mahulea, L. Recalde, M. Silva, Observability of timed continuous petri nets: A class of hybrid systems, in: 17th IFAC World Congress, Seoul, Korea, July 2008
9. Júlvez J., Jiménez E., Recalde L., and Silva M. On observability and design of observers in timed continuous petri net systems. IEEE Transactions on Automatic Science and Engineering 5 3 (2008) 532-537
10. C. Mahulea, L. Recalde, M. Silva, Optimal observability for continuous Petri nets, in: 16th IFAC World Congress, Prague, Czech Republic, July 2005
11. C. Commault, J.M. Dion, D.H. Trinh, Observability recovering by additional sensor implementation in linear structured systems, in: Proceedings of the 44th IEEE Conference on Decision and Control 2005, Seville, Spain, December 2005, pp. 7193-7197
12. Mahulea C., Recalde L., and Silva M. Basic server semantics and performance monotonicity of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications 19 2 (2009) 189-212
13. Mahulea C., Ramírez A., Recalde L., and Silva M. Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automatic Science and Engineering 5 2 (2008) 307-320
14. Silva M., Teruel E., and Colom J.M. Linear algebraic and linear programming techniques for the analysis of net systems. In: Rozenberg G., and Reisig W. (Eds). Lectures in Petri Nets. I: Basic Models. Lecture Notes in Computer Science vol. 1491 (1998), Springer 309-373
15. L. Recalde, C. Mahulea, M. Silva, Improving analysis and simulation of continuous Petri nets, in: 2nd IEEE Conference on Automation Science and Engineering, Shanghai, China, October 2006, pp. 7-12
16. Cormen T.H., Leiserson E., Charles, and Rivest R.L. Introduction to Algorithms (1990), MIT Press
17. Júlvez J., Recalde L., and Silva M. Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41 4 (2005) 605-616
18. Sinha P.K. Multivariable Control: An Introduction (1984), Marcel Dekker
19. Dion J.M., Commault C., and van der Woude J. Generic properties and control of linear structured systems: a survey. Automatica 39 7 (2003) 1125-1144