-
作者：Ran, Ning; Hao, Jinyuan; Seatzu, Carla
作者单位：Hebei University; Hebei University; University of Cagliari
摘要：In this article, we deal with two problems related to bounded labeled Petri nets (PNs), namely prognosability analysis and enforcement. The solution we propose is based on a single tool, called prognosability verifier. Such a tool uses the notion of basis marking that avoids the exhaustive enumeration of all the reachable markings. This leads to advantages in terms of computational complexity that may be enormous in certain real applications. Finally, the enforcement problem can be solved asso...
-
作者：Schluter, Nils; Darup, Moritz Schulze
作者单位：Dortmund University of Technology
摘要：In this article, we show that linear dynamic controllers with integer coefficients are usually unstable. In fact, asymptotic stability can only be achieved if all controller eigenvalues are equal to zero. Moreover, for a fixed controller order, there exist only finitely many characteristic polynomials with integer coefficients that lead to marginally stable eigenvalues on the unit circle and we characterize these setups. The obtained results are, in particular, relevant to encrypted control, w...
-
作者：Zheng, Jun; Zhu, Guchuan; Dashkovskiy, Sergey
作者单位：Southwest Jiaotong University; Universite de Montreal; Polytechnique Montreal; University of Wurzburg
摘要：In this article, we introduce the notion of relative K-equi-stability (RKES) to characterize the uniformly continuous dependence of (weak) solutions on external disturbances for nonlinear parabolic partial differential equations (PDEs). Based on the RKES, we prove the input-to-state stability (ISS) in the spatial sup-norm for a class of nonlinear parabolic PDEs with either Dirichlet or Robin boundary disturbances. An example concerned with a superlinear parabolic PDE with Robin boundary condit...
-
作者：Cheng, Zilong; Ma, Jun; Li, Xiaocong; Tomizuka, Masayoshi; Lee, Tong Heng
作者单位：National University of Singapore; Hong Kong University of Science & Technology (Guangzhou); Hong Kong University of Science & Technology; Harvard University; University of California System; University of California Berkeley
摘要：For linear time-invariant systems, the design of an optimal controller is a commonly encountered problem in many applications. Among all the optimization approaches available, the linear quadratic regulator (LQR) methodology certainly garners much attention and interest. As is well known, standard numerical tools in linear algebra are readily available to determine the optimal static LQR feedback gain matrix when all the system state variables are measurable. However, in various certain scenar...
-
作者：Karafyllis, Iasson; Krstic, Miroslav
作者单位：National Technical University of Athens; University of California System; University of California San Diego
摘要：This article studies the feedback stabilization problem of the motion of a tank that contains an incompressible, Newtonian, viscous liquid. The control input is the force applied on the tank and the overall system consists of two nonlinear partial differential equations and two ordinary differential equations. Moreover, a spill-free condition is required to hold. By applying the control Lyapunov functional methodology, a set of initial conditions (state space) is determined for which spill-fre...
-
作者：Xu, Yuhang; Yang, Hao; Jiang, Bin; Polycarpou, Marios M.
作者单位：Nanjing University of Aeronautics & Astronautics; University of Cyprus; University of Cyprus
摘要：This article investigates the multiplayer pursuit-evasion (MPE) differential games in the presence of malicious pursuers. First, three types of malicious pursuers, namely greedy, lazy, and traitorous pursuers are formulated by using two subjectively malicious factors in the performance index. Then, an N-player nonzero-sum game framework is established to study the relationships among healthy pursuers, malicious pursuers, and evaders. The capturability and Nash equilibrium of such a new MPE dif...
-
作者：Tian, Yongxiao; Yan, Huaicheng; Zhang, Hao; Cheng, Jun; Shen, Hao
作者单位：East China University of Science & Technology; Chengdu University; Tongji University; Guangxi Normal University; Anhui University of Technology
摘要：This article is concerned with the problem of output feedback control for a class of continuous-time hidden semi-Markov jump systems with time delays. Due to the limitations of the actual environment, system modes are usually undetectable, which are called hidden modes. The controller modes are described as observable modes. Emission probabilities are used to establish the relationship between abovementioned two concepts. The jump parameters are governed by the hidden semi-Markov process, whic...
-
作者：Yi, Xinlei; Zhang, Shengjun; Yang, Tao; Chai, Tianyou; Johansson, Karl H.
作者单位：Royal Institute of Technology; University of North Texas System; University of North Texas Denton; Northeastern University - China
摘要：This article considers the distributed nonconvex optimization problem of minimizing a global cost function formed by a sum of local cost functions by using local information exchange. We first consider a distributed first-order primal-dual algorithm. We show that it converges sublinearly to a stationary point if each local cost function is smooth and linearly to a global optimum under an additional condition that the global cost function satisfies the Polyak-Lojasiewicz condition. This conditi...
-
作者：Ananduta, Wicak; Nedic, Angelia; Ocampo-Martinez, Carlos
作者单位：Delft University of Technology; Arizona State University; Arizona State University-Tempe; Universitat Politecnica de Catalunya; Consejo Superior de Investigaciones Cientificas (CSIC); CSIC - Institut de Robotica i Informatica Industrial (IRII)
摘要：A multiagent optimization problem motivated by the management of energy systems is discussed. The associated cost function is separable and convex although not necessarily strongly convex and there exist edge-based coupling equality constraints. In this regard, we propose a distributed algorithm based on solving the dual of the augmented problem. Furthermore, we consider that the communication network might be time-varying and the algorithm might be carried out asynchronously. The time-varying...
-
作者：Bistritz, Ilai; Ward, Andrew; Zhou, Zhengyuan; Bambos, Nicholas
作者单位：Stanford University; New York University
摘要：Consider a network of N providers that each has a certain supply of energy and B consumers that each has a certain demand. The efficiency of transmitting energy between providers and consumers is modeled using a weighted bipartite graph G. Our goal is to maximize the amount of utilized energy using a distributed algorithm that each provider runs locally. We propose a noncooperative energy-allocation game and adopt the best-response dynamics for this game as our distributed algorithm. We prove ...
