Abstract:There are recent shifts in demand for design controllers from simplified to complex model-based. Although simplification approaches are successful in many areas of engineering control systems, high-fidelity simulation-based control design, for example, reinforcement learning, has been rising in robotics areas. On the other hand, the lack of assurances about the stability and robustness of simulation-based control design restricts its applications to safety-critical systems. We develop computational methods to verify the stability and robustness of safety-critical systems. By extending the inverse Lyapunov theorem, we present a practical method to compute the constants required to check the exponential stability conditions of dynamic systems implemented in a numerical simulator. It is shown that the norm-bound of the propagated states is a function of the numerical integration steps, where the numerical simulator may include discontinuous jumps of states. The energy bounds for the transition states are obtained based on the exponential stability assumption of the inverse Lyapunov theorem. Finally, a finite sampling algorithm provides the deterministic stability guarantee for the continuous state space.

Stability and Robust Stability of a Large-Scale NCS

Robust Stability Analysis of Networked Control Systems

Robust Stabilization for a Class of Nonlinear Networked Control Systems

Robust Stabilization For Networked Control Systems

Robust Decentralised Stabilisation of Interval Discrete-Time Singular Large-Scale Systems

Stability Analysis of Large-scale Nonlinear Systems with Hybrid Models

Robust Stability Analysis Of Uncertain Large-Scale Systems

On the Stability and Robust Stability of Networked Dynamic Systems

Robust stability of uncertain large-scale dynamical system with delay

Stability Analysis of Fuzzy Large-Scale Systems with Time Delays in Interconnections.

Nonsmooth Decentralized Stabilization for Interconnected Systems Subject to Strongly Coupled Uncertain Interactions.

IQC Based Robust Stability Verification for a Networked System with Communication Delays

Topology and Subsystem Parameter Based Verification for the Controllability/Observability of a Networked Dynamic System

Stability Analysis Of Large-Scale Systems With Delays

Controllability Verification for Constrained Networked Dynamic Systems

Robust Stability Analysis of Networked Dynamic Systems with Uncertain Communication Delays

Stabilization of cascaded two-port networked systems with simultaneous nonlinear uncertainties

BIBO Stabilization of Large-Scale Systems

Stability and decentralized stabilization of large-scale delay stochastic systems. (II) decentralized stabilization

Dynamic System Stability Verification Using Numerical Simulator

Regularity/Controllability/Observability of an NDS with Descriptor Form Subsystems and Generalized LFTs.