Reachability Issues in Hybrid Systems



Eugenio Moggi

Reachability Issues in Hybrid Systems
Speaker:
Eugenio Moggi
Abstract:
Hybrid systems, and related formalisms, have been successfully used to model Cyber-Physical Systems. However, mathematical models are always a simplification of the system they are meant to describe, and one must aware of this mismatch, when using these models to analyze a system. In safety analysis it is acceptable to use over-approximations of the system behavior, indeed they are the bread and butter of counterexample guided abstraction refinement (CEGAR). We propose a notion of system behavior robust wrt arbitrary small over-approximations, and argue that it is particularly appropriate for safety analysis.
Date:
Thursday, March 22th, 2018 - 2.30PM
Location:
DIBRIS, Valletta Puggia, Conference Room 3rd floor

 

Sei qui: Home Ricerca Seminari di ricerca Reachability Issues in Hybrid Systems

Questo sito usa i cookie.