Real-Time Reachability for Verified Simplex Design.

Taylor T. Johnson Stanley Bak Marco Caccamo Lui Sha

Published in: ACM Trans. Embed. Comput. Syst. (2016)

Keyphrases

real time
case study
building blocks
real time control
database
optimal design
computer aided
design process
knowledge based systems
low cost
control system
information retrieval
vision system
state space
user interface
augmented reality
machine learning
data sets