-
作者：Ramos, Guilherme; Aguiar, Antonio Pedro; Kar, Soummya; Pequito, Sergio
作者单位：Universidade de Lisboa; Instituto de Telecomunicacoes; Universidade do Porto; Carnegie Mellon University; Uppsala University
摘要：Average consensus protocols play a central role in distributed systems and decision-making, such as distributed information fusion, distributed optimization, distributed estimation, and control. A key advantage of these protocols is that agents exchange and reveal their state information only to their neighbors. In its basic form, the goal of average consensus protocols is to compute an aggregate such as the average of network data; however, existing protocols could lead to leakage of individu...
-
作者：Ran, Ning; Nie, Jingyao; Meng, Aiwen; Seatzu, Carla
作者单位：Hebei University; University of Cagliari
摘要：In this article, we deal with two problems related to security and privacy of bounded Petri nets, namely, noninterference analysis and enforcement. A system could be monitored by different types of users, high-level and low-level users, who have access to different information even if both know the structure of the system. Low-level users can observe only the occurrence of a subset of events. On the contrary, high-level users can observe the occurrence of all the events affecting the system dy...
-
作者：Goreac, Dan; Rapaport, Alain
作者单位：Shandong University; Laval University; Centre National de la Recherche Scientifique (CNRS); Universite Paris-Est-Creteil-Val-de-Marne (UPEC); INRAE; Universite de Montpellier
摘要：We consider optimal control problems which consist in minimizing the L-infinity norm of an output function under an isoperimetric or L-1 inequality. These problems typically arise in control applications when one looks to minimizing the maximum trajectory deviation or peak under a budget constraint. We show a duality with more classical problems which amount to minimizing the L-1 cost under the state constraint given by an upper bound on the L-infinity norm of the output. More precisely, we pr...
-
作者：Kawano, Yu; Forni, Fulvio
作者单位：Hiroshima University; University of Cambridge
摘要：We discuss the role of monotonicity in enabling numerically tractable modular control design for networked nonlinear systems. We first show that the variational systems of monotone systems can be embedded into positive systems. Utilizing this embedding, we show how to solve a network stabilization problem by enforcing monotonicity and exponential dissipativity of the network subcomponents. Such modular approach leads to a design algorithm based on a sequence of linear programming problems.
-
作者：Oura, Ryohei; Ushio, Toshimitsu; Sakakibara, Ami
作者单位：University of Osaka
摘要：In this article, we consider supervisory control of stochastic discrete event systems (SDESs) under linear temporal logic specifications. Applying the bounded synthesis, we reduce the supervisory synthesis to the problem of satisfying a safety condition. First, we consider a directed controller that allows at most one controllable event to be enabled. We assign a negative reward to the unsafe states and introduce an expected return with a state-dependent discount factor. We compute a winning r...
-
作者：Zhang, Runyu; Ren, Zhaolin; Li, Na
作者单位：Harvard University
摘要：In this article, we study the performance of the gradient play algorithm for stochastic games (SGs), where each agent tries to maximize its own total discounted reward by making decisions independently based on current state information, which is shared between agents. Policies are directly parameterized by the probability of choosing a certain action at a given state. We show that Nash equilibria (NEs) and first-order stationary policies are equivalent in this setting, and give a local conver...
-
作者：Lv, Xinyu; Niu, Yugang; Lam, James
作者单位：East China University of Science & Technology; University of Hong Kong
摘要：In this article, under limited communication resources, the sliding mode control problem is investigated for 2-D the second Fornasini-Marchesini systems with one finite-interval direction. A two-index-based event-triggered scheme is proposed to avert unnecessary signal transmissions from sensors to the controller. According to the finite-interval bound and the previous access node, a channel scheduling mechanism is established to periodically orchestrate the communication between controller an...
-
作者：Arnstrom, Daniel; Broman, David; Axehill, Daniel
作者单位：Uppsala University; Royal Institute of Technology; Linkoping University
摘要：We propose the first method that determines the exact worst-case execution time (WCET) for implicit linear model predictive control (MPC). Such WCET bounds are imperative when MPC is used in real time to control safety-critical systems. The proposed method applies when the quadratic programming solver in the MPC controller belongs to a family of well-established active-set solvers. For such solvers, we leverage a previously proposed complexity certification framework to generate a finite set o...
-
作者：Zhao, Dongdong; Kang, Yu; Zhao, Yun-Bo; Xu, Li; Yan, Shi
作者单位：Lanzhou University; Chinese Academy of Sciences; University of Science & Technology of China, CAS; Akita Prefectural University
摘要：The notion of constrained common invariant subspaces (CCISs) is proposed in this article as a generalization of the well-known invariant subspace to study the structural properties of multiple matrices. Specifically, some necessary and sufficient conditions for the existence of a CCIS are established to provide a methodology to compute such a CCIS. Then, the properties of CCISs and their relation to common eigenvectors are revealed. The existence of common eigenvectors leads to the existence o...
-
作者：Jungers, Marc; Shakib, Mohammad Fahim; van de Wouw, Nathan
作者单位：Universite de Lorraine; Centre National de la Recherche Scientifique (CNRS); Imperial College London; Eindhoven University of Technology
摘要：The convergence property of discrete-time nonlinear systems is studied in this article. The main result provides a Lyapunov-like characterization of the convergence property based on two distinct Lyapunov-like functions. These two functions are associated with the incremental stability property and the existence of a compact positively invariant set, which together guarantee the existence of a well-defined, bounded, and unique steady-state solution. The links with the conditions available in r...
