Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modeling and Analysis of Hybrid Systems Reachability analysis for hybrid automata
 

Summary: Modeling and Analysis of Hybrid Systems
Reachability analysis for hybrid automata
Prof. Dr. Erika Ábrahám
Informatik 2 - Theory of Hybrid Systems
RWTH Aachen University
SS 2011
Ábrahám - Modeling and Analysis of Hybrid Systems 1 / 8
General forward reachability computation
Input: Set Init of initial states.
Algorithm:
Rnew := Init;
R := ;
while (Rnew = ){
R := R Rnew;
Rnew := Reach(Rnew)\R;
}
Output: Set R of reachable states.
Ábrahám - Modeling and Analysis of Hybrid Systems 2 / 8
Reachability computation
When applied to hybrid automata, there is a problem with this

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences