Campus Event Calendar
Event Entry
What and Who
Stability Proofs for Hybrid Systems
Silke Wagner
Max-Planck-Institut für Informatik - D2
Promotionskolloquium
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
Expert Audience
German
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 31 October 2008
15:30
60 Minutes
E1 4
024
Saarbrücken
Abstract
A hybrid system is a dynamical system that exhibits both continous
and discrete behavior, i.e. a system that can both flow (described by
differential equations) and jump (described by difference equations).
Hybrid systems are widely used to model physical systems that are
applied in safety-critical domains such as trains, aircrafts or plants.
The verification of their correctness is therefore of essential
importance. A very prominent example of such a correctness property is
stability.
Classical notions of stability refer to a single equilibrium point,
which is often inadequate for expressing the correctness properties of
hybrid systems. For example, if we consider a heating system, where the
temperature is specified by upper and lower bounds, such an equilibrium
point does not even exist. In this thesis we introduce a new notion of
stability that refers to a region instead of equilibrium points. We give
a method for verifying region stability of hybrid systems., and we
present a tool that we apply to solve a number of challenging
verification problems. The scalability of our approach originates
directly from the use of abstraction techniques.
Contact
Brigitta Hansen
0681 - 9325200
--email hidden
passcode not visible
logged in users only
Brigitta Hansen, 10/27/2008 14:11
Brigitta Hansen, 10/27/2008 14:10 -- Created document.
Brigitta Hansen, 10/27/2008 14:10 -- Created document.