Zonotope-based Controller Synthesis for LTL Specifications.

Wei Ren Julien Calbert Raphaël M. Jungers

Published in: CoRR (2021)

Keyphrases

controller synthesis
bounded model checking
autonomic computing systems
model checking
closed loop
transition systems
temporal logic
control system
formal verification
linear temporal logic
control algorithm
multi agent
computing systems
control scheme
autonomic systems
controller design
fuzzy sets
real time