Bounded invariant verification for time-delayed nonlinear networked dynamical systems

详细信息    查看全文

• 作者：Zhenqi Huang ; ^{zhuang25@illinois.edu} ; Chuchu Fan ^{cfan10@illinois.edu} ; Sayan Mitra ^{mitras@illinois.edu}
• 关键词：Compositional verification ; Delayed dynamical systems ; Simulation-based verification ; Input-to-state stability
• 刊名：Nonlinear Analysis: Hybrid Systems
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：23
• 期：Complete
• 页码：211-229
• 全文大小：1033 K
• 卷排序：23

文摘

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 large networks, computing this sensitivity with precision guarantees is challenging. We introduce the notion of input-to-state (IS) discrepancy of each module or subsystem in a larger nonlinear networked dynamical system. The IS discrepancy bounds the distance between two solutions or trajectories of a module in terms of their initial states and their inputs. Given the IS discrepancy functions of the modules, we show that it is possible to effectively construct a reduced (low dimensional) time-delayed dynamical system, such that the trajectory of this reduced model precisely bounds the distance between the trajectories of the complete network with changed initial states. Using the above results we develop a sound and relatively complete algorithm for bounded invariant verification of networked dynamical systems consisting of nonlinear modules interacting through possibly delayed signals. Finally, we introduce a local version of IS discrepancy and show that it is possible to compute them using only the Lipschitz constant and the Jacobian of the dynamic function of the modules.