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