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 Orthogonal polyhedra
 

Summary: Modeling and Analysis of Hybrid Systems
Orthogonal polyhedra
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 / 60
We had a look at state set approximations by convex polyhedra and at
basic operations (e.g., testing for membership or intersection) on
these.
Let us now have a look at another representation by orthogonal
polyhedra.
Ábrahám - Modeling and Analysis of Hybrid Systems 2 / 60
Literatur
Oliver Bournez, Oded Maler, and Amir Pnueli:
Orthogonal Polyhedra: Representation and Computation
Hybrid Systems: Computation and Control, LNCS 1569, pp. 46-60, 1999
Ábrahám - Modeling and Analysis of Hybrid Systems 3 / 60
Contents
1 Orthogonal polyhedra

  

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

 

Collections: Computer Technologies and Information Sciences