Communicating piecewise deterministic markov processes

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 36, Issue 6, 2003, Pages 307-312

  Strubbe, S N ^a   Julius, A A ^a   Van Der Schaft, A J ^a  

^a NONE

Author keywords

Compositional specification; Hybrid systems; Piecewise deterministic markov processes

Indexed keywords

HYBRID SYSTEMS; SPECIFICATIONS;

COMPOSITION OPERATORS; COMPOSITIONAL SPECIFICATIONS; PASSIVE TRANSITION; PIECE-WISE; PIECEWISE DETERMINISTIC MARKOV PROCESS;

MARKOV PROCESSES;

EID: 85064556322     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)36449-2     Document Type: Conference Paper

References (8)

1. Alur, R., C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3-34.
2. Davis, M. H. A. (1984). Piecewise-deterministic markov processes: A general class of nondiffusion stochastic models. Journal of the Roy. Stat. Soc. Series B 46(3), 353-388.
3. Everdij, M. H. C. and H. A. P. Blom (2000). Piecewise deterministic markov processes represented by dynamically coloured petri nets. Technical Report NLR-TP-2000-4 28. National Aerospace Laboratory NLR. Amsterdam.
4. Hermanns, H, (1999). Interactive Markov Chains. PhD thesis. Universitat Erlangen-Niirnberg.
5. Julius, A. A., S. N. Strubbe and A. J. van der Schaft (2003). Control of hybrid behavioral automata by interconnection. To appear in the Proceedings of ADHS 2003.
6. Lynch, N. A., R. Segala and F. W. Vaandrager (2001). Hybrid I/O automata revisited. In: Proceedings 4th Int'l Workshop on Hybrid Systems: Computation and Control. Springer-Verlag. pp. 403-417.
7. Strubbe, S. N. (2003). Equivalence of pdps and closed cpdps. Unpublished notes.
8. van der Schaft, A J. and J. M. Schumacher (2001). Com positionality issues in discrete, continuous, and hybrid systems. Int. J. Robust Nonlinear Control 11(5), 417-434.