2期

最新文章

• Cooperative Output Regulation of Linear Multiagent Systems: An Event-Triggered Adaptive Distributed Observer Approach AI翻译
  作者：Qian, Yang-Yang; Liu, Lu; Feng, Gang
  作者单位：City University of Hong Kong
  摘要：This article investigates the cooperative output regulation problem for heterogeneous linear multiagent systems by event-triggered control, where the system matrix of the exosystem is not available to all agents. First, an event-triggered adaptive distributed observer is designed for each agent to estimate both the state and the system matrix of the exosystem. Then, a fully distributed event-triggered dynamic output feedback control law is proposed for each agent. Meanwhile, a fully distribute...
• The Vulnerability of Cyber-Physical System Under Stealthy Attacks AI翻译
  作者：Sui, Tianju; Mo, Yilin; Marelli, Damian; Sun, Ximing; Fu, Minyue
  作者单位：Dalian University of Technology; Dalian University of Technology; Tsinghua University; Tsinghua University; Guangdong University of Technology; University of Newcastle
  摘要：In this article, we study the impact of stealthy attacks on the cyber-physical system (CPS) modeled as a stochastic linear system. An attack is characterised by a malicious injection into the system through input, output or both, and it is called stealthy (resp. strictly stealthy) if it produces bounded changes (resp. no changes) in the detection residue. Correspondingly, a CPS is called vulnerable (resp. strictly vulnerable) if it can be destabilized by a stealthy attack (resp. strictly steal...
• Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems AI翻译
  作者：Bisoffi, Andrea; Dimarogonas, Dimos V.
  作者单位：Royal Institute of Technology
  摘要：In this article, we formulate the problem of satisfying a linear temporal logic formula on a linear plant with output feedback, through a recent hybrid systems formalism. We relate this problem to the notion of recurrence introduced for the considered formalism, and we then extend Lyapunov-like conditions for recurrence of an open, unbounded set. One of the proposed relaxed conditions allows certifying recurrence of a suitable set, and this guarantees that the high-level evolution of the plant...
• Time Synchronization Attack and Countermeasure for Multisystem Scheduling in Remote Estimation AI翻译
  作者：Guo, Ziyang; Ni, Yuqing; Wong, Wing Shing; Shi, Ling
  作者单位：Hong Kong University of Science & Technology; Chinese University of Hong Kong
  摘要：We consider time synchronization attack against multisystem scheduling in a remote state estimation scenario where a number of sensors monitor different linear dynamical processes and schedule their transmissions through a shared collision channel. We show that by randomly injecting relative time offsets on the sensors, the malicious attacker is able to make the expected estimation error covariance of the overall system diverge without any system knowledge. For the case that the attacker has f...
• Misspecified and Asymptotically Minimax Robust Quickest Change Diagnosis AI翻译
  作者：Molloy, Timothy L.
  作者单位：Queensland University of Technology (QUT); University of Melbourne
  摘要：The problem of quickly diagnosing an unknown change in a stochastic process is studied. We establish novel bounds on the performance of misspecified diagnosis algorithms designed for changes that differ from those of the process, and pose and solve a new robust quickest change diagnosis problem in the asymptotic regime of few false alarms and false isolations. Simulations suggest that our asymptotically robust solution offers a computationally efficient alternative to generalised likelihood ra...