Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools

Abstract : 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.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2007, Accepted, To appear. Manuscript Number: TCS-D-07-00065R1
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00172768
Contributeur : Eugene Asarin <>
Soumis le : vendredi 21 septembre 2007 - 14:14:03
Dernière modification le : jeudi 15 novembre 2018 - 20:26:56
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:23:39

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00172768, version 2

Collections

Citation

Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools. Theoretical Computer Science, Elsevier, 2007, Accepted, To appear. Manuscript Number: TCS-D-07-00065R1. 〈hal-00172768v2〉

Partager

Métriques

Consultations de la notice

438

Téléchargements de fichiers

138