Bounded invariant verification for time-delayed nonlinear networked dynamical systems

DOI10.1016/j.nahs.2016.05.005zbMath1353.37173OpenAlexW2474433838MaRDI QIDQ2374566

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

zbMATH Keywords

input-to-state stabilitycompositional verificationdelayed dynamical systemssimulation-based verification

Mathematics Subject Classification ID

Deterministic network models in operations research (90B10) Nonlinear systems in control theory (93C10) Dynamical systems in control (37N35) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (4)

Synthesizing SystemC Code from Delay Hybrid CSP ⋮ Multistability and instability analysis of recurrent neural networks with time-varying delays ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Event-triggered \(H_\infty\) control of networked switched systems subject to denial-of-service attacks

Uses Software

• DDE-BIFTOOL
• CAPD
• S-TaLiRo
• dde23
• C2e2
• GRKLib
• Hybrid Trace Verifier
• Breach

Cites Work

• Unnamed Item
• Delay differential equations: with applications in population dynamics
• Approximate reduction of dynamic systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Synchronization in networks of identical linear systems
• Comments on integral variants of ISS
• Strong contractivity properties of numerical methods for ordinary and delay differential equations
• Automatic verification of stability and safety for delay differential equations
• Validated solutions of initial value problems for ordinary differential equations
• Estimation of the Lipschitz constant of a function
• Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
• Testing and Reconstruction of Lipschitz Functions with Applications to Data Privacy
• Reachability Analysis of Nonlinear Systems Using Matrix Measures
• Computing bounded reach sets from sampled simulation traces
• Proofs from simulations and modular annotations
• Compositionality results for cardiac cell dynamics
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• The Theory of Timed I/O Automata
• Bounded Verification with On-the-Fly Discrepancy Computation
• Numerical solution of large‐scale Lyapunov equations, Riccati equations, and linear‐quadratic optimal control problems
• A characterization of integral input-to-state stability
• Further Results on Incremental Input-to-State Stability
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• A Lyapunov approach to incremental stability properties
• Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL
• Solving DDEs in Matlab

This page was built for publication: Bounded invariant verification for time-delayed nonlinear networked dynamical systems