Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information

Xinyi Yu, Weijie Dong, Xiang Yin 0003, Shaoyuan Li. Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 1553-1559, IEEE, 2022. [doi]

Abstract

Abstract is missing.