 |
|
|
|
| HAL : hal-00172768, version 2 |
| Fiche détaillée |  Récupérer au format |
|
|
| Theoretical Computer Science Accepted (2007) To appear. Manuscript Number: TCS-D-07-00065R1 |
|
|
| Versions disponibles : | v1 (18-09-2007) | v2 (21-09-2007) |
|
|
|
|
| Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools |
|
|
| Eugene Asarin 1Gordon Pace 2 |
|
|
| (2007) |
|
|
|
| Polygonal differential inclusion 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 is decidable. In this paper we show how to compute the viability, controllability and invariance kernels, as well as semi-separatrix curves for SPDIs. We also present the tool SPEEDI, which implements a reachability algorithm and computes phase portraits of SPDIs. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 2 : | Semantics & Verification Research Group (SVRG) |
|
|
|
University of Malta |
|
|
| 3 : | Department of Informatics |
|
|
|
University of Oslo |
|
|
| 4 : | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble - INPG |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| Hybrid systems – differential inclusions – verification – phase portrait |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00172768, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00172768 | |
| oai:hal.archives-ouvertes.fr:hal-00172768 | |
| Contributeur : Eugene Asarin | |
| Soumis le : Vendredi 21 Septembre 2007, 14:14:03 | |
| Dernière modification le : Vendredi 21 Septembre 2007, 14:18:13 | |
