Optimal Secure Control with Linear Temporal Logic Constraints.

Luyao Niu Andrew Clark

Published in: CoRR (2019)

Keyphrases

linear temporal logic
optimal control
temporal logic
control policy
sufficient conditions
constraint satisfaction
control system
model checking
dynamic programming
search algorithm