Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints.

Xinyi Yu Xiang Yin Lars Lindemann

Published in: CDC (2023)

Keyphrases

spatio temporal
temporal information
neural network
temporal dimension
control method
control system
space time
spatial and temporal
cost effective
computational efficiency
constraint programming
optimal control
geometric constraints
temporal patterns
temporal relations
bidirectional search