Logo

May 15–17, 2017 in Prague, Czech Republic
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

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