Complex systems are often decomposed into modular subsystems for engineering
tractability. Although various equation based white-box modeling techniques make use of …

Notions of transition invariants and closure certificates have seen recent use in the formal
verification of controlled dynamical systems against\omega-regular properties …

Electric power systems during transient states are extensively investigated using variations
of the Kuramoto model to analyze their dynamic behavior. However, the majority of current …

A barrier certificate, defined over the states of a dynamical system, is a real-valued function
whose zero level set characterizes an inductively verifiable state invariant separating …

国家现代化建设和运行高度依赖重大基础设施, 相应安全问题成为国家安全的核心要素之一;
非核强电磁脉冲源生成技术逐步成熟并朝着普及化, 隐蔽化方向发展, 已成为重大基础设施的 …

In this study, we have applied a mean-field synchronization approach to a network of
dynamic agents. We consider a network of connecting agents whose positions are affected …

High-altitude electromagnetic pulse (HEMP) has the competence to produce extensive and
even eternal disruption when interacting with modern power grid. In order to provide a better …

Knowing which nodes are influential in a complex network and whether the network can be
influenced by a small subset of nodes is a key part of network analysis. However, many …

The present research focuses on the transient stability of power systems embedded with a
high penetration of converter-interfaced generation (CIG). It is investigated that under large …

This article is concerned with the frequency synchronization of heterogeneous second-order
forced Kuramoto oscillator networks. Under this model, each second-order oscillator is …