Observability of timed continuous Petri nets: A class of hybrid systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

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

^a NONE

Author keywords

Automata, Petri nets and other tools; Continuous time system estimation; Hybrid systems modeling and control

Indexed keywords

AUTOMATA, PETRI NETS AND OTHER TOOLS; CONTINUOUS PETRI NET; PIECE-WISE LINEAR SYSTEMS; STATE OBSERVABILITY; STRUCTURED SYSTEMS; SUFFICIENT CRITERION;

GRAPH THEORY; HYBRID COMPUTERS; HYBRID SYSTEMS; LINEAR SYSTEMS; OBSERVABILITY; PETRI NETS; PIECEWISE LINEAR TECHNIQUES; TRANSLATION (LANGUAGES);

CONTINUOUS TIME SYSTEMS;

EID: 79961020014     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.0211     Document Type: Conference Paper

References (10)

1. M. Babaali and M. Egerstedt. On the observability of piecewise linear systems. In 43rd IEEE Conference on Decision and Control (CDC 2004), pages 26-31, Paradise Island, Bahamas, December 2004.
2. P. Collins and J.H. van Schuppen. Observability of piecewise-affine hybrid systems. In R. Alur and G.J. Pappas, editors, Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004,, volume 2993 of Lecture Notes in Computer Science, pages 265-279, Philadelphia, USA, 2004. Springer.
3. C. Commault, J.M. Dion, and D.H. Trinh. Observability recovering by additional sensor implementation in linear structured systems. In Proceedings of the 44th IEEE Conference on Decission and Control 2005, pages 7193-7197, Seville, Spain, December 2005.
4. R. David and H. Alla. Discrete, Continuous and Hybrid Petri Nets. Springer-Verlag, 2005.
5. J. Julvez, E. Jimenez, L. Recalde, and M. Silva. On observability in timed continuous Petri net systems. In 1st Conf. on Quantitative Evaluation of Systems (QEST) 2004, Twente, The Netherlands, September 2004.
6. C. Mahulea. Timed Continuous Petri Nets: Quantitative Analysis, Observability and Control. PhD thesis, Universidad de Zaragoza, 2007.
7. C. Mahulea, L. Recalde, and M. Silva. Optimal observability for continuous Petri nets. In 16th IFAC World Congress, Prague, Czech Republic, July 2005.
8. C. Mahulea, L. Recalde, and M. Silva. On performance monotonicity and basic servers semantics of continuous Petri nets. In WODES'06: 8th Workshop on Discrete Event Systems, pages 345-351, Ann Arbor, USA, July 2006.
9. L. Recalde, C. Mahulea, and M. Silva. Improving analysis and simulation of continuous Petri nets. In 2nd IEEE Conference on Automation Science and Engineering, pages 7-12, Shanghai, China, October 2006.
10. M. Silva and L. Recalde. Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Trans. on Systems, Man, and Cybernetics, 32(4):314-327, 2002.