simulation

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
We introduce a toolchain MARS for Modelling, Analyzing and veRifying hybrid Systems we developed in the past years. Using MARS, we …
PDF Cite Code DOI
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
A Two-Way Path between Formal and Informal Design of Embedded Systems
It is well known that informal simulation-based design of embedded systems has a low initial cost and delivers early results; yet it …
PDF Cite Code Slides DOI
A Two-Way Path between Formal and Informal Design of Embedded Systems
Validated Simulation-Based Verification of Delayed Differential Dynamics
Verification by simulation, based on covering the set of time-bounded trajectories of a dynamical system evolving from the initial …
PDF Cite Code Poster Slides DOI
Validated Simulation-Based Verification of Delayed Differential Dynamics