Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24529
Title: | SPeeDI - a verification tool for polygonal hybrid systems |
Authors: | Asarin, Eugene Pace, Gordon J. Schneider, Gerardo Yovine, Sergio |
Keywords: | Hybrid systems Differential inclusions Computer algorithms |
Issue Date: | 2002 |
Publisher: | Springer, Berlin, Heidelberg |
Citation: | Asarin, E., Pace, G., Schneider, G., & Yovine, S. (2002). SPeeDI - a verification tool for polygonal hybrid systems. 14th International Conference on Computer Aided Verification, Copenhagen. 1-5. |
Abstract: | Hybrid systems combining discrete and continuous dynamics arise as mathematical models of various artificial and natural systems, and as an approximation to complex continuous systems. A very important problem in the analysis of the behavior of hybrid systems is reachability. It is well-known that for most non-trivial subclasses of hybrid systems this and all interesting verification problems are undecidable. Most of the proved decidability results rely on stringent hypothesis that lead to the existence of a finite and computable partition of the state space into classes of states which are equivalent with respect to reachability. This is the case for classes of rectangular automata [1] and hybrid automata with linear vector fields [2]. Most implemented computational procedures resort to (forward or backward) propagation of constraints, typically (unions of convex) polyhedra or ellipsoids [3, 4, 5]. In general, these techniques provide semi-decision procedures, that is, if the given final set of states is reachable, they will terminate, otherwise they may fail to. Maybe the major drawback of set-propagation, reachset approximation procedures is that they pay little attention to the geometric properties of the specific (class of) systems under analysis. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/24529 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
SPeeDI_-_A_Verification_Tool_for_Polygonal_Hybrid_.pdf | 95.44 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.