Zonotope-based Controller Synthesis for LTL Specifications.

Wei Ren Julien Calbert Raphaël M. Jungers

Published in: CDC (2021)

Keyphrases

controller synthesis
bounded model checking
autonomic computing systems
model checking
transition systems
closed loop
formal verification
linear temporal logic
control system
autonomic systems
multi agent
temporal logic
control algorithm
input output
linear time temporal logic
genetic algorithm