Conference
A compositional algorithm for parallel model checking of polygonal hybrid systems
| Title: | A compositional algorithm for parallel model checking of polygonal hybrid systems |
|---|---|
| Authors: | Pace, Gordon J., Schneider, Gerardo, Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006 |
| Publisher Information: | Springer-Verlag Berlin Heidelberg |
| 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: | The reachability problem as well as the computation of the phase portrait for the class of planar hybrid systems defined by constant differential inclusions (SPDI), has been shown to be decidable. The existing reachability algorithm is based on the exploitation of topological properties of the plane which are used to accelerate certain kind of cycles. The complexity of the algorithm makes the analysis of large systems generally unfeasible. In this paper we present a compositional parallel algorithm for reachability analysis of SPDIs. The parallelization is based on the qualitative information obtained from the phase portrait of an SPDI, in particular the controllability kernel. ; The United Nations Univ., Int. Inst. for Softw. Technol., Macau,Tunisian Ministry of Higher Education,University of New South Wales, UK ; peer-reviewed |
| Document Type: | conference object |
| Language: | English |
| ISBN: | 978-3-540-48815-6 3-540-48815-4 |
| ISSN: | 03029743 |
| Relation: | https://www.um.edu.mt/library/oar//handle/123456789/22556 |
| Availability: | https://www.um.edu.mt/library/oar//handle/123456789/22556 |
| 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.D0E5C335 |
| Database: | BASE |
| ISBN: | 9783540488156 3540488154 |
|---|---|
| ISSN: | 03029743 |