Hybrid System Identification through Optimization and Active Learning

被引:0
作者
Dayekh, Hadi [1 ]
Basset, Nicolas [1 ]
Dang, Thao [1 ]
机构
[1] Univ Grenoble Alpes, CNRS, Grenoble INP, VERIMAG, Grenoble, France
来源
IFAC PAPERSONLINE | 2024年 / 58卷 / 11期
关键词
Hybrid Systems; Identification; Data-driven Modeling; Active Learning;
D O I
10.1016/j.ifacol.2024.07.430
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We present a method to identify state-dependent switched nonlinear dynamical systems with polynomial ODEs through optimization and active learning. Our approach extends and incorporates segmentation into a previous optimization-based approach for identifying SARX models. We use logistic regression to find the polynomial or linear mode boundaries of the system. Additionally, we provide a way to refine the result of the classifier through active learning and equivalence queries, assuming the correct identification of continuous dynamics. We provide results of our approach on multiple experiments, including a parametric experiment with increasing number of modes. We also compare our results with a different approach that deals with a similar class of problems and show that our method performs better. Copyright (c) 2024 The Authors.
引用
收藏
页码:87 / 92
页数:6
相关论文
共 22 条
[1]   Precise Piecewise Affine Models from Input-Output Data [J].
Alur, Rajeev ;
Singhania, Nimit .
2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
[2]   CasADi: a software framework for nonlinear optimization and optimal control [J].
Andersson, Joel A. E. ;
Gillis, Joris ;
Horn, Greg ;
Rawlings, James B. ;
Diehl, Moritz .
MATHEMATICAL PROGRAMMING COMPUTATION, 2019, 11 (01) :1-36
[3]   LEARNING REGULAR SETS FROM QUERIES AND COUNTEREXAMPLES [J].
ANGLUIN, D .
INFORMATION AND COMPUTATION, 1987, 75 (02) :87-106
[4]   A bounded-error approach to piecewise affine system identification [J].
Bemporad, A ;
Garulli, A ;
Paoletti, S ;
Vicino, A .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (10) :1567-1580
[5]  
Bemporad A, 2001, IEEE DECIS CONTR P, P786, DOI 10.1109/CDC.2001.980202
[6]  
Berger Guillaume., 2022, Advances_in_Neural Information_Processing_Systems, V35, P30419
[7]   Coverage-guided test generation for continuous and hybrid systems [J].
Dang, Thao ;
Nahhal, Tarik .
FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (02) :183-213
[8]  
Ferrari-Trecate G., 2001, Hybrid Systems: Computation and Control. 4th International Workshop, HSCC 2001. Proceedings (Lecture Notes in Computer Science Vol.2034), P218
[9]   Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data [J].
Gurung, Amit ;
Waga, Masaki ;
Suenaga, Kohei .
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2023, PT I, 2023, 14215 :33-52
[10]  
Hastie T., 2009, The Elements of Statistical Learning: Data Mining, Inference, and Prediction, DOI 10.1007/978-0-387-84858-7