Stochastic hybrid systems

STOCHASTIC HYBRID SYSTEMS: RESEARCH ISSUES AND AREAS Christos G. Cassandras and John Lygeros Introduction Modeling of Nondeterministic Hybrid Systems Modeling of Stochastic Hybrid Systems Overview of This Volume STOCHASTIC DIFFERENTIAL EQUATIONS ON HYBRID STATE SPACES Jaroslav Krystul, Henk A.P. Blom, and Arunabha Bagchi Introduction Semimartingales and Characteristics Semimartingale Strong Solution of SDE Stochastic Hybrid Processes as Solutions of SDE Instantaneous Hybrid Jumps at a Boundary Related SDE models on Hybrid State Spaces Markov and Strong Markov Properties Concluding Remarks COMPOSITIONAL MODELING OF STOCHASTIC HYBRID SYSTEMS Stefan Strubbe and Arjan van der Schaft Introduction Semantical Models Communicating PDPs Conclusions STOCHASTIC MODEL CHECKING Joost-Pieter Katoen Introduction The Discrete-Time Setting The Continuous-Time Setting Bisimulation and Simulation Relations Epilogue STOCHASTIC REACHABILITY: THEORY AND NUMERICAL APPROXIMATION Maria Prandini and Jianghai Hu Introduction Stochastic Hybrid System Model Reachability Problem Formulation Numerical Approximation Scheme Reachability Computations Possible Extensions Some Examples Conclusion STOCHASTIC FLOW SYSTEMS: MODELING AND SENSITIVITY ANALYSIS Christos G. Cassandras Introduction Modeling Stochastic Flow Systems Sample Paths of Stochastic Flow Systems Optimization Problems in Stochastic Flow Systems Infinitesimal Perturbation Analysis (IPA) Conclusions PERTURBATION ANALYSIS FOR STOCHASTIC FLOW SYSTEMS WITH FEEDBACK Yorai Wardi, George Riley, and Richelle Adams Introduction SFM with Flow Control Retransmission-Based Model Simulation Experiments Conclusions STOCHASTIC HYBRID MODELING OF ON-OFF TCP FLOWS Joao Hespanha Related Work A Stochastic Model for TCP Analysis of the TCP SHS Models Reduced-Order Models Conclusions STOCHASTIC HYBRID MODELING OF BIOCHEMICAL PROCESSES Panagiotis Kouretas, Konstantinos Koutroumpas, John Lygeros, and Zoi Lygerou Introduction Overview of PDMP Subtilin Production by B. subtilis DNA Replication in the Cell Cycle Concluding Remarks FREE FLIGHT COLLISION RISK ESTIMATION BY SEQUENTIAL MC SIMULATION Henk A.P. Blom, Jaroslav Krystul, G.J. (Bert) Bakker, Margriet B. Klompstra, and Bart Klein Obbink Introduction Sequential MC Estimation of Collision Risk Development of a Petri Net Model of Free Flight Simulated Scenarios and Collision Risk Estimates Concluding Remarks INDEX