Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified.
Sarah M. LoosAndré PlatzerLigia NistorPublished in: FM (2011)
Keyphrases
- distributed systems
- adaptive control
- distributed control
- master slave
- multi agent
- cooperative
- control system
- distributed environment
- control method
- control strategy
- lightweight
- adaptive neural
- control theory
- databases
- data acquisition
- case study
- receding horizon
- learning algorithm
- fault tolerant
- blackboard architecture
- robot teams
- communication overhead
- robot control
- process control
- optimal control
- peer to peer
- expert systems
- e learning
- neural network