-
作者：Ma, Ziyue; Tong, Yin; Yin, Xiang
作者单位：Xidian University; Zhejiang University; Southwest Jiaotong University; Shanghai Jiao Tong University; Shanghai Jiao Tong University
摘要：In this article, we study the problem of verifying resilient opacity in discrete-event systems in the presence of dynamic sensor attacks. The system contains several secret states, each assigned a secret level. The system is vulnerable to sensor-enabling attacks by potential intruders: such attacks allow the intruder to make certain originally unobservable events temporarily observable. We propose the notion of resilient current-state opacity (R-CSO), which is a property that ensures an intrud...
-
作者：Samari, Behrad; Nejati, Amy; Lavaei, Abolfazl
作者单位：Newcastle University - UK
摘要：This article offers a data-driven divide-and-conquer strategy to analyze large-scale interconnected networks, characterized by both unknown mathematical models and interconnection topologies. Our data-driven scheme treats an unknown network as an interconnection of individual agents (a.k.a. subsystems) and aims at constructing their symbolic models, referred to as discrete-domain representations of unknown agents, by collecting data from their trajectories. The primary objective is to synthesi...
-
作者：Zuo, Huang; Tao, Jie; Lin, Ming; Zhao, Yao; Liu, Yong-Hua; Lu, Renquan; Su, Chun-Yi
作者单位：Guangdong University of Technology; Guangdong University of Technology
摘要：This article investigates the control problem of uncertain nonlinear systems subject to both hard and soft output constraints. The hard safety constraint is treated as strictly inviolable, whereas the prescribed tracking performance is formulated as an adjustable soft constraint. When conflicts arise between these constraints, two direct real-time soft-boundary modification strategies are proposed to ensure strict compatibility with the hard constraint, in contrast to existing approaches that ...
-
作者：van den Eijnden, Sebastiaan J. A. M.; Heertjes, Marcel F.; Nijmeijer, Henk; Heemels, W. P. M. H.
作者单位：Eindhoven University of Technology
摘要：The notion of incremental stability provides a powerful tool for the analysis and design of nonlinear systems. This article is concerned with establishing incremental stability properties for a class of discontinuous dynamical systems that are formed by the feedback interconnection of a linear time-invariant plant (possibly including linear control elements) and a first-order projection-based element. This class of control systems has received a lot of attention due to its abilities to overcom...
-
作者：Behrendt, Gabriel; Bell, Zachary I.; Hale, Matthew
作者单位：University System of Georgia; Georgia Institute of Technology
摘要：Existing works on multiagent time-varying optimization allow agents to asynchronously communicate and/or compute, but do not allow asynchronous sampling of objectives. Sampling can be difficult to synchronize, and we therefore present a multiagent optimization framework that allows asynchrony in sampling, communications, and computations for time-varying quadratic programs. We show that agents have bounded error when tracking the solution to the asynchronously sampled problem, which solves an ...
-
作者：Zheng, Yiwei; Lai, Aiwen; Lan, Weiyao; Yu, Xiao; Su, Rong
作者单位：Xiamen University; Xiamen University; Xiamen University; Nanyang Technological University
摘要：This article focuses on the problem of enforcing weighted opacity for interval weighted automata, a more general class of one-clock automata, in which the transition costs are allowed to be within an interval. The objective is to develop a supervisor synthesis algorithm such that the controlled system is enforced to be weighted opaque, that is, no weighted observation can lead to the exposure of specified states. First, we propose the tree of unobservable reach to synthesize the minimal full s...
-
作者：Liang, Lidan; Cui, Shaoxuan; Liu, Fangzhou
作者单位：Harbin Institute of Technology; University of Groningen
摘要：Recent research on epidemic processes has revealed the limitations of traditional networks, which capture only pairwise relationships, to characterize complex multiparty relationships and group influences properly. Epidemic processes on higher order networks (simplicial complexes and general hypergraphs) have therefore emerged as a novel frontier. In this work, we investigate discrete-time susceptible-infected-susceptible (SIS) contagion processes occurring on weighted and directed hypergraphs...
-
作者：Guin, Soumyajit; Borkar, Vivek S.; Bhatnagar, Shalabh
作者单位：Indian Institute of Science (IISC) - Bangalore; Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Bombay
摘要：In this article, we consider the risk-sensitive cost criterion with exponentiated costs for Markov decision processes and develop a model-free policy gradient algorithm in this setting. Unlike additive cost criteria, such as average or discounted cost, the risk-sensitive cost criterion is less studied due to the complexity resulting from the multiplicative structure of the resulting Bellman equation. We develop an actor-critic algorithm with function approximation in this setting and provide i...
-
作者：Qiu, Hongling; Shen, Jun; Gong, Xin
作者单位：Nanjing University of Aeronautics & Astronautics; Southeast University - China
摘要：This article explores semiglobal positive stabilization of discrete-time compartmental systems using saturated linear feedback. For compartmental systems with positive stabilizability and irreducible system matrix, a parameterized linear feedback is determined using linear programming, which makes the closed loop without saturation constraints nonnegative, compartmental, and Schur stable. Furthermore, this linear feedback achieves the semiglobal stabilization of the system subject to actuator ...
-
作者：Wang, Hongxia; Xu, Yeming; Guo, Ziyuan; Zhang, Huanshui
作者单位：Shandong University of Science & Technology; Shandong University
摘要：By converting optimization problems into optimal control problems, where the updated size of each iteration is the control input, and the control objective is to design the current control input to minimize the sum of the original objective function and the updated size for the future time instant, the optimization algorithm is proposed and updates almost along the optimal state trajectory. Intuitively, it converges rapidly and stably. We concentrate on stringently analyzing its convergence an...
