EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Cassandras, C.G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2006

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 Sun Apr 23 23:14:37 CEST 2017.