Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes.
Ibtissem Ben MakhloufHilal DiabStefan KowalewskiPublished in: ADHS (2012)
Keyphrases
- cooperative
- distributed control
- communication systems
- fully distributed
- communication networks
- safety analysis
- multi agent
- cooperative learning
- communication overhead
- control center
- computer controlled
- communication protocols
- communication patterns
- control algorithm
- computer networks
- information sharing
- model checking
- learning algorithm
- neural network
- real time