Bounded invariant verification for time-delayed nonlinear networked dynamical systems
DOI10.1016/J.NAHS.2016.05.005zbMATH Open1353.37173OpenAlexW2474433838MaRDI QIDQ2374566FDOQ2374566
Authors: Zhenqi Huang, Chuchu Fan, Sayan Mitra 
Publication date: 15 December 2016
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2016.05.005
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
input-to-state stabilitycompositional verificationdelayed dynamical systemssimulation-based verification
Deterministic network models in operations research (90B10) Dynamical systems in control (37N35) Nonlinear systems in control theory (93C10) Control/observation systems governed by ordinary differential equations (93C15)
Cites Work
- Comments on integral variants of ISS
- Title not available (Why is that?)
- A Lyapunov approach to incremental stability properties
- Delay differential equations: with applications in population dynamics
- Synchronization in networks of identical linear systems
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- A characterization of integral input-to-state stability
- Approximately bisimilar symbolic models for nonlinear control systems
- Strong contractivity properties of numerical methods for ordinary and delay differential equations
- Testing and reconstruction of Lipschitz functions with applications to data privacy
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL
- Solving DDEs in Matlab
- Numerical solution of large-scale Lyapunov equations, Riccati equations, and linear-quadratic optimal control problems.
- Validated solutions of initial value problems for ordinary differential equations
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- Further Results on Incremental Input-to-State Stability
- Estimation of the Lipschitz constant of a function
- Approximate reduction of dynamic systems
- Compositionality results for cardiac cell dynamics
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- The Theory of Timed I/O Automata
- Automatic verification of stability and safety for delay differential equations
- Proofs from simulations and modular annotations
- Bounded verification with on-the-fly discrepancy computation
- Computing bounded reach sets from sampled simulation traces
Cited In (7)
- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
- Bounded verification with on-the-fly discrepancy computation
- Proofs from simulations and modular annotations
- Event-triggered \(H_\infty\) control of networked switched systems subject to denial-of-service attacks
- 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
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)
