Conference
A compositional algorithm for parallel model checking of polygonal hybrid systems
| Τίτλος: | A compositional algorithm for parallel model checking of polygonal hybrid systems |
|---|---|
| Συγγραφείς: | Pace, Gordon J., Schneider, Gerardo, Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006 |
| Στοιχεία εκδότη: | Springer-Verlag Berlin Heidelberg |
| Έτος έκδοσης: | 2006 |
| Συλλογή: | University of Malta: OAR@UM / L-Università ta' Malta |
| Θεματικοί όροι: | Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses |
| Περιγραφή: | 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 |
| Τύπος εγγράφου: | conference object |
| Γλώσσα: | English |
| ISBN: | 978-3-540-48815-6 3-540-48815-4 |
| ISSN: | 03029743 |
| Relation: | https://www.um.edu.mt/library/oar//handle/123456789/22556 |
| Διαθεσιμότητα: | 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. |
| Αριθμός Καταχώρησης: | edsbas.D0E5C335 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!