Report
Static analysis of SPDIs for state-space reduction
| Title: | Static analysis of SPDIs for state-space reduction |
|---|---|
| Authors: | Pace, Gordon J., Schneider, Gerardo |
| Publisher Information: | University of Oslo. Department of Informatics |
| Publication Year: | 2006 |
| Collection: | University of Malta: OAR@UM / L-Università ta' Malta |
| Subject Terms: | Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses |
| Description: | 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. ; peer-reviewed |
| Document Type: | report |
| Language: | English |
| ISBN: | 978-82-7368-291-8 82-7368-291-9 |
| ISSN: | 08063036 |
| Relation: | https://www.um.edu.mt/library/oar//handle/123456789/24586 |
| Availability: | https://www.um.edu.mt/library/oar//handle/123456789/24586 |
| Rights: | info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder |
| Accession Number: | edsbas.4020E2A4 |
| Database: | BASE |
Be the first to leave a comment!