Loading [a11y]/accessibility-menu.js
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach | IEEE Conference Publication | IEEE Xplore

Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach


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 More

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.
Date of Conference: 03-06 May 2022
Date Added to IEEE Xplore: 27 June 2022
ISBN Information:
Conference Location: Milan, Italy

Funding Agency:


Contact IEEE to Subscribe

References

References is not available for this document.