-
作者：Sakakibara, Ami; Urabe, Natsuki; Ushio, Toshimitsu
作者单位：Sapienza University Rome; University of Osaka; Max Planck Society
摘要：In this article, we study a supervisory control problem under a constraint on memory size as well as a constraint described by a class of quantitative linear temporal logic, which enables us to consider how well the specification is satisfied. Our control objective is to design a finite-memory supervisor such that the satisfaction value of the specification formula on the controlled system is larger than or equal to a given threshold. We adopt a Safraless synthesis methodology and reduce the p...
-
作者：Zhang, Jinhui; Wu, Zheng-Guang; Xia, Yuanqing
作者单位：Beijing Institute of Technology; Zhejiang University; Chengdu University
摘要：In this article, the compositedisturbance rejection control approach is established for discrete-time Markovian jump systems with unknown external disturbance. With the transformed system in the regular form, a new mode-dependent disturbance observer is proposed to estimate the unknown disturbance in the absence of the exosystem of the disturbance. Then, the chattering-free controller is designed in the backstepping framework, and the disturbance estimate is incorporated to achieve active dist...
-
作者：[Anonymous]
摘要：Prospective authors are requested to submit new, unpublished manuscripts for inclusion in the upcoming event described in this call for papers.
-
作者：Schuermann, Bastian; Klischat, Moritz; Kochdumper, Niklas; Althoff, Matthias
作者单位：Technical University of Munich
摘要：Ensuring safety is crucial for the successful deployment of autonomous systems, such as self-driving vehicles, unmanned aerial vehicles, and robots acting close to humans. While there exist many controllers that optimize certain criteria, such as energy consumption, comfort, or low wear, they are usually not able to guarantee safety at all times for constrained nonlinear systems affected by disturbances. Many controllers providing safety guarantees, however, have no optimal performance. The id...
-
作者：Shang, Jun; Yu, Hao; Chen, Tongwen
作者单位：University of Alberta
摘要：With the wide application of cyber-physical systems, stealthy attacks on remote state estimation have attracted increasing research attention. Recently, various stealthy innovation-based linear attack models were proposed, in which the relaxed stealthiness constraint was based on the Kullback-Leibler divergence. This article studies existing innovation-based linear attack strategies with relaxed stealthiness and concludes that all of them provided merely suboptimal solutions. The main reason i...
-
作者：Chen, Hongwei; Wang, Zidong; Shen, Bo; Liang, Jinling
作者单位：Donghua University; Brunel University; Southeast University - China
摘要：Sensor resolution, which is one of the most important parameters/specifications for almost all kinds of sensors, plays an important role in any signal processing problems. This article deals with the distributed filtering problem for a class of discrete time-varying stochastic systems subject to nonlogarithmic sensor resolution and stochastic nonlinearities. The soft measurement technique is exploited in the filter design to overcome the difficulties resulting from the sensor-resolution-induce...
-
作者：Yongacoglu, Bora; Arslan, Gurdal; Yuksel, Serdar
作者单位：Queens University - Canada; University of Hawaii System
摘要：Stochastic dynamic teams and games are rich models for decentralized systems and challenging testing grounds for multiagent learning. Previous work that guaranteed team optimality assumed stateless dynamics, or an explicit coordination mechanism, or joint-control sharing. In this article, we present an algorithm with guarantees of convergence to team optimal policies in teams and common interest games. The algorithm is a two-timescale method that uses a variant of Q-learning on the finer times...
-
作者：Oliva, Gabriele; Rikos, Apostolos, I; Gasparri, Andrea; Hadjicostis, Christoforos N.
作者单位：University Campus Bio-Medico - Rome Italy; Royal Institute of Technology; Roma Tre University; University of Cyprus
摘要：In this article, we propose a distributed negotiation framework that allows a set of cooperative agents to find a common ground with their neighbors while attempting to modify their initial opinion by the least possible amount. Based on such a framework, we develop a distributed agreement approach where the effort spent in the local agreement reflects the relevance of the agents in a weighted consensus process. In particular, we assume that players whose ideas happen to satisfactory mediate th...
-
作者：Taylor, Josh A.; Rapaport, Alain; Dochain, Denis
作者单位：University of Toronto; INRAE; Institut Agro; Universite de Montpellier; Universite Catholique Louvain
摘要：We optimize a general model of bioprocesses, which is nonconvex due to the microbial growth in the biochemical reactors. We formulate a convex relaxation and give conditions guaranteeing its exactness in both the transient and steady-state cases. When the growth kinetics are modeled by the Contois or, under constant biomass, Monod or Powell functions, the relaxation is a second-order cone program, which can be solved efficiently at large scales. We implement the model on a numerical example ba...
-
作者：Zhang, Hai-Tao; Cao, Haosen; Chen, Zhiyong
作者单位：Huazhong University of Science & Technology; University of Newcastle
摘要：A directed acyclic graph (DAG) is a common topology in biological, engineering, and social networks. A network topology is critical in determining a collective behavior of a network dynamic system. For example, the convergence rate of a consensus behavior in a multiagent system relies on the eigenvalues of the Laplacian associated with the network topology. This article aims to analyze the influence of adding a reverse edge into a DAG on convergence rate. It reveals the existence of the so-cal...
