Please use this identifier to cite or link to this item:
Title: Algorithmic analysis of polygonal hybrid systems, part II : phase portrait and tools
Authors: Asarin, Eugene
Pace, Gordon J.
Schneider, Gerardo
Yovine, Sergio
Keywords: Hybrid systems
Differential inclusions
Computer algorithms
Issue Date: 2008
Publisher: Elsevier BV
Citation: Asarin, E., Pace, G., Schneider, G., & Yovine, S. (2008). Algorithmic analysis of polygonal hybrid systems, part II: phase portrait and tools. Theoretical Computer Science, 390(1), 1-42.
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
download.pdf392.18 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.