Low dimensional hybrid systems – decidable, undecidable, donʼt know
Dedicated to the memory of Amir Pnueli (1941–2009)
Under an Elsevier user license
open archive
Keywords
Hybrid systems
Undecidability
Piece-wise affine maps
(Hierarchical) piece-wise constant derivative systems
Cited by (0)
- 1
Current affiliation: D. E. Shaw Research, New York, USA.
- 2
Affiliation at the moment of submission of this paper.
Copyright © 2012 Elsevier Inc.