Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 05:47:58 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||