Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24415
Title: | Static analysis for state-space reduction of polygonal hybrid systems |
Other Titles: | Formal modeling and analysis of timed systems. FORMATS 2006. Lecture notes in computer science |
Authors: | Pace, Gordon J. Schneider, Gerardo |
Keywords: | Hybrid systems Differential inclusions Computer algorithms |
Issue Date: | 2006 |
Publisher: | Springer Berlin Heidelberg |
Citation: | Pace G., & Schneider G. (2006). Static analysis for state-space reduction of polygonal Hybrid Systems. In E. Asarin, & P. Bouyer (Eds.), Formal modeling and analysis of timed systems. FORMATS 2006. Lecture notes in computer science (pp.306-321). Berlin, Heidelberg: Springer. |
Abstract: | Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as the computation of certain objects of the phase portrait, namely the viability, controllability and invariance kernels, for such systems is decidable. In this paper we show how to compute another object of an SPDI phase portrait, namely semi-separatrix curves and show how the phase portrait can be used for reducing the state-space for optimizing the reachability analysis. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/24415 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Static_Analysis_for_State-Space_Reduction_of_Polyg.pdf | 506.29 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.