-
作者：Sinyakov, Vladimir; Girard, Antoine
作者单位：Universite Paris Saclay; Centre National de la Recherche Scientifique (CNRS)
摘要：In this article, we consider the problem of the computation of efficient symbolic abstractions for continuous-time control systems. The new abstraction algorithm builds symbolic models with the same number of states but fewer transitions in comparison to the one produced by the standard algorithm. At the same time, the new abstract system is at least as controllable as the standard one. The proposed algorithm is based on the solution of a region-to-region control synthesis problem. This soluti...
-
作者：Mukherjee, Mousumi; Pal, Debasattam
作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Bombay
摘要：The issue of initial/boundary conditions for a general system of partial difference equations (PDEs)-called a discrete n-D system-is resolved through the notion of characteristic sets: the restriction of a solution trajectory to a minimal characteristic set can be considered to be the initial/boundary condition to the corresponding trajectory. In the recent paper (Mukherjee and Pal, 2021), it has been shown that every autonomous n-D system admits a minimal characteristic set that is the union ...
-
作者：Mavridis, Christos N.; Baras, John S.
作者单位：University System of Maryland; University of Maryland College Park; University System of Maryland; University of Maryland College Park
摘要：In this work, we introduce a learning model designed to meet the needs of applications in which computational resources are limited, and robustness and interpretability are prioritized. Learning problems can be formulated as constrained stochastic optimization problems, with the constraints originating mainly from model assumptions that define a tradeoff between complexity and performance. This tradeoff is closely related to overfitting, generalization capacity, and robustness to noise and adv...
-
作者：Possieri, Corrado; Sassano, Mario
作者单位：University of Rome Tor Vergata; Consiglio Nazionale delle Ricerche (CNR)
摘要：Two data-driven strategies for value iteration in linear quadratic optimal control problems over an infinite horizon are proposed. The two architectures share common features, since they both consist of a purely continuous-time control architecture and are based on the forward integration of the differential Riccati equation (DRE). They profoundly differ, instead, in the estimation mechanism of the vector field of the underlying DRE from collected data: The first relies on a characterization o...
-
作者：Ghodrat, Mohsen; Marquez, Horacio J. J.
作者单位：University of Alberta
摘要：This article introduces a new Lyapunov sampling for event-triggered linear systems. Contrary to the majority of the existing literature, our proposed event-triggering mechanism (ETM) directly deals with the Lyapunov derivative rather than its upper bounds. Moreover, a new concept of ideality is introduced, which serves as a measure of conservativity of the triggering mechanism during the stability regions of trajectories. To construct the ETM, we employ a diagonal transformation to facilitate ...
-
作者：Poveda, Jorge I.; Krstic, Miroslav; Basar, Tamer
作者单位：University of Colorado System; University of Colorado Boulder; University of California System; University of California San Diego; University of California System; University of California San Diego; University of Illinois System; University of Illinois Urbana-Champaign
摘要：In this article, we introduce first-order and zeroth-order Nash equilibrium seeking dynamics with fixed-time and practical fixed-time convergence certificates for noncooperative games having finitely many players. The first-order algorithms achieve exact convergence to the Nash equilibrium of the game in a finite time that can be additionally upper bounded by a constant that is independent of the initial conditions of the actions of the players. Moreover, these fixed-time bounds can be prescri...
-
作者：Akbar, Aqsa Shehzadi; Jaleel, Hassan; Abbas, Waseem; Shamma, Jeff S.
作者单位：University of Texas System; University of Texas Dallas; University of Illinois System; University of Illinois Urbana-Champaign
摘要：We consider stochastic learning dynamics in games and present a novel notion of robustness to heterogeneous players for a stochastically stable action profile. A standard assumption in these dynamics is that all the players are homogeneous, and their decision strategies can be modeled as perturbed versions of myopic best or better response strategies. We relax this assumption and propose a robustness criteria, which characterizes a stochastically stable action profile as robust to heterogeneou...
-
作者：Ardizzoni, Stefano; Consolini, Luca; Laurini, Mattia; Locatelli, Marco
作者单位：University of Parma
摘要：The purpose of this article is to introduce and characterize the bounded acceleration shortest path problem (BASP), a generalization of the shortest path problem (SP). This problem is associated to a graph: nodes represent positions of a mobile vehicle and arcs are associated to preassigned geometric paths that connect these positions. The BASP consists in finding the minimum-time path between two nodes. Differently from the SP, the vehicle has to satisfy bounds on maximum and minimum accelera...
-
作者：Boche, Holger; Boeck, Yannik N.; Deppe, Christian
作者单位：Technical University of Munich; Technical University of Munich
摘要：In this article, we consider the decision problem associated with the task of remotely estimating the state of a dynamic plant via a noisy communication channel. Given a machine-readable description of the plant's and channel's characteristics, does there exist an algorithm that decides whether remote state estimation is possible? From an analytic point of view, this problem has been shown to involve the zero-error capacity of the communication channel. By applying results from Turing machine ...
-
作者：Sargolzaei, Arman; Zegers, Federico M.; Abbaspour, Alireza; Crane, Carl D.; Dixon, Warren E.
作者单位：Tennessee Technological University; State University System of Florida; University of Florida
摘要：A continuous controller is developed for a centralized network control system (NCS), which is composed of agents with nonlinear dynamics subject to a time-delay-switch (TDS) attack and additive disturbances. Since the state tracking error is unmeasurable during TDS attacks, controllers cannot use the state tracking error to coordinate the NCS. Therefore, a novel error signal is designed to address this unique challenge and enable the NCS to achieve a formation control objective. Furthermore, a...
