Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Approximating Hybrid Systems

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Mahesh Viswanathan
Le mardi 17 mai 2011 à 11:00
Salle de Conférence (Pavillon des Jardins)
Mahesh Viswanathan (University of IIlinois, Urbana-Champaign, USA)

he widespread deployment of computing devices that manage and control physical processes in safety critical environments, has made their analysis and verification a very important problem. Since formal models that disregard the physical processes tend to be conservative and suboptimal, the most popular way to model and analyze such systems is using hybrid systems, that have finitely many control states to model discrete behavior and finitely many real valued variables that evolve continuously with time to model the interaction with the physical world. Despite considerable progress in the last couple of decades, the automated verification of cyber physical systems remains stubbornly challenging. In this talk we will discuss one approach to making the analysis more scalable, namely, by automatically constructing "simpler", "smaller" models, and then analysing these approximated models. We will present a couple of techniques to approximate hybrid models, based on the Stone-Weierstrauss Theorem and counter-example guided abstraction-refinement (CEGAR), and discuss their applications to automated verification.

À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents