-
作者：Ohtsuka, Tomofumi; Cai, Kai; Kashima, Kenji
作者单位：Kyoto University; Osaka Metropolitan University
摘要：In this article, we develop a data-driven approach for supervisory control of discrete-event systems (DES). We consider a setup in which models of DES to be controlled are unknown, but a set of data concerning the behaviors of DES is available. We propose a new concept of data-informativity, which captures the notion that the available dataset contains sufficient information such that a valid supervisor may be constructed for a family of DES models that all can generate the dataset. We then ch...
-
作者：Basile, Francesco; Calce, Enrica; De Tommasi, Gianmaria
作者单位：University of Salerno
摘要：Opacity is a property of discrete event systems that allows to hide a secret from external observers. If the secret is the system initial state, then the related opacity problem is referred to as initial state opacity (ISO). The problem of ISO verification is usually approached at a logical level, by taking into account only the order of event occurrences. However, if the timing structure of the system is known, then opacity analysis can be refined. This article contributes to this line of res...
-
作者：Bianchin, Gianluca; Van Scoy, Bryan
作者单位：Universite Catholique Louvain; University System of Ohio; Miami University
摘要：Time-varying optimization problems are central to many engineering applications, where performance metrics and system constraints evolve dynamically with time. Several methods have been proposed in literature to address these problems; a common feature among them is their implicit reliance on prior knowledge of the temporal variability of the optimizers. In this article, we provide a fundamental characterization of this property: we show that an algorithm can track time-varying optimizers if a...
-
作者：Liu, Zishun; Jafarpour, Saber; Chen, Yongxin
作者单位：University System of Georgia; Georgia Institute of Technology; University of Colorado System; University of Colorado Boulder; University System of Georgia; Georgia Institute of Technology
摘要：We address the problem of safety verification for nonlinear stochastic systems, specifically the task of certifying system trajectories remain within a safe set with high probability. To tackle this challenge, we adopt a set-erosion strategy, which decouples the effects of stochastic disturbances from deterministic dynamics. This approach converts the stochastic safety verification problem on a safe set into a deterministic safety verification problem on an eroded subset of the safe set. The s...
-
作者：Boughellaba, Mouaad; Berkane, Soulaimane; Tayebi, Abdelhamid
作者单位：Lakehead University; University of Quebec; University Quebec Outaouais
摘要：In this article, we address the problem of attitude synchronization for a group of rigid body systems evolving on SO(3). The interaction among these systems is modeled through an undirected, connected, and acyclic graph topology. First, we present an almost global continuous distributed attitude synchronization scheme with rigorously proven stability guarantees. Thereafter, we propose two global distributed hybrid attitude synchronization schemes on SO(3). The first scheme is a hybrid control ...
-
作者：Ren, Zihao; Wang, Lei; Yi, Xinlei; Wang, Xi; Yuan, Deming; Yang, Tao; Wu, Zhengguang; Shi, Guodong
作者单位：Zhejiang University; Tongji University; University of New South Wales Sydney; Nanjing University of Science & Technology; Northeastern University - China; University of Sydney
摘要：Several data compressors have been proposed in distributed optimization frameworks of network systems to reduce communication overhead in large-scale applications. In this article, we demonstrate that effective information compression may occur over time or space during sequences of node communications in distributed algorithms, leading to the concept of spatio-temporal compressors. This abstraction classifies existing compressors and inspires new compressors as spatio-temporal compressors, wi...
-
作者：Richardson, Carl R.; Turner, Matthew C.; Gunn, Steve R.
作者单位：University of Oxford; University of Southampton
摘要：This article considers the interconnection of a continuous time linear time-invariant system and a multivariable magnitude nonlinearity. A number of different quadratic constraints are established for the magnitude nonlinearity and then used to derive stability criteria based on quadratic and Lurie-type Lyapunov functions. The new stability criteria are cast as matrix inequalities and in some cases solved using semidefinite programming. Connections are made between the magnitude nonlinearity a...
-
作者：Woolcock, Luke; Schmid, Robert
作者单位：University of Melbourne
摘要：The stability of interconnected linear time-invariant systems using singular values and the small-gain theorem has been studied for many decades. The methods of $\mu$-analysis and synthesis have been extensively developed to provide robustness guarantees for a plant subject to structured perturbations, with components in the structured perturbation satisfying a bound on their largest singular value. Recent results on phase-based stability measures have led to a counterpart of the small-gain th...
-
作者：Du, Bin; Qian, Kun; Claudel, Christian; Sun, Dengfeng
作者单位：Nanjing University of Aeronautics & Astronautics; University of Texas System; University of Texas Austin; Purdue University System; Purdue University
摘要：This note proposes to leverage the emerging learning techniques to devise a multiagent online source seeking algorithm under unknown environments. Of particular significance in our problem setups are: first, the underlying environment is not only unknown, but dynamically changing and also perturbed by two types of nonstochastic disturbances, and second, a group of agents is deployed and expected to cooperatively seek as many sources as possible. Correspondingly, a new technique of the discount...
-
作者：Mohapatra, Partha Sarathi; Reddy, Puduru Viswanadha; Zaccour, Georges
作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Madras; Universite de Montreal; Universite de Montreal; HEC Montreal
摘要：In this article, we study a class of two-player deterministic finite-horizon difference games with coupled inequality constraints, where each player has two types of decision variables: one involving sequential interactions and the other simultaneous interactions. We refer to this class of games as quasi-hierarchical dynamic games and define a solution concept called the feedback Stackelberg-Nash (FSN) equilibrium. Under separability assumption on cost functions, we provide a recursive formula...
