Synthesis of parametric hybrid automata from time series

DOI10.1007/978-3-031-19992-9_22MaRDI QIDQ6160922zbMATHFDO

Authors Miriam García Soto, Thomas A. Henzinger, Christian Schilling

Publication date 2 June 2023

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2208.06383

zbMATH Keywords

time seriessynthesishybrid automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Abstract: We propose an algorithmic approach for synthesizing linear hybrid automata from time-series data. Unlike existing approaches, our approach provides a whole family of models. Each model in the family is guaranteed to capture the input data up to a precision error {epsilon}, in the following sense: For each time series, the model contains an execution that is {epsilon}-close to the data points. Our construction allows to effectively choose a model from this family with minimal precision error {epsilon}. We demonstrate the algorithm's efficiency and its ability to find precise models in two case studies.

Recommendations

• Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
• Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems
• Parameter synthesis through temporal logic specifications
• Multi-objective parameter synthesis in probabilistic hybrid systems
• Adaptive algorithm of parametric synthesis of hybrid dynamical systems

Cites work

• scientific article; zbMATH DE number 3644821 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 6783107 (Why is no real title available?)
• A Bayesian approach to identification of hybrid systems
• A bounded-error approach to piecewise affine system identification
• Algebraic Identification of MIMO SARX Models
• Handbook of Dynamic System Modeling
• Handbook of model checking
• Identification of hybrid systems. A tutorial
• Identification of piecewise affine systems based on statistical clustering technique
• Identification of piecewise affine systems via mixed-integer programming.
• Learning Cycle-Linear Hybrid Automata for Excitable Cells
• Least squares quantization in PCM
• Logical foundations of cyber-physical systems
• MODELLING AS A DISCIPLINE
• Membership-based synthesis of linear hybrid automata
• Switching in systems and control
• Time to learn -- learning timed automata from tests

Cited in

(3)

• scientific article; zbMATH DE number 1760148 (Why is no real title available?)
• Membership-based synthesis of linear hybrid automata
• Learning symbolic representations of hybrid dynamical systems

This page was built for publication: Synthesis of parametric hybrid automata from time series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160922)