Sign in

Falsification of combined invariance and reachability specifications in hybrid control systems.

Blake C. RawlingsB. Erik Ydstie
Published in: Discret. Event Dyn. Syst. (2017)
Keyphrases
  • control system
  • high level
  • formal specification
  • real time
  • neural network
  • state space
  • search engine
  • combining multiple
  • discriminative power