-
作者：Ran, Ning; Wu, Zhengguang; Zhang, Shaokang; He, Zhou; Seatzu, Carla
作者单位：Hebei University; Zhejiang University; Hebei University; Shaanxi University of Science & Technology; University of Cagliari
摘要：This article focuses on a fundamental problem on information security of bounded labeled Petri nets: noninterference analysis. As in hierarchical control, we assume that a system is observed by users at different levels, namely, high-level users and low-level users. The output events produced by the firing of transitions are also partitioned into high-level output events and low-level output events. In general, high-level users can observe the occurrence of all the output events, while low-lev...
-
作者：Refosco, Pietro A.; Edwards, Christopher; Papageorgiou, Dimitrios
作者单位：Technical University of Denmark; University of Exeter
摘要：This study investigates the behavior of super-twisting sliding-mode control loops that are subject to a class of bounded-rate perturbations when the established conditions for finite-time stability (FTS) do not hold. The motivation for this consideration is that oftentimes imposing the FTS conditions, i.e., requiring that the integral gain of the controller be larger than the total perturbation derivative, can be very restrictive in relation to actuator limitations. It is proven that under mil...
-
作者：Li, Xu; Li, Xu-Guang; Zhang, Lu; Chen, Jun-Xiu
作者单位：Nanjing University of Posts & Telecommunications; Northeastern University - China; Northeastern University - China; Northeastern University - China; Dalian Polytechnic University
摘要：The frequency-sweeping approach is an important and well-known tool for stability analysis of time-delay systems with commensurate delays. However, when it is used to detect critical imaginary roots (CIRs), the accuracy is regarded to be highly related to the numerical grid for sweeping the frequency axis. To the best of the authors' knowledge, the characterization of CIRs for most reported approaches has not reached a completely algebraic level. In this article, we introduce a polynomial alge...
-
作者：Verges, Fortia V.; Fragoso, Marcelo D.; Costa, Oswaldo Luiz do Valle
作者单位：Laboratorio Nacional de Computacao Cientifica (LNCC); Universidade de Sao Paulo
摘要：The purpose of this article is to derive an optimal linear filter and its associated stationary filter for hidden phase-type (PH) semi-Markov models. We formulate the PH semi-Markov model as an equivalent Markov process with two components, the first one representing the mode of the semi-Markov process, and the second one associated with the transient states (phases). It is worth mentioning that PH distributions can approximate (in the weak convergence sense) any distribution with nonzero dens...
-
作者：Li, Yudong; Cong, Yirui; Zhou, Xiangyun; Dong, Jiuxiang
作者单位：Northeastern University - China; Northeastern University - China; National University of Defense Technology - China; Australian National University
摘要：This article studies the optimal set-membership smoothing (SMSing) problem for the system with bounded noises. By adopting the mathematical concept of uncertain variables, an optimal SMSing framework is established for the first time. This optimal framework reveals the principles of SMSing and the relationship between set-membership filtering and smoothing. Based on the design principles, we put forward two SMSing algorithms: one for linear systems with zonotopic constrained uncertainties, whe...
-
作者：Wu, Ai-Guo; Shen, Shi-Long; Zhang, Jie; Mei, Jie
作者单位：Harbin Institute of Technology; Southern University of Science & Technology
摘要：In this article, the model reduction approach is investigated for discrete-time linear coupled systems with input delays. For this purpose, a new class of fundamental matrices is presented for state response analysis of this kind of systems. In order to characterize the effect of all initial values, this new fundamental matrix is defined in terms of two independent variables, and thus is called the bivariate fundamental matrix. Besides, some interesting properties of bivariate fundamental matr...
-
作者：Gopalan, Aditya; Thoppe, Gugan
作者单位：Indian Institute of Science (IISC) - Bangalore; Indian Institute of Science (IISC) - Bangalore
摘要：A primary requirement for any reinforcement learning method is that it should produce policies that improve upon the initial guess. In this work, we show that the widely used deep Q-network (DQN) fails to satisfy this minimal criterion-even when it gets to see all possible states and actions infinitely often (a condition under which tabular Q-learning is guaranteed to converge to the optimal Q-value function). Our specific contributions are twofold. First, we numerically show that DQN often re...
-
作者：Nakahira, Yorie; Xiao, Fangzhou; Kostina, Victoria; Doyle, John C.
作者单位：Carnegie Mellon University; Westlake University; California Institute of Technology
摘要：This article focuses on rate-limited control of the generalized Ornstein-Uhlenbeck process where the control action can be either multiplicative or additive, and the noise variance can depend on the control action. We derive a lower bound on the data rate necessary to achieve the desired control cost. The lower bound is attained with equality if the control is performed via an additive white Gaussian channel. The system model approximates the dynamics of a discrete-state molecular birth-death ...
-
作者：Qiu, Haohao; Fan, Chenchen; Xu, Feng; Lam, James
作者单位：University of Hong Kong; Hong Kong Polytechnic University; Tsinghua University; The University of Hong Kong Shenzhen Institute of Research & Innovation
摘要：A multiagent trajectory optimization method for differentially flat systems under the effect of uncertainties is proposed. Multiagent and obstacle collision avoidance constraints, incorporating reachable sets of tracking errors, are formulated as dynamic reachability constraints. Based on exact feedback linearization, a flat system is presented in Brunovsky canonical form, along with a linear tracking error system. The reachability of tracking errors is then analyzed using set propagation tech...
-
作者：Chen, Jin; Villar, Jesus Bautista; Jayawardhana, Bayu; de Marina, Hector Garcia
作者单位：Shanghai Jiao Tong University; University of Granada; University of Granada; University of Groningen
摘要：In this article, we introduce and develop the concept of dispersion formation control, bridging a gap between shape assembly studies in physics and biology and formation control theory. In current formation control studies, the control objectives typically focus on achieving desired local geometric properties, such as interagent distances, bearings, or relative positions. In contrast, our dispersion formation control approach enables agents to directly regulate the dispersion of their spatial ...
