-
作者：Clavel, Daniel; Mahulea, Cristian; Silva, Manuel
作者单位：University of Zaragoza
摘要：In this article, we consider the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems. They are called synchronized sequential processes. The presented design algorithm is based on the construction of a control PN, an abstraction of the relations of the T-semiflows, and buffers of the original nonstructurally live PN. The control PN evolves in parallel with the system, avoiding the firing of transitions that may lead the system to nonliveness. Four algorithm...
-
作者：Bongard, Joscha; Berberich, Julian; Koehler, Johannes; Allgoewer, Frank
作者单位：Technical University of Munich; University of Stuttgart; University of Stuttgart; Swiss Federal Institutes of Technology Domain; ETH Zurich
摘要：In this article, we provide a theoretical analysis of closed-loop properties of a simple data-driven model predictive control (MPC) scheme. The formulation does not involve any terminal ingredients, thus allowing for a simple implementation without (potential) feasibility issues. The proposed approach relies on an implicit description of linear time-invariant systems based on behavioral systems theory, which only requires one input-output trajectory of an unknown system. For the nominal case w...
-
作者：Dorobantu, Victor D.; Azizzadenesheli, Kamyar; Yue, Yisong
作者单位：California Institute of Technology; Purdue University System; Purdue University; Nvidia Corporation
摘要：We study policy optimization problems for deterministic Markov decision processes (MDPs) with metric state and action spaces, which we refer to as metric policy optimization problems (MPOPs). Our goal is to establish theoretical results on the well-posedness of MPOPs that can characterize practically relevant continuous control systems. To do so, we define a special class of MPOPs called compactly restrictable MPOPs (CR-MPOPs), which are flexible enough to capture the complex behavior of robot...
-
作者：Halperin, Ido
作者单位：Ariel University
摘要：This article contributes to the field of optimal control of bilinear systems. It concerns a continuous time finite-dimensional bilinear state equation with a quadratic performance index to be minimized. The state equation is nonautonomous and comprises a deterministic a priori known excitation. The control trajectory is constrained to an admissible set without a specific structure. The performance index is a functional quadratic in the state variables and control signals. The Krotov's method i...
-
作者：Yao, Weijia; Lin, Bohuan; Anderson, Brian D. O.; Cao, Ming
作者单位：University of Groningen; University of Groningen; Australian National University
摘要：A path-following control algorithm enables a system's trajectories under its guidance to converge to and evolve along a given geometric desired path. There exist various such algorithms, but many of them can only guarantee local convergence to the desired path in its neighborhood. In contrast, the control algorithms using a well-designed guiding vector field can ensure almost global convergence of trajectories to the desired path; here, almost means that in some cases, a measure-zero set of tr...
-
作者：Yu, Hao; Chen, Tongwen; Hao, Fei
作者单位：University of Alberta; Beihang University
摘要：This article studies event-triggered control of stochastic linear discrete-time systems with discounted quadratic cost functions. A new dynamic event-triggering condition is proposed, which has simultaneously stochastic and deterministic features. The designed event-triggered control system ensures the control performance to be within a desirable level relative to that using periodic time-triggered control, while discarding the unnecessary transmissions. By adjusting the parameters, the propos...
-
作者：Aranovskiy, Stanislav; Ushirobira, Rosane; Korotina, Marina; Vedyakov, Alexey
作者单位：ITMO University; Inria; Universite de Lille; Centre National de la Recherche Scientifique (CNRS)
摘要：In this article, we consider the excitation preservation problem of Kreisselmeier's regressor extension scheme. We analyze this problem within the context of the dynamic regressor extension and mixing procedure. The well-known qualitative result is that such a scheme preserves excitation. We perform a quantitative analysis and derive lower bounds on the resulting regressor signal considering both persistent and interval excitation cases. We also show that the resulting signal is excited if and...
-
作者：Deng, Chao; Wen, Changyun; Wang, Wei; Li, Xinyao; Yue, Dong
作者单位：Nanjing University of Posts & Telecommunications; Nanyang Technological University; Beihang University; Beihang University
摘要：In this article, we investigate the consensus problem for high-order nonlinear multiagent systems (MASs) with an uncertain leader under event-triggered communication. Compared with the existing consensus results for nonlinear MASs under event-triggered communication, the class of systems considered is more general, while achieving better performance in term of asymptotic tracking. To estimate the unknown parameters of the uncertain leader, distributed intermediate parameter estimators based on...
-
作者：Kim, Junsoo; Shim, Hyungbo; Han, Kyoohyung
作者单位：Royal Institute of Technology; Seoul National University (SNU); Samsung
摘要：In this article, we present a dynamic feedback controller that computes the next state and the control signal over encrypted data using homomorphic properties of cryptosystems, whose performance is equivalent to the linear dynamic controllers over real-valued data. Assuming that the input as well as the output of the plant is encrypted and transmitted back to the controller, it is shown that the state matrix of any linear time-invariant controller can be always converted to a matrix of integer...
-
作者：Lanzon, Alexander; Bhowmick, Parijat
作者单位：University of Manchester
摘要：this article, we define the notion of sta-ble input-output negative imaginary (IONI) systems. This new class captures and unifies all the existing stable sub-classes of negative imaginary (NI) systems and is capable of distinguishing between the strict subclasses (e.g., strongly strictly negative imaginary, output strictly negKative imaginary (OSNI), input strictly negative imaginary, etc.) in the literature. In addition to a frequency-domain definition, the proposed IONI class has been charac...
