-
作者：Pakniyat, Ali; Caines, Peter E.
作者单位：University System of Georgia; Georgia Institute of Technology; McGill University
摘要：The hybrid minimum principle is presented for the optimal control of deterministic hybrid systems with both autonomous and controlled switchings and jumps where state jumps at the switching instants are permitted to be accompanied by changes in the dimension of the state space. A feature of particular importance is the explicit presentation of the boundary conditions on the Hamiltonians and the adjoint processes before and after switchings and jumps. The numerical benefit of these expressions ...
-
作者：Haesaert, Sofie; Chen, Fei; Abate, Alessandro; Weiland, Siep
作者单位：Eindhoven University of Technology; Royal Institute of Technology; University of Oxford
摘要：The control and verification of industrial processes, modeled as discrete-time descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations. In this article, we introduce a new control synthesis method for descriptor systems which is based on formal abstractions and enables control design over related reduced-order models. We leverage notions of exact and approximate similarity relations, which hold for the algebraic couplings that ...
-
作者：Mousavi, Shima Sadat; Haeri, Mohammad; Mesbahi, Mehran
作者单位：Sharif University of Technology; Swiss Federal Institutes of Technology Domain; ETH Zurich; University of Washington; University of Washington Seattle
摘要：In this article, we examine the controllability of Laplacian dynamic networks on cographs. Cographs appear in modeling a wide range of networks and include as special instances, the threshold graphs. In this article, we present necessary and sufficient conditions for the controllability of cographs, and provide an efficient method for selecting a minimal set of input nodes from which the network is controllable. In particular, we define a sibling partition in a cograph and show that the networ...
-
作者：Kolarijani, Mohamad Amin Sharifi; Proskurnikov, Anton, V; Esfahani, Peyman Mohajerin
作者单位：Delft University of Technology; Polytechnic University of Turin
摘要：In this article, we study the nonlinear Fokker-Planck (FP) equation that arises as a mean-field (macroscopic) approximation of bounded confidence opinion dynamics, where opinions are influenced by environmental noises and opinions of radicals (stubborn individuals). The distribution of radical opinions serves as an infinite-dimensional exogenous input to the FP equation, visibly influencing the steady opinion profile. We establish mathematical properties of the FP equation. In particular, we, ...
-
作者：Zhou, Xinyang; Farivar, Masoud; Liu, Zhiyuan; Chen, Lijun; Low, Steven H.
作者单位：United States Department of Energy (DOE); National Renewable Energy Laboratory - USA; University of Colorado System; University of Colorado Boulder; California Institute of Technology; Alphabet Inc.; Google Incorporated
摘要：The increasing penetration of renewable and distributed energy resources in distribution networks calls for real-time and distributed voltage control. In this article, we investigate local Volt/VAR control with a general class of control functions, and show that the power system dynamics with nonincremental local voltage control can be seen as a distributed algorithm for solving a well-defined optimization problem (reverse engineering). The reverse engineering further reveals a fundamental lim...
-
作者：Lai, Aiwen; Lahaye, Sebastien; Giua, Alessandro
作者单位：Universite d'Angers; University of Cagliari
摘要：In this article, we deal with the detectability problem for unambiguous weighted automata (UWAs). The problem is to determine if, after a finite number of observations, the set of possible states is reduced to a singleton. Four types of detectabilities, namely, strong detectability, detectability, strong periodic detectability, and periodic detectability are defined in terms of different requirements for current state estimation. We first construct a deterministic finite state automaton (calle...
-
作者：Niu, Luyao; Fu, Jie; Clark, Andrew
作者单位：Worcester Polytechnic Institute
摘要：Temporal logic provides a rigorous and expressive way to model specifications for cyber-physical systems (CPS). Such systems, which are playing increasingly important roles in various domains, are also subject to malicious attacks initiated by intelligent adversaries. Malicious attacks may prevent the system from satisfying the desired specification. In this article, we introduce a control synthesis method to minimize deviations from the desired specification due to adversaries. We consider th...
-
作者：Wang, Bohui; Chen, Weisheng; Wang, Jingcheng; Zhang, Bin; Shi, Peng
作者单位：Xidian University; Shanghai Jiao Tong University; Xi'an Technological University; University of South Carolina System; University of South Carolina Columbia; University of Adelaide; Victoria University
摘要：This article proposes a multiple saturation levels framework to investigate the semiglobal tracking cooperative control problem of multiagent systems with switching communication topologies. This problem is solving by proposing a switching parametric Lyapunov approach and constructing a three-layer nodes model with mirroring nodes to reduce the complexity of controller design in which control inputs for different layers of nodes are with different saturation levels. A metamorphic low-gain feed...
-
作者：Wang, Jun-Wei; Wang, Jun-Min
作者单位：University of Science & Technology Beijing; Beijing Institute of Technology
摘要：This article employs the observer-based output feedback control technique to deal with dynamic compensator design for a linear N-D parabolic partial differential equation (PDE) with multiple local piecewise control inputs and multiple non-collocated local piecewise observation outputs. These control inputs and observation outputs are provided by only few actuators and noncollocated sensors active over partial areas (or entire) of the spatial domain. An observer-based dynamic feedback compensat...
-
作者：Rikos, Apostolos, I; Hadjicostis, Christoforos N.
作者单位：Royal Institute of Technology; University of Cyprus
摘要：We study the distributed average consensus problem in multiagent systems with directed communication links that are subject to quantized information flow. The goal of distributed average consensus is for the nodes, each associated with some initial value, to obtain the average (or some value close to the average) of these initial values. In this article, we present and analyze a novel distributed averaging algorithm that operates exclusively on quantized values (specifically, the information s...
