Sign in

Improving reachability analysis of hybrid automata for engine control.

Alberto CasagrandeAndrea BalluchiLuca BenvenutiAlberto PolicritiTiziano VillaAlberto L. Sangiovanni-Vincentelli
Published in: CDC (2004)
Keyphrases
  • reachability analysis
  • hybrid automata
  • air fuel ratio
  • model checking
  • finite state automata
  • control system
  • machine learning
  • state space
  • markov decision processes
  • finite state machines