A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.

Hadi Ravanbakhsh Sriram Sankaranarayanan

Published in: SYNT@CAV (2017)

Keyphrases

distributed systems
mechanical systems
management system
autonomous systems
decision trees
control system
machine learning
information retrieval
website
case study
training data
multi agent
information retrieval systems
learning systems
human operators
process automation