-
作者：Bosso, Alessandro; Azzollini, Ilario A.; Baldi, Simone; Zaccarian, Luca
作者单位：University of Bologna; Southeast University - China; Universite de Toulouse; Centre National de la Recherche Scientifique (CNRS); University of Trento
摘要：A distributed controller is designed for the robust adaptive global phase synchronization of a network of uncertain second-order Kuramoto oscillators with a leader system, modeled as an autonomous nonlinear exosystem that communicates the reference signals only to a subset of the oscillators. We propose an adaptive strategy, only assuming knowledge of upper bounds on the unknown oscillators parameters, that exploits a hybrid hysteresis mechanism to obtain global synchronization despite the wel...
-
作者：Castro, Rafael S.; Salton, Aurelio T.; Fu, Minyue; Isidori, Alberto
作者单位：Universidade Federal do Rio Grande do Sul; Southern University of Science & Technology; Sapienza University Rome
摘要：This article addresses the problem of controlling a nonlinear plant subject to uniformly quantized measurements to have its output track and/or reject a family of signals produced by some external generator. First, conditions based on passivity and the theory of output regulation are devised to achieve convergence of the quantized error, namely, the difference between the quantized output and the (artificially) quantized reference. Then, further conditions on the reference are shown such that ...
-
作者：Cui, Leilei; Basar, Tamer; Jiang, Zhong-Ping
作者单位：New York University; New York University Tandon School of Engineering; University of Illinois System; University of Illinois Urbana-Champaign
摘要：This article proposes a novel robust reinforcement learning framework for discrete-time linear systems with model mismatch that may arise from the sim-to-real gap. A key strategy is to invoke advanced techniques from control theory. Using the formulation of the classical risk-sensitive linear quadratic Gaussian control, a dual-loop policy optimization algorithm is proposed to generate a robust optimal controller. The dual-loop policy optimization algorithm is shown to be globally and uniformly...
-
作者：Rakovic, Sasa V.; Zhang, Sixing
作者单位：Beijing Institute of Technology; Beijing Information Science & Technology University
摘要：This note revisits the equi-normalization process of robust positively invariant sets so as to enable its use for more general disturbance sets and to provide a systematic, dynamically compatible, and computationally inexpensive design of the collections of points that generate equi-normalized robust positively invariant sets.
-
作者：Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh; Zamani, Majid
作者单位：University of Stuttgart; University of Colorado System; University of Colorado Boulder; University of Munich
摘要：Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyber-physical systems-such as opacity, robustness, and noninterference-which cannot be expressed using linear time properties. This article presents for the first time a discretization-free approach for the formal verification of discrete-time dynamical systems against hyperproperties. The proposed approach involves th...
-
作者：Chen, Liyuan; Wen, Guanghui; Liu, Hongzhe; Yu, Wenwu; Cao, Jinde
作者单位：Southeast University - China; Southeast University - China; Ahlia University Bahrain
摘要：This article is devoted to addressing the distributed aggregative optimization (DAO) problem via compressed gradient tracking algorithms, where the cost function of each agent relies on the aggregation of other agents' decisions as well as its own decision. To this end, a new kind of the distributed aggregative gradient tracking algorithm with compression communication is developed based on the gradient tracking algorithm and the technique of communication compression. Under the scenario with ...
-
作者：de Andrade, Gustavo Artur; Vazquez, Rafael; Karafyllis, Iasson; Krstic, Miroslav
作者单位：Universidade Federal de Santa Catarina (UFSC); University of Sevilla; National Technical University of Athens; University of California System; University of California San Diego
摘要：While for coupled hyperbolic partial differential equations (PDEs) of first order, there now exist numerous PDE backstepping designs, systems with zero speed, i.e., without convection but involving infinite-dimensional ordinary differential equations (ODEs), which arise in many applications, from environmental engineering to lasers to manufacturing, have received virtually no attention. In this article, we introduce single-input boundary feedback designs for a linear 1-D hyperbolic system with...
-
作者：Duan, Peihu; Lv, Yuezu; Wen, Guanghui; Ogorzalek, Maciej
作者单位：Royal Institute of Technology; Beijing Institute of Technology; Southeast University - China; Jagiellonian University
摘要：How to realize high-level autonomy of individuals is one of the key technical issues to promote swarm intelligence of multiagent (node) systems with collective tasks, while the fully distributed design is a potential way to achieve this goal. This article works on the fully distributed state estimation and cooperative stabilization problem of linear time-invariant (LTI) plants with multiple nodes communicating over general directed graphs, and is aimed to provide a fully distributed framework ...
-
作者：Duan, Wei; Hadjicostis, Christoforos N.; Li, Zhiwu
作者单位：Xidian University; University of Cyprus; Macau University of Science & Technology
摘要：In this article, we investigate event concealment and concealability enforcement in discrete event systems modeled as nondeterministic finite automata under partial observation. Given a subset of secret events in a given system, concealability holds if the occurrences of all secret events remain hidden to a curious observer (an eavesdropper). When concealability of a system does not hold, we analyze how a defensive function, placed at the interface of the system with the eavesdropper, can be u...
-
作者：Alemzadeh, Siavash; Talebi, Shahriar; Mesbahi, Mehran
作者单位：University of Washington; University of Washington Seattle; Microsoft; Harvard University
摘要：Control of networked systems, comprised of interacting agents, is often achieved through modeling the underlying interactions. Constructing accurate models of such interactions-in the meantime-can become prohibitive in applications. Data-driven control methods avoid such complications by directly synthesizing a controller from the observed data. In this article, we propose an algorithm referred to as data-driven structured policy iteration (D2SPI), for synthesizing an efficient feedback mechan...
