Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
Petter NilssonOmar HussienYuxiao ChenAyca BalkanMatthias RunggerAaron D. AmesJessy W. GrizzleNecmiye OzayHuei PengPaulo TabuadaPublished in: CDC (2014)
Keyphrases
- control software
- control system
- construction process
- adaptive control
- unmanned aerial vehicles
- controller synthesis
- information systems
- data acquisition
- data driven
- process control
- control method
- control strategy
- inverted pendulum
- adaptive learning
- optimal control
- database
- multiscale
- decision making
- artificial intelligence
- machine learning
- real time