TY - GEN
T1 - Cosimulation-Based Control Synthesis
AU - Le Coënt, Adrien
AU - Alexandre dit Sandretto, Julien
AU - Chapoutot, Alexandre
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - In this paper, we present a procedure for guaranteed control synthesis for nonlinear sampled switched systems which relies on an adaptive state-space tiling procedure. The computational complexity of the procedure being exponential in the dimension of the system, we explore the use of cosimulation for improving computation times and the scalabity of the method. We apply the procedure on a scalable case study of various dimensions, which is, to our knowledge, a significant step towards the scalabity of formal control synthesis methods with respect to the state of the art.
AB - In this paper, we present a procedure for guaranteed control synthesis for nonlinear sampled switched systems which relies on an adaptive state-space tiling procedure. The computational complexity of the procedure being exponential in the dimension of the system, we explore the use of cosimulation for improving computation times and the scalabity of the method. We apply the procedure on a scalable case study of various dimensions, which is, to our knowledge, a significant step towards the scalabity of formal control synthesis methods with respect to the state of the art.
KW - Cosimulation
KW - Guaranteed numerical integration
KW - Interval analysis
KW - Switched systems
KW - Symbolic control synthesis
U2 - 10.1007/978-3-030-67220-1_24
DO - 10.1007/978-3-030-67220-1_24
M3 - Conference contribution
AN - SCOPUS:85101526431
SN - 9783030672195
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 318
EP - 333
BT - Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers
A2 - Cleophas, Loek
A2 - Massink, Mieke
PB - Springer Science and Business Media Deutschland GmbH
T2 - 2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020
Y2 - 14 September 2020 through 15 September 2020
ER -