Optimal control of multi-vehicle systems with LTL specifications.

Koichi Kobayashi Takuro Nagami Kunihiko Hiraishi

Published in: CDC (2013)

Keyphrases

optimal control
control problems
feedback control
control strategy
risk sensitive
control system
dynamic programming
class of nonlinear systems
real time
evolutionary algorithm
particle swarm optimization
closed loop
infinite horizon
intelligent vehicles
bounded model checking