3期

最新文章

• State Estimation of Timed Automata Under Partial Observation AI翻译
  作者：Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
  作者单位：Xidian University; University of Cagliari; Universite Le Havre Normandie; Macau University of Science & Technology
  摘要：In this article, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In addition, a resetting condition associated to a transition specifies how the clock value is updated upon its occurrence. This work deals with the estimation of the current state given a timed observation, i.e., a succession of pairs of an observable event and the time instant at which the event has occ...
• Error-Free Approximation of Explicit Linear MPC Through Lattice Piecewise Affine Expression AI翻译
  作者：Xu, Jun; Lou, Yunjiang; De Schutter, Bart; Xiong, Zhenhua
  作者单位：Harbin Institute of Technology; Delft University of Technology; Shanghai Jiao Tong University
  摘要：In this article, the disjunctive and conjunctive lattice piecewise affine (PWA) approximations of explicit linear model predictive control (MPC) are proposed. Training data consisting of states and corresponding affine control laws are generated in a control invariant set, and redundant sample points are removed to simplify the construction of lattice PWA approximations. Resampling is proposed to guarantee the equivalence of lattice PWA approximations and optimal MPC control law at the sample ...
• State Estimation of Timed Automata Under Partial Observation AI翻译
  作者：Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
  作者单位：Xidian University; University of Cagliari; Universite Le Havre Normandie; Macau University of Science and Technology
  摘要：In this article, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In addition, a resetting condition associated to a transition specifies how the clock value is updated upon its occurrence. This work deals with the estimation of the current state given a timed observation, i.e., a succession of pairs of an observable event and the time instant at which the event has occ...
• Error-Free Approximation of Explicit Linear MPC Through Lattice Piecewise Affine Expression AI翻译
  作者：Xu, Jun; Lou, Yunjiang; De Schutter, Bart; Xiong, Zhenhua
  作者单位：Harbin Institute of Technology; Delft University of Technology; Shanghai Jiao Tong University
  摘要：In this article, the disjunctive and conjunctive lattice piecewise affine (PWA) approximations of explicit linear model predictive control (MPC) are proposed. Training data consisting of states and corresponding affine control laws are generated in a control invariant set, and redundant sample points are removed to simplify the construction of lattice PWA approximations. Resampling is proposed to guarantee the equivalence of lattice PWA approximations and optimal MPC control law at the sample ...
• State Estimation of Timed Automata Under Partial Observation AI翻译
  作者：Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
  作者单位：Xidian University; University of Cagliari; Universite Le Havre Normandie; Macau University of Science and Technology
  摘要：In this article, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In addition, a resetting condition associated to a transition specifies how the clock value is updated upon its occurrence. This work deals with the estimation of the current state given a timed observation, i.e., a succession of pairs of an observable event and the time instant at which the event has occ...
• Error-Free Approximation of Explicit Linear MPC Through Lattice Piecewise Affine Expression AI翻译
  作者：Xu, Jun; Lou, Yunjiang; De Schutter, Bart; Xiong, Zhenhua
  作者单位：Harbin Institute of Technology; Delft University of Technology; Shanghai Jiao Tong University
  摘要：In this article, the disjunctive and conjunctive lattice piecewise affine (PWA) approximations of explicit linear model predictive control (MPC) are proposed. Training data consisting of states and corresponding affine control laws are generated in a control invariant set, and redundant sample points are removed to simplify the construction of lattice PWA approximations. Resampling is proposed to guarantee the equivalence of lattice PWA approximations and optimal MPC control law at the sample ...
• Synchronization Acceleration of Networked Systems via Edge Addition to Single-Root Weighted Digraphs AI翻译
  作者：Cao, Haosen; Zhang, Hai-Tao; Xie, Lihua
  作者单位：Huazhong University of Science & Technology; Huazhong University of Science & Technology; Huazhong University of Science & Technology; Nanyang Technological University
  摘要：Distributed networked systems with Laplacian dynamics play a crucial role in various fields, such as engineering, biology, system science, social science, and physics. To optimize the synchronization performance of such networks, topological adjustments have been identified as effective and efficient ways. This article establishes a theoretical framework for accelerating synchronization convergence by introducing an additional directed edge or increasing edge weight to a network topology. The ...
• Safe Formation Control of Uncertain Multiagent Systems From a Bayesian Perspective AI翻译
  作者：Li, Boqian; Guo, Zhenyuan; Hu, Cheng; Zhu, Song; Wen, Shiping
  作者单位：University of Technology Sydney; Hunan University; Xinjiang University; China University of Mining & Technology
  摘要：In this study, we address the formation control of uncertain multiagent systems with a safety requirement of collision avoidance. The control inputs are determined through quadratic programming (QP) solvers, where both the control Lyapunov function condition and control barrier function condition serve as constraints in the QP problem to achieve the control and safety objectives, respectively. In this work, the Bayesian theorem plays a crucial role in two key aspects. First, the unknown uncert...
• Adaptive Formation Control of Multiagent Systems Based on Ratio-of-Distance Rigidity AI翻译
  作者：Wang, Yujie; Liu, Shuai; Xu, Haotian
  作者单位：Shandong University
  摘要：This article studies rigid formation control of multiagent systems with nonlinear uncertainties. Unlike most existing research, ratio-of-distance (RoD) rigidity theory is introduced, and nonlinear uncertainties are thoroughly discussed. Desired formation shapes are formulated by a special class of RoD-based rigid frameworks. This article considers how to design distributed adaptive control protocols to drive all agents to acquire and maintain desired formation shapes while simultaneously maneu...
• Stochastic Important-Data-Based Attack Power Allocation Against Remote State Estimation in Sensor Networks AI翻译
  作者：Tian, Engang; Fan, Mengge; Ma, Lifeng; Yue, Dong
  作者单位：University of Shanghai for Science & Technology; Nanjing University of Science & Technology; Nanjing University of Posts & Telecommunications
  摘要：In this article, a novel important-data-based (IDB) attack strategy and stochastic IDB attack power allocation scheme are proposed, from the attacker's perspective, to degrade the remote state estimation in sensor networks. The main feature of the proposed IDB attack is that, by intercepting the measurement output, the adversary can identify the important packets transmitting among sensing nodes, and by injecting more power to increase the attack success probability (ASP) of these packets, the...