Synthesis of hybrid automata with affine dynamics from time-series data
From MaRDI portal
Publication:6201579
DOI10.1145/3447928.3456704arXiv2102.12734MaRDI QIDQ6201579
Miriam García Soto, Christian Schilling, Thomas A. Henzinger
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2102.12734
Formal languages and automata (68Q45) 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
- A continuous optimization framework for hybrid system identification
- From time series to linear system, II. Exact modelling
- Learning regular sets from queries and counterexamples
- Identification of piecewise affine systems via mixed-integer programming.
- Subspace identification of multivariable linear parameter-varying systems
- A clustering technique for the identification of piecewise affine systems
- Set membership identification of switched linear systems with known number of subsystems
- Adaptive methods for stochastic differential equations via natural embeddings and rejection sampling with memory
- Identification of hybrid systems. A tutorial
- Identification of piecewise affine systems based on statistical clustering technique
- An Iterative Algebraic Geometric Approach for Identification of Switched ARX Models with Noise
- Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches
- Hybridization for Stability Analysis of Switched Linear Systems
- Control Synthesis for Large Collections of Systems with Mode-Counting Constraints
- Reachability in Linear Dynamical Systems
- Algebraic Identification of MIMO SARX Models
- Construction of composite models from observed data
- JuliaReach
- A Bayesian approach to identification of hybrid systems
- A bounded-error approach to piecewise affine system identification
- An algorithm with guaranteed convergence for finding a zero of a function
This page was built for publication: Synthesis of hybrid automata with affine dynamics from time-series data
