Bounded invariant verification for time-delayed nonlinear networked dynamical systems
From MaRDI portal
Recommendations
- Proofs from simulations and modular annotations
- Bounded verification with on-the-fly discrepancy computation
- Validated simulation-based verification of delayed differential dynamics
- Construction of Lyapunov-Krasovskii functionals for networks of iISS retarded systems in small-gain formulation
- Input-to-state stability for dynamical neural networks with time-varying delays
Cites work
- scientific article; zbMATH DE number 4017400 (Why is no real title available?)
- A Lyapunov approach to incremental stability properties
- A characterization of integral input-to-state stability
- Approximate reduction of dynamic systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Automatic verification of stability and safety for delay differential equations
- Bounded verification with on-the-fly discrepancy computation
- Comments on integral variants of ISS
- Compositionality results for cardiac cell dynamics
- Computing bounded reach sets from sampled simulation traces
- Delay differential equations: with applications in population dynamics
- Estimation of the Lipschitz constant of a function
- Further Results on Incremental Input-to-State Stability
- Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL
- Numerical solution of large-scale Lyapunov equations, Riccati equations, and linear-quadratic optimal control problems.
- Proofs from simulations and modular annotations
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Solving DDEs in Matlab
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- Strong contractivity properties of numerical methods for ordinary and delay differential equations
- Synchronization in networks of identical linear systems
- Testing and reconstruction of Lipschitz functions with applications to data privacy
- The Theory of Timed I/O Automata
- Validated solutions of initial value problems for ordinary differential equations
Cited in
(7)- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
- Bounded verification with on-the-fly discrepancy computation
- Event-triggered \(H_\infty\) control of networked switched systems subject to denial-of-service attacks
- Proofs from simulations and modular annotations
- Multistability and instability analysis of recurrent neural networks with time-varying delays
- Switching controller synthesis for delay hybrid systems under perturbations
- Synthesizing SystemC Code from Delay Hybrid CSP
Describes a project that uses
Uses Software
This page was built for publication: Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2374566)
