Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems.

Pierre-Jean Meyer Dimos V. Dimarogonas

Published in: IEEE Trans. Autom. Control. (2019)

Keyphrases

hierarchical decomposition
control system
hierarchical organization
model predictive control
model checking
temporal logic
linear temporal logic
linear time temporal logic
controller synthesis
neural network
image processing
web services
bounded model checking