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

Nejati, Ameneh; Zhong, Bingzhuo; Caccamo, Marco und Zamani, Majid (2022): Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach. 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), Milan, Italy, 03-06 May 2022. In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), S. 11-12

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.

• Dokumententyp: Konferenzbeitrag (Paper)
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• Sprache: Englisch