Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. (English) Zbl 0954.93020
Vaandrager, Frits W. (ed.) et al., Hybrid systems: Computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29-31, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1569, 76-90 (1999).
The authors present a computational technique for verifying properties of hybrid systems based on the computation of approximating automata.
For the entire collection see [Zbl 0911.00057].
For the entire collection see [Zbl 0911.00057].
Reviewer: A.Roose (Tallinn)
MSC:
93C30 | Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) |
93B40 | Computational methods in systems theory (MSC2010) |
90B25 | Reliability, availability, maintenance, inspection in operations research |