A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Reachability Problems on Extended O-Minimal Hybrid Automata
[chapter]
2005
Lecture Notes in Computer Science
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of having only constant reset upon discrete jumps is a strong limitation for their applicability: hence, an important issue for both theoreticians and practitioners, is that of relaxing the above constraint, while not fall into undecidability. In this paper we start considering the problem of timed-bounded reachability on
doi:10.1007/11603009_14
fatcat:ottvt6kykjan5pubh6bt3on7zm