Report
Static analysis of SPDIs for state-space reduction
| Τίτλος: | Static analysis of SPDIs for state-space reduction |
|---|---|
| Συγγραφείς: | Pace, Gordon J., Schneider, Gerardo |
| Στοιχεία εκδότη: | University of Oslo. Department of Informatics |
| Έτος έκδοσης: | 2006 |
| Συλλογή: | University of Malta: OAR@UM / L-Università ta' Malta |
| Θεματικοί όροι: | Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses |
| Περιγραφή: | 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 |
| Τύπος εγγράφου: | report |
| Γλώσσα: | English |
| ISBN: | 978-82-7368-291-8 82-7368-291-9 |
| ISSN: | 08063036 |
| Relation: | https://www.um.edu.mt/library/oar//handle/123456789/24586 |
| Διαθεσιμότητα: | 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 |
| Αριθμός Καταχώρησης: | edsbas.4020E2A4 |
| Βάση Δεδομένων: | BASE |
| ISBN: | 9788273682918 8273682919 |
|---|---|
| ISSN: | 08063036 |