Synthesis of parametric hybrid automata from time series

DOI10.1007/978-3-031-19992-9_22zbMATH Open1522.68318arXiv2208.06383MaRDI QIDQ6160922FDOQ6160922

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)

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.

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

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

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)

Cites Work

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

Cited In (2)

• Learning symbolic representations of hybrid dynamical systems
• Title not available (Why is that?)

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)