Control of Hybrid Behavioral Automata by Interconnection. - A. Agung Julius; Stefan Strubbe; A. J. van der Schaft (ADHS, 2003)

Communicating Piecewise Deterministic Markov Processes. - Stefan Strubbe; A. Agung Julius; A. J. van der Schaft (ADHS, 2003)

Stochastic semantics for Communicating Piecewise Deterministic Markov Processes. - Stefan Strubbe; Arjan van der Schaft (CDC/ECC, 2005)

Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes. - Stefan Strubbe; Arjan van der Schaft (CDC/ECC, 2005)

A Composition Operator for Systems with Active and Passive Actions. - Stefan Strubbe; Rom Langerak (FORTE, 2005)

Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). - Stefan Strubbe; A. J. van der Schaft (HSCC, 2005)

Value passing for communicating piecewise deterministic Markov processes. - Stefan Strubbe; Arjan van der Schaft; Agung Julius (ACC, 2006)