Login / Signup
A trajectory splicing approach to concretizing counterexamples for hybrid systems.
Aditya Zutshi
Sriram Sankaranarayanan
Jyotirmoy V. Deshmukh
James Kapinski
Published in:
CDC (2013)
Keyphrases
</>
hybrid systems
intelligent systems
black box
meta learning
neural network
discrete event
soft computing
computational intelligence
artificial intelligence
supervised learning
prediction accuracy
fitness function
service oriented
dynamic systems