Session 4E: Hybrid Systems

Title: An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction
Authors: Simon Bliudze and Sébastien Furic
Links: Abstract, Full paper

---

Title: An example of beneficial use of variable-structure modeling to enhance an existing rocket model
Authors: Alexandra Mehlhase, Daniel Gomez Esperon, Julien Bergmann and Marcel Merkle
Links: Abstract, Full paper

---

Title: Efficient Monte Carlo simulation of stochastic hybrid systems
Authors: Marc Bouissou, Hilding Elmqvist, Martin Otter and Albert Benveniste
Links: Abstract, Full paper