EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 6. 2006
Strubbe, S.N. and van der Schaft, A.J.
(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 3-540-33466-1
Bujorianu, L.M. and Lygeros, J.
(2006)
Toward a General Theory of Stochastic Hybrid Systems.
In:
Stochastic Hybrid Systems: Theory and Safety Critical Applications.
Lecture Notes in Control and Information Sciences 337.
Springer Verlag, Berlin, pp. 3-30.
ISBN 978-3-540-33466-8
Katoen, J.P.
(2006)
Stochastic model checking.
In:
Stochastic Hybrid Systems.
Automation and Control Engineering Series 24.
CRC Press, pp. 77-104.
ISBN 0-849-39083-4
Strubbe, S.N. and van der Schaft, A.J.
(2006)
Compositional modelling of stochastic hybrid systems.
In:
Stochastic Hybrid Systems.
Control Engineering.
CRC Press, pp. 47-77.
ISBN 0-8493-9083-4
Krystul, J. and Blom, H.A.P. and Bagchi, A.
(2006)
Stochastic Differential Equations on Hybrid State Spaces.
In:
Stochastic Hybrid Systems.
Automation and Control Engineering Series 24.
Taylor & Francis CRC Press, pp. 15-46.
ISBN 0849390834
Blom, H.A.P. and Krystul, J. and Bakker, G.J.
(2006)
Free Flight Collision Risk Estimation by Sequential MC Simulation.
In:
Stochastic Hybrid Systems.
Automation and Control Engineering Series 24.
Taylor & Francis CRC Press, pp. 247-279.
ISBN 0849390834
This list was generated on Thu May 24 07:11:34 CEST 2012. |
||||||||||||||||