Barrier certificates for nonlinear model validation

DOI10.1016/j.automatica.2005.08.007zbMath1121.93007OpenAlexW2052446317MaRDI QIDQ2641737

Stephen Prajna

Publication date: 23 August 2007

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2005.08.007

zbMATH Keywords

nonlinear systemsmodel validationsemidefinite programming relaxationsbarrier certificates

Mathematics Subject Classification ID

Related Items (20)

Implicit semi-algebraic abstraction for polynomial dynamical systems ⋮ Identification and validation of quasispecies models for biological systems ⋮ Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable ⋮ Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method ⋮ Safety verification for distributed parameter systems using barrier functionals ⋮ 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 ⋮ Analyzing ultimate positivity for solvable systems ⋮ Graph problems arising from parameter identification of discrete dynamical systems ⋮ Probabilistic model validation for uncertain nonlinear systems ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ Quantitative local L₂‐gain and Reachability analysis for nonlinear systems ⋮ Abstractions for hybrid systems ⋮ Automated and formal synthesis of neural barrier certificates for dynamical models ⋮ Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems ⋮ Theory and computational techniques for analysis of discrete-time control systems with disturbances ⋮ Some decidable results on reachability of solvable systems

Uses Software

• Sostools
• SeDuMi

Cites Work

• Mathematical biology. Vol. 1: An introduction.
• A nonlinear functional approach to LFT model validation.
• An introduction to hybrid dynamical systems
• Model validation for control and controller validation in a prediction error identification framework. I: Theory
• Dissipative dynamical systems. II: Linear systems with quadratic supply rates
• Model validation: a connection between robust control and identification
• A time-domain approach to model validation
• System analysis via integral quadratic constraints
• The role of model validation for assessing the size of the unmodeled dynamics
• LFT uncertain model validation with time- and frequency-domain measurements
• Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
• SOSTOOLS and Its Control Applications
• Semidefinite Programming
• Validation of linear fractional uncertain models: solutions via matrix inequalities
• Time-domain validation for sample-data uncertainty models
• Continuous-time control model validation using finite experimental data
• Robust Stability Analysis of Nonlinear Hybrid Systems
• An LMI approach to control-oriented identification and model (In)validation of LPV systems
• On Statistical Model Validation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Barrier certificates for nonlinear model validation