Stefan Strubbe

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Publications

Stefan Strubbe, Arjan van der Schaft, Agung Julius
Value passing for communicating piecewise deterministic Markov processes. ACC (2006)
Stefan Strubbe, A. J. van der Schaft
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). HSCC (2005)
Stefan Strubbe, Arjan van der Schaft
Stochastic semantics for Communicating Piecewise Deterministic Markov Processes. CDC/ECC (2005)
Stefan Strubbe, Arjan van der Schaft
Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes. CDC/ECC (2005)
Stefan Strubbe, Rom Langerak
A Composition Operator for Systems with Active and Passive Actions. FORTE (2005)
Stefan Strubbe, A. Agung Julius, A. J. van der Schaft
Communicating Piecewise Deterministic Markov Processes. ADHS (2003)
A. Agung Julius, Stefan Strubbe, A. J. van der Schaft
Control of Hybrid Behavioral Automata by Interconnection. ADHS (2003)