Author Publications

2006

Strubbe, Stefan and Schaft van der, Arjan (2006) Communicating piecewise deterministic Markov processes. In: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes in Control and Information Sciences, 337 . Springer Verlag, London, pp. 65-104. ISBN 9783540334668

Strubbe, Stefan and Schaft van der, Arjan (2006) Compositional modelling of stochastic hybrid systems. In: Stochastic Hybrid Systems. Control Engineering . CRC Press, pp. 47-77. ISBN 9780849390838

2005

Strubbe, Stefan and Langerak, Rom (2005) A Composition Operator for Systems with Active and Passive Actions. In: 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, October 2-5, 2005, Taipei, Taiwan.

Strubbe, Stefan and Schaft van der, Arjan (2005) Bisimulation for communicating piecewise deterministic Markov processes (CPDP's). In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 3414 . Springer Verlag, Berlin, pp. 623-639. ISBN 9783540251088

Strubbe, Stefan and Schaft van der, Arjan (2005) Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes. In: 16th IFAC World Congress, July 4-8, 2005, Prague, Czech Republic.

Strubbe, Stefan and Schaft van der, Arjan (2005) Algorithmic bisimulation for communicating piecewise deterministic Markov processes. In: 44th IEEE Conference on Decision and Control and the European Control Conference, CDC-ECC '05, 12-15 Dec 2005, Seville, Spain.

Strubbe, Stefan and Schaft van der, Arjan (2005) Stochastic semantics for communicating piecewise deterministic Markov processes. In: 44th IEEE Conference on Decision and Control and the European Control Conference, CDC-ECC '05, 12-15 Dec 2005, Seville, Spain.

Strubbe, Stefan Nicolaas (2005) Compositional modelling of stochastic hybrid systems. thesis.