Constructing decidable hybrid systems with velocity bounds

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

40 Citations (Scopus)
2 Downloads (Pure)


In this paper, the question of bi-similarity between hybrid systems and their discrete quotients is studied from a new point of view. We consider two classes of hybrid systems: piecewise affine hybrid systems on simplices and piecewise multi-affine systems on multi-dimensional rectangles. Given a fixed partition of the state space, we derive sufficient conditions on the values of the vector fields at the vertices of the polytopes, in order that the constructed hybrid system is bi-similar with its corresponding discrete quotient transition system. The results are based on the fact that affine vector fields on simplices and multi-affine vector fields on rectangles are uniquely determined by their values at the vertices. In this way, an interesting class of decidable hybrid systems is determined. The result is applied to a motion planning problem for planar robots.
Original languageEnglish
Title of host publicationProceedings 43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas, December 14-17, 2004
PublisherInstitute of Electrical and Electronics Engineers
ISBN (Print)0-7803-8682-5
Publication statusPublished - 2004


Dive into the research topics of 'Constructing decidable hybrid systems with velocity bounds'. Together they form a unique fingerprint.

Cite this