Optimal Secure Control With Linear Temporal Logic Constraints.

Luyao Niu Andrew Clark

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

Keyphrases

linear temporal logic
optimal control
temporal logic
dynamic programming
control system
bounded model checking
optimal solution
general purpose
model checking
domain specific
constraint satisfaction
optimal strategy