2 citations · 11 across the 26 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
eess.SY2023
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots
Ruijia Liu, Shaoyuan Li, Xiang Yin
In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications. This problem is particularly challenging when robots navigate in cont…
eess.SY2023
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints
Xinyi Yu, Xiang Yin, Lars Lindemann
In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous…
eess.SY2023
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests
Yu Chen, Chao Shang, Xiaolin Huang +1
In this work, we investigate the data-driven safe control synthesis problem for unknown dynamic systems. We first formulate the safety synthesis problem as a robust convex program…