Computation and Visualisation of Phase Portraits for Model Checking SPDIs

Pace, Gordon J.; Schneider, Gerardo

doi:10.1007/978-3-540-78800-3_25

Search citation statements

Order By: Relevance

Paper Sections

Select...

Contents2

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Article1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The information gathered for computing reachability turns out to be useful for computing viability, controllability and invariance kernels of such systems. Algorithms for computing these kernels have been presented in [ASY02,Sch04] and are implemented in the tool set SPeeDI + [PS06b]. This paper is the second part of [ASY07], which describes a reachability algorithm for SPDIs.…”

Section: Contentsmentioning

confidence: 99%

See 1 more Smart Citation

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools

Asarin¹,

Pace²,

Schneider³

et al. 2008

Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Contentsmentioning

confidence: 99%

“…The computation of semi-separatrices was presented in [PS06c]. A short presentation of the tool SPeeDI appeared in [APSY02], while the description of SPeeDI + is still unpublished [PS06b].…”

Section: Contentsmentioning

confidence: 99%