Campus Event Calendar
Event Entry
What and Who
Zonotopes for Hybrid Systems Reachability Analysis
Colas Le Guernic
Verimag, Grenoble, France
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 26 June 2008
16:15
90 Minutes
E1 4
Rotunda 6th floor
Saarbrücken
Abstract
We are here concerned with the problem of computing the
reachable sets of hybrid systems with linear continuous dynamics and
guards defined by switching hyperplanes. For the reachability analysis
of the continuous dynamics, we use an efficient approximation
algorithm based on zonotopes. In order to use this technique for the
analysis of hybrid systems, we must also deal with the discrete
transitions in a satisfactory (i.e. scalable and accurate) way. For
that purpose, we need to approximate the intersection of the
continuous reachable sets (a union of zonotopes) with the guards
enabling the discrete transitions (a hyperplane).
reachable sets of hybrid systems with linear continuous dynamics and
guards defined by switching hyperplanes. For the reachability analysis
of the continuous dynamics, we use an efficient approximation
algorithm based on zonotopes. In order to use this technique for the
analysis of hybrid systems, we must also deal with the discrete
transitions in a satisfactory (i.e. scalable and accurate) way. For
that purpose, we need to approximate the intersection of the
continuous reachable sets (a union of zonotopes) with the guards
enabling the discrete transitions (a hyperplane).
Contact
Roxane Wetzel
900
--email hidden
passcode not visible
logged in users only
Roxane Wetzel, 06/25/2008 09:04 -- Created document.