Barrier certificates for nonlinear model validation
From MaRDI portal
Publication:2641737
Recommendations
Cites work
- A nonlinear functional approach to LFT model validation.
- A time-domain approach to model validation
- An introduction to hybrid dynamical systems
- An LMI approach to control-oriented identification and model (In)validation of LPV systems
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Continuous-time control model validation using finite experimental data
- Dissipative dynamical systems. II: Linear systems with quadratic supply rates
- scientific article; zbMATH DE number 4017400 (Why is no real title available?)
- scientific article; zbMATH DE number 3652729 (Why is no real title available?)
- scientific article; zbMATH DE number 1342058 (Why is no real title available?)
- LFT uncertain model validation with time- and frequency-domain measurements
- Mathematical biology. Vol. 1: An introduction.
- Model validation for control and controller validation in a prediction error identification framework. I: Theory
- Model validation: a connection between robust control and identification
- On Statistical Model Validation
- Robust Stability Analysis of Nonlinear Hybrid Systems
- Semidefinite Programming
- SOSTOOLS and Its Control Applications
- System analysis via integral quadratic constraints
- The role of model validation for assessing the size of the unmodeled dynamics
- Time-domain validation for sample-data uncertainty models
- Validation of linear fractional uncertain models: solutions via matrix inequalities
Cited in
(29)- Safety verification for distributed parameter systems using barrier functionals
- Vector barrier certificates and comparison systems
- Automated and formal synthesis of neural barrier certificates for dynamical models
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
- Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems
- Identification and validation of quasispecies models for biological systems
- Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
- Abstractions for hybrid systems
- Some decidable results on reachability of solvable systems
- Theory and computational techniques for analysis of discrete-time control systems with disturbances
- Probabilistic model validation for uncertain nonlinear systems
- Barrier certificates revisited
- Construction of parametric barrier functions for dynamical systems using interval analysis
- Quantitative local \(L_2\)-gain and reachability analysis for nonlinear systems
- Auxiliary functions as Koopman observables: data-driven analysis of dynamical systems via polynomial optimization
- FOSSIL
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
- k-Inductive Barrier Certificates for Stochastic Systems
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
- Graph problems arising from parameter identification of discrete dynamical systems
- Safe optimal control of cancer using a control barrier function technique
- Safety constrained digital control of nonlinear systems with state delays
- Fault detection via output-based barrier functions
- Enhancing safety in model-based reinforcement learning with high-order control barrier functions
- Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models
- Polynomial optimization for nonlinear dynamics: theory, algorithms and applications. Abstracts from the workshop held July 28 -- August 2, 2024
- Output tracking and safety-critical control for affine nonlinear systems with high-relative-degree outputs and safety constraints
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- Analyzing ultimate positivity for solvable systems
This page was built for publication: Barrier certificates for nonlinear model validation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2641737)
