Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran. An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 1533-1540, IEEE, 2022. [doi]
Abstract is missing.