AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Utilizing Dependencies to Obtain Subsets of Reachable Sets

HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control Sydne..., pp.1-10, (2019)

Cited by: 2|Views7
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:

Author
Kochdumper Niklas
Kochdumper Niklas
Your rating :
0

 

Tags
Comments
小科