Real-Time Reachability for Verified Simplex Design.

Stanley Bak Taylor T. Johnson Marco Caccamo Lui Sha

Published in: RTSS (2014)

Keyphrases

real time
case study
optimal design
real time control
data sets
machine learning
user interface
low cost
building blocks
design process
software architecture
computer aided