Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2006 | 2005
Number of items: 8.

2006

Strubbe, Stefan and Schaft, Arjan van der (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, Arjan van der (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 (pp. pp. 24-37).

Strubbe, Stefan and Schaft, Arjan van der (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, Arjan van der (2005) Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes. In: 16th IFAC World Congress, July 4-8, 2005, Prague, Czech Republic (pp. pp. 25-30).

Strubbe, Stefan and Schaft, Arjan van der (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 (pp. pp. 6109-6114).

Strubbe, Stefan and Schaft, Arjan van der (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 (pp. pp. 6103-6108).

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

This list was generated on Fri Jul 25 05:27:00 2014 CEST.