Stochastic Hybrid Systems: Theory and Safety Critical Applications (Paperback, 2006)

Part I: Stochastic Hybrid Processes.- Toward a General Theory of Stochastic Hybrid Systems.- Hybrid Petri Nets with Diffusion that have Into-Mappings with Generalised Stochastic Hybrid Processes.- Part II: Analytical Approaches.- A Stochastic Approximation Method for Reachability Computations.- Critical Ovservability of a Class of Hybrid Systems and Application to Air Traffic Management.- Part III: Complexity and Randomization.- Monte Carlo Optimisation for Conflict Resolution in Air Traffic Control.- Branching and Interactign Particle Interpretations of Rare Event Probabilites.