Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes |
| |
Authors: | Matthias Althoff Olaf Stursberg Martin Buss |
| |
Affiliation: | 1. Institute of Automatic Control Engineering (LSR), Technische Universität München, 80290 München, Germany;2. Institute of Control and System Theory, Department of Electrical Eng., University of Kassel, Germany |
| |
Abstract: | The computation of reachable sets for hybrid systems with linear continuous dynamics is addressed. Zonotopes are used for the representation of reachable sets, resulting in an algorithm with low computational complexity with respect to the dimension of the considered system. However, zonotopes have drawbacks when being intersected with transition guards which determine the discrete behavior of the hybrid system. For this reason, in the proposed approach, reachable sets are represented by polytopes within guard sets as an intermediate step in order to enclose them by zonotopes afterwards. Different methods for the conservative conversion from zonotopes to polytopes and vice versa are proposed and numerically evaluated. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|