Pages that link to "Item:Q2641737"

The following pages link to Barrier certificates for nonlinear model validation (Q2641737):

Displaying 17 items.

• Probabilistic model validation for uncertain nonlinear systems (Q466275) (← links)
• Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
• Graph problems arising from parameter identification of discrete dynamical systems (Q634788) (← links)
• Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
• Analyzing ultimate positivity for solvable systems (Q897909) (← links)
• Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← links)
• Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
• Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
• Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (Q2304049) (← links)
• Identification and validation of quasispecies models for biological systems (Q2390531) (← links)
• Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable (Q2409309) (← links)
• Abstractions for hybrid systems (Q2475634) (← links)
• Some decidable results on reachability of solvable systems (Q2871582) (← links)
• Theory and computational techniques for analysis of discrete-time control systems with disturbances (Q3096879) (← links)
• Quantitative local <b>L</b>₂‐gain and Reachability analysis for nonlinear systems (Q5411828) (← links)
• Auxiliary functions as Koopman observables: data-driven analysis of dynamical systems via polynomial optimization (Q6066022) (← links)
• Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)