Utilizing Dependencies to Obtain Subsets of Reachable Sets

Kochdumper Niklas
Kochdumper Niklas

HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control Sydney New South Wales Australia April, 2020, pp. 1-10, 2019.

Cited by: 2|Bibtex|Views0|Links
EI

Abstract:

Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invariant computation, and conformance checking, to name but a few. In many of these applications, one requires to compute a reachable set starting within a previously ...More

Code:

Data:

Your rating :
0

 

Tags
Comments