Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
From MaRDI portal
Publication:6120698
DOI10.1145/3501710.3519536OpenAlexW4225417590MaRDI QIDQ6120698
Publication date: 21 February 2024
Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3501710.3519536
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
- Closed-loop input design for guaranteed fault diagnosis using set-valued observers
- Input design for guaranteed fault diagnosis using zonotopes
- Feedback error learning and nonlinear adaptive control
- Optimization over state feedback policies for robust control with constraints
- Set containment characterization
- Finite horizon constrained control and bounded-error estimation in the presence of missing data
- On the sample complexity of the linear quadratic regulator
- Input design for discrimination between classes of LTI models
- On self tuning regulators
- Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference
- Case Studies in Data-Driven Verification of Dynamical Systems
- Adaptive controller design for tracking and disturbance attenuation in parametric strict-feedback nonlinear systems
- Formal Synthesis of Control Strategies for Positive Monotone Systems
- Robust Constraint Satisfaction for Continuous-Time Nonlinear Systems in Strict Feedback Form
- Safety Control of Hidden Mode Hybrid Systems
- Nonlinear adaptive control using neural networks and multiple models
This page was built for publication: Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
