TY - GEN
T1 - Controller Synthesis for Unknown Polynomial-Type Systems
T2 - 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, CAADCPS 2022
AU - Nejati, Ameneh
AU - Zhong, Bingzhuo
AU - Caccamo, Marco
AU - Zamani, Majid
N1 - Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
KW - Controller-synthesis
KW - Data-driven-approach
KW - Formal-methods
KW - Unknown-nonlinear-polynomial-systems
UR - http://www.scopus.com/inward/record.url?scp=85134310956&partnerID=8YFLogxK
U2 - 10.1109/CAADCPS56132.2022.00007
DO - 10.1109/CAADCPS56132.2022.00007
M3 - Conference contribution
AN - SCOPUS:85134310956
T3 - Proceedings - 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, CAADCPS 2022
SP - 11
EP - 12
BT - Proceedings - 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, CAADCPS 2022
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 4 May 2022 through 6 May 2022
ER -