EEMCS

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

EEMCS EPrints Service


Research Project: HYBRIDGE: Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design
Home Policy Brochure Browse Search User Area Contact Help

2006

Blom, H.A.P. and Krystul, J. and Bakker, G.J. (2006) Estimating Rare Event Probabilities in Large Scale Stochastic Hybrid Systems by Sequential Monte Carlo Simulation. In: 6th International Workshop on Rare Event Simulation, 8-10 October 2006, Bamberg, Germany. pp. 1-7. Universität Bamberg. ISBN not assigned
Blom, H.A.P. and Krystul, J. and Bakker, G.J. (2006) A Particle System for Safety Verification of Free Flight in Air Traffic. In: 45th IEEE Conference on Decision and Control, 13-15 Dec 2006, San Diego, CA, USA. pp. 1574-1579. IEEE. ISBN 1-4244-0171-2
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
Krystul, J. (2006) Modelling of stochastic hybrid systems with applications to accident risk assessment. PhD thesis, University of Twente. ISBN 90-365-2401-6
Krystul, J. and Blom, H.A.P. (2006) Sequential Monte Carlo simulation for the estimation of small reachability probabilities for stochastic hybrid systems. (Invited) In: 2006 Second International Symposium on Communications, Control and Signal Processing, 13-15 Mar 2006, Marrakech, Morocco. Suvisoft. ISBN 2-908849-17-8
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

2005

Strubbe, S.N. and Langerak, R. (2005) A Composition Operator for Systems with Active and Passive Actions. In: Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005, Taiwan. pp. 24-37. Lecture Notes in Computer Science 3731. Springer-Verlag. ISBN 354029189X