Login / Signup

Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches.

Sukumar JairamKusum LataSubir K. RoyNavakanta Bhat
Published in: ICECS (2008)
Keyphrases
  • control system
  • simulation model
  • control algorithm
  • formal methods
  • formal analysis
  • fuzzy logic
  • data sets
  • real world
  • learning algorithm
  • formal model
  • adaptive control
  • lyapunov theory