Synthesis of parametric hybrid automata from time series
From MaRDI portal
Publication:6160922
DOI10.1007/978-3-031-19992-9_22zbMath1522.68318arXiv2208.06383MaRDI QIDQ6160922
Miriam García Soto, Christian Schilling, Thomas A. Henzinger
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
Formal languages and automata (68Q45) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Switching in systems and control
- Identification of piecewise affine systems via mixed-integer programming.
- Time to learn -- learning timed automata from tests
- Identification of hybrid systems. A tutorial
- Identification of piecewise affine systems based on statistical clustering technique
- MODELLING AS A DISCIPLINE
- Algebraic Identification of MIMO SARX Models
- Learning Cycle-Linear Hybrid Automata for Excitable Cells
- Handbook of Model Checking
- Logical Foundations of Cyber-Physical Systems
- Least squares quantization in PCM
- A Bayesian approach to identification of hybrid systems
- A bounded-error approach to piecewise affine system identification
- Handbook of Dynamic System Modeling
- Membership-based synthesis of linear hybrid automata
This page was built for publication: Synthesis of parametric hybrid automata from time series