Reachability analysis of complex planar hybrid systems |
| |
| Authors: | Hallstein A. Hansen Gerardo Schneider Martin Steffen |
| |
| Affiliation: | 1. Faculty of Technology, Buskerud University College, Norway;2. Department of Computer Science and Engineering, Chalmers, Sweden;3. University of Gothenburg, Sweden;4. Department of Informatics, University of Oslo, Norway |
| |
| Abstract: | Hybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. In this paper we are concerned with GSPDIs, 2-dimensional systems generalizing SPDIs (planar hybrid systems based on “simple polygonal differential inclusions”), for which reachability have been shown to be decidable. GSPDIs are useful to approximate 2-dimensional control systems, allowing the verification of safety properties of such systems. |
| |
| Keywords: | Hybrid systems Reachability checking Safety verification Non-linear systems Differential inclusions |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
