Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Nonlinear Analysis: Hybrid Systems, pp. 211-229, 2017.
Abstract We present a technique for bounded invariant verification of nonlinear networked dynamical systems with delayed interconnections. The underlying problem in precise bounded-time verification lies with computing bounds on the sensitivity of trajectories (or solutions) to changes in initial states and inputs of the system. For lar...More
Full Text (Upload PDF)
PPT (Upload PPT)