Abstract:
In the past two decades, formal methods have received significant attentions due to the increasing demand for formal synthesis of controllers over complex dynamical syste...Show MoreMetadata
Abstract:
In the past two decades, formal methods have received significant attentions due to the increasing demand for formal synthesis of controllers over complex dynamical systems and with respect to high-level logic properties, e.g., those expressed as linear temporal logic (LTL) formulae [1]. However, formal controller synthesis over continuous-time continuous-space systems is challenging due to the complexity of dynamics and properties of interest.
Published in: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)
Date of Conference: 03-06 May 2022
Date Added to IEEE Xplore: 27 June 2022
ISBN Information: