Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates.

Anqi Li Li Wang Pietro Pierpaoli Magnus Egerstedt

Published in: IROS (2018)

Keyphrases

behavior analysis
behavior patterns
control system
real time
multi agent
search algorithm
databases
reinforcement learning
data structure
cooperative
access control
robotic systems
optimal control
control strategies
process control
e learning
control policy