-
作者：Zhou, Jiazhong; Lefebvre, Dimitri; Li, Zhiwu
作者单位：Xidian University; Universite Le Havre Normandie; Macau University of Science & Technology
摘要：Timed extended reachability graphs (TERG) of time Petri nets abstract the temporal specifications and represent the feasible trajectories under the earliest firing policy. One drawback of such graphs is the rapid increase in the number of states with respect to time specifications. For this reason, approximations of TERG that remove some states have been studied in recent works. In this article, we improve the approximation of a TERG. New objects-called vertices-are defined to manipulate the t...
-
作者：Zisis, Konstantinos; Bechlioulis, Charalampos P.; Rovithakis, George A.
作者单位：Aristotle University of Thessaloniki; University of Patras
摘要：In this article, we rely on the theoretical foundations of radial basis function neural networks to form an adaptive parameter estimation problem, which we solve using the recently introduced prescribed performance control methodology. Such combination results in a compact user-configurable adaptive nonlinear system identification methodology that can be used to retrieve the open-loop nonlinear plant dynamics in any compact region of interest.
-
作者：Queinnec, Isabelle; Tarbouriech, Sophie; Valmorbida, Giorgio; Zaccarian, Luca
作者单位：Universite de Toulouse; Centre National de la Recherche Scientifique (CNRS); Universite Paris Saclay; Centre National de la Recherche Scientifique (CNRS); University of Trento
摘要：In this article, we propose a novel class of piecewise smooth Lyapunov functions leading to linear-matrix-inequality-based stability/performance analysis and control design for linear systems with saturating inputs. We provide conditions for global properties, and also conditions for local properties and guaranteed estimates of the basin of attraction. The backbone of our result consists in using quadratic forms with constant matrices that are not necessarily sign definite, thereby providing a...
-
作者：Zhao, Xueyan; Deng, Feiqi
作者单位：South China University of Technology
摘要：This article aims to reveal an interesting phenomenon about the time delays (TDs) in control systems: stability preservation with over large intermittently or unbounded variable TDs. That is, given a system asymptotically stable for bounded TDs, it could remain to be stable when the TDs are enhanced to have peak values over large intermittently or unbounded. The investigation is carried out by theoretical analysis plus case studies with the stochastic system models. The stability of systems is...
-
作者：Coulson, Jeremy; Lygeros, John; Dorfler, Florian
作者单位：Swiss Federal Institutes of Technology Domain; ETH Zurich
摘要：In this article we study the problem of finite-time constrained optimal control of unknown stochastic linear time-invariant (LTI) systems, which is the key ingredient of a predictive control algorithm-albeit typically having access to a model. We propose a novel distributionally robust data-enabled predictive control (DeePC) algorithm which uses noise-corrupted input/output data to predict future trajectories and compute optimal control inputs while satisfying output chance constraints. The al...
-
作者：Haseli, Masih; Cortes, Jorge
作者单位：University of California System; University of California San Diego
摘要：This article develops data-driven methods to identify eigenfunctions of the Koopman operator associated with a dynamical system and subspaces that are invariant under the operator. We build on Extended Dynamic Mode Decomposition (EDMD), a data-driven method that finds a finite-dimensional approximation of the Koopman operator on the span of a predefined dictionary of functions. We propose a necessary and sufficient condition to identify Koopman eigenfunctions based on the application of EDMD f...
-
作者：Chaillet, Antoine; Goksu, Gokhan; Pepe, Pierdomenico
作者单位：Universite Paris Saclay; Institut Universitaire de France; Istanbul Technical University; University of L'Aquila
摘要：In this article, we provide several characterizations of integral input-to-state stability (iISS) of time-delay systems. These characterizations differ in the way the considered Lyapunov-Krasovskii functionals (LKFs) dissipate along the solutions of the system. This dissipation can involve the LKF itself, as in existing iISS characterizations, but can alternatively involve the instantaneous value of the solution's norm (pointwise dissipation), the supremum norm of the state history (historywis...
-
作者：Gehlot, Hemant; Sundaram, Shreyas; Ukkusuri, Satish
作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Kanpur; Purdue University System; Purdue University; Purdue University System; Purdue University
摘要：We consider a scenario where a system experiences a disruption, and the states (representing health values) of its components continue to reduce over time, unless they are acted upon by a controller. Given this dynamical setting, we consider the problem of finding an optimal control (or switching) sequence to maximize the sum of the weights of the components, whose states are brought back to the maximum value. We first provide several characteristics of the optimal policy for the general (full...
-
作者：Guan, Yacun; Yang, Hao; Jiang, Bin; Zhang, Youmin
作者单位：Nanjing University of Aeronautics & Astronautics; Concordia University - Canada
摘要：This article finds the minimum cost that is needed to achieve the approximate controllability of switched infinite-dimensional linear systems (IDLSs) by a newly defined Gramian operator. Such a new cost evaluation method helps to establish a fault recoverability condition, which reveals the ability of faulty switched IDLSs to maintain the approximate controllability under given energetic constraints. An example of the swarming system is taken to illustrate the theoretical results.
-
作者：Wu, Bo; Carr, Steven; Bharadwaj, Suda; Xu, Zhe; Topcu, Ufuk
作者单位：University of Texas System; University of Texas Austin; University of Texas System; University of Texas Austin; Arizona State University; Arizona State University-Tempe
摘要：In this article, we study the problem of distributed hypothesis testing over a network of mobile agents with limited communication and sensing ranges to infer the true hypothesis collaboratively. In particular, we consider a scenario where there is an unknown subset of compromised agents that may deliberately share altered information to undermine the team objective. We propose two distributed algorithms where each agent maintains and updates two sets of beliefs (i.e., probability distribution...
