Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools - Archive ouverte HAL Access content directly
Journal Articles Theoretical Computer Science Year : 2007

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

Gordon Pace
  • Function : Author
  • PersonId : 842708
Gerardo Schneider
  • Function : Author
  • PersonId : 840889
Sergio Yovine

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
main.pdf (406.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00172768 , version 1 (18-09-2007)
hal-00172768 , version 2 (21-09-2007)

Identifiers

  • HAL Id : hal-00172768 , version 2

Cite

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

Share

Gmail Facebook X LinkedIn More