Sign in

Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle.

Tichakorn WongpiromsarnSayan MitraAndrew G. LamperskiRichard M. Murray
Published in: ACM Trans. Embed. Comput. Syst. (2012)
Keyphrases
  • hybrid systems
  • autonomous vehicles
  • neural network
  • computational intelligence
  • real time
  • data mining
  • evolutionary algorithm
  • intelligent systems
  • black box