Algorithms for identifying flagged and guarded linear systems

DOI10.1145/3641513.3650140MaRDI QIDQ6993497zbMATH OpenFDO

Authors Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan

Publication date 25 April 2025

Full work available at URL https://doi.org/10.1145/3641513.3650140

Mathematics Subject Classification ID

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

• A bounded-error approach to piecewise affine system identification
• A clustering technique for the identification of piecewise affine systems
• A continuous optimization framework for hybrid system identification
• A dynamic programming segmentation procedure for hydrological and environmental time series
• A Piecewise Linear Regression and Classification Algorithm With Application to Learning and Model Predictive Control of Hybrid Systems
• A Sparsification Approach to Set Membership Identification of Switched Affine Systems
• Approximating the centroid is hard
• Control of systems integrating logic, dynamics, and constraints
• Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems
• Equivalence of hybrid dynamical models
• Estimating the probability of success of a simple algorithm for switched linear regression
• Formal Guarantees in Data-Driven Model Identification and Control Synthesis
• Hinging hyperplanes for regression, classification, and function approximation
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 6108474 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• Hybrid system identification. Theory and algorithms for learning switching models
• 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.
• Lectures on modern convex optimization. Analysis, algorithms, and engineering applications
• Observability and controllability of piecewise affine and hybrid systems
• On promise problems: a survey
• On the complexity of piecewise affine system identification
• The complexity of promise problems with applications to public-key cryptography

This page was built for publication: Algorithms for identifying flagged and guarded linear systems

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