A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
[chapter]
2018
Lecture Notes in Computer Science
To decide whether a set of states is reachable in a hybrid system, over-approximative symbolic successor computations can be used, where the symbolic representation of state sets as well as the successor computations have several parameters which determine the efficiency and the precision of the computations. Naturally, faster computations come with less precision and more spurious counterexamples. To remove a spurious counterexample, the only possibility offered by current tools is to reduce
doi:10.1007/978-3-319-89963-3_17
fatcat:mfjnx36pgzgxlajzknckxomhzu