Hybrid Petri Nets with diffusion that have into-mappings with generalised stochastic hybrid processes

Lecture Notes in Control and Information Sciences

Volumn 337, Issue , 2006, Pages 31-63

  Everdij, Mariken H C ^a   Blom, Henk A P ^a  

^a NATIONAL AEROSPACE LABORATORY NLR   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; MAPPING; MARKOV PROCESSES; PETRI NETS; STOCHASTIC MODELS;

COLOURED PETRI NETS; CONTINUOUS TIME MARKOV CHAIN; CONTINUOUS-TIME; HYBRID PETRI NET; KRONECKER PRODUCT; PRACTICAL PROBLEMS; STOCHASTIC HYBRID PROCESS; STOCHASTIC PETRI NETS;

STOCHASTIC SYSTEMS;

EID: 33947660477     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/11587392_2     Document Type: Article

References (18)

1. J. Le Bail, H. Alla, and R. David. Hybrid Petri nets. Eropean Control Conference, Grenoble, France, pages 1472-1477, 1991.
2. nd USA/Europe Air Traffic Management R&D Seminar, Orlando, 1998.
3. Also in: Air Transportation Systems Engineering, AIAA, Eds. G.L. Donohue, A.G. Zellweger, AIAA, pp. 463-480 (2001).
4. M.L. Bujorianu, J. Lygeros, W. Glover, and G. Pola. A stochastic hybrid system modelling framework. Technical report, University of Cambridge and University of L'Aquila, May 2003. Hybridge report D1.2, Also a chapter in this book.
5. C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
6. R. David and H. Alla. Petri nets for the modeling of dynamic systems - a survey. Automatica, 30(2):175-202, 1994.
7. M.H.A. Davis. Piecewise Deterministic Markov Processes: a general class of non-diffusion stochastic models. Journal Royal Statistical Soc. (B), 46:353-388, 1984.
8. M.H.A. Davis. Markov models and optimization. Chapman and Hall, 1993.
9. I. Demongodin and N.T. Koussoulas. Differential Petri nets: Representing continuous systems in a discrete-event world. IEEE Transactions on Automatic Control, 43(4), 1998.
10. M.H.C. Everdij and H.A.P. Blom. Petri nets and hybrid state Markov processes in a power-hierarchy of dependability models. Proc. IFAC Conference on Analysis and Design of Hybrid System (ADHS03), Saint-Malo, Brittany, France, pages 355-360, June 2003.
11. M.H.C. Everdij and H.A.P. Blom. Piecewise Deterministic Markov Processes represented by Dynamically Coloured Petri Nets. Stochastics, 77(1):1-29, February 2005.
12. M.H.C. Everdij, H.A.P. Blom, and M.B. Klompstra. Dynamically Coloured Petri Nets for air traffic management safety purposes. Proc. 8th IFAC Symposium on Transportation Systems, Chania, Greece, pages 184-189, 1997.
13. A. Giua and E. Usai. High-level hybrid etri nets: a definition. Proceedings 35th Conference on Decision and Control, Kobe, Japan, pages 148-150, 1996.
14. K. Jensen. Coloured Petri Nets: Basic concepts, analysis methods and practical use, volume 1. Springer-Verlag, 1992.
15. M. Malhotra and K.S. Trivedi. Power-hierarchy of dependability-model types. IEEE Transactions on Reliability, R-43(3):493-502, 1994.
16. J.K. Muppala, R.M. Fricks, and K.S. Trivedi. Techniques for system dependability evaluation. In W. Grasman, editor, Computational probability, pages 445-480. Kluwer Academix Publishers, The Netherlands, 2000.
17. K.S. Trivedi and V.G. Kulkarni. FSPNs: Fluid stochastic Petri nets. In M. Ajmone Marsan, editor, Proceedings 14th International Conference on Applications and theory of Petri Nets, volume 691 of Lecture notes in Computer Science, pages 24-31. Springer Verlag, Heidelberg, 1993.
18. Y.Y. Yang, D.A. Linkens, and S.P. Banks. Modelling of hybrid systems based on extended coloured Petri nets. In P. Antsaklis et al, editor, Hybrid Systems II, pages 509-528. Springer, 1995.