-
作者：Yue, Hao; Xu, Yakun; Hu, Hesuan; Wu, Weimin; Li, Lingxi
作者单位：China University of Petroleum; Nanyang Technological University; Xidian University; Zhejiang University; Zhejiang University; Purdue University System; Purdue University; Purdue University in Indianapolis
摘要：This article proposes an approach to addressing the problem of minimum initial marking (MuIM) estimation for labeled Petri nets (LPNs). We introduce the important concept of a label synthesis net for LPNs and develop a method for predicting the minimum number of tokens. By using this prediction method, we develop an algorithm that has polynomial complexity in the length of the observed label sequence for estimating MuIMs. An illustrative example is provided to show the effectiveness and effici...
-
作者：Akella, Prithvi; Ahmadi, Mohamadreza; Murray, Richard M.; Ames, Aaron D.
作者单位：California Institute of Technology
摘要：We propose an adversarial, time-varying test-synthesis procedure for safety-critical systems without requiring specific knowledge of the underlying controller steering the system. Specifically, our approach codifies the system objective as a timed reach-avoid specification. Then, by coupling control barrier functions with this class of specifications, we construct an instantaneous difficulty metric whose minimizer corresponds to the most difficult test at that system state. By defining tests a...
-
作者：Kaczmarek, Marcin B.; Hosseinnia, S. Hassan
作者单位：Delft University of Technology
摘要：In this note, we present an extension of the nonlinear negative imaginary (NI) systems theory to reset systems. We define the reset NI and reset strictly NI systems and provide a state-space characterization of these systems in terms of linear matrix inequalities. Subsequently, we establish the conditions for the internal stability of a positive feedback interconnection of a (strictly) NI linear time-invariant plant and a reset (strictly) NI controller. The applicability of the proposed method...
-
作者：Greene, Max L.; Sakha, Masoud S.; Kamalapurkar, Rushikesh; Dixon, Warren E.
作者单位：Boeing; State University System of Florida; University of Florida
摘要：This article develops a technique for online approximate optimization of tracking control policies for a family of switched nonlinear dynamical systems. Optimization is realized via approximate dynamic programming, and integral concurrent learning is used for robustness to parametric uncertainties. The family of switched systems is composed of finitely many subsystems, which may have differing characteristics, such as dynamics and cost functions. This article develops a new result on the analy...
-
作者：Li, Man; Qin, Jiahu; Ma, Qichao; Shi, Yang; Zheng, Wei Xing
作者单位：Chinese Academy of Sciences; University of Science & Technology of China, CAS; University of Victoria; Western Sydney University
摘要：This work studies the two-player cooperative tracking problem with the players interacting in a master-slave scheme.This problem is formulated as an asymmetric differential game, where the control strategy of the master is unmodifiable and its optimization criterion needs to be recovered. To solve this problem, we develop a learning-based algorithm involving inverse optimization and forward optimal control to estimate the master cost parameter and design the slave shared controller simultaneou...
-
作者：Song, Yue; Liu, Tao; Li, Gang
作者单位：Tongji University; Tongji University; Tongji University; Tongji University; University of Hong Kong; University of Hong Kong; The University of Hong Kong Shenzhen Institute of Research & Innovation
摘要：We study the adaptive robust optimal control (AROC) problem for linear systems as an extension of finite-dimensional adaptive robust optimization problems. Given a continuous-time linear system under uncertain disturbance inputs with robust state and control constraints, the AROC problem finds the optimal control law adaptive to disturbance trajectories, which achieves the lowest worst-case cost. Then, the functional constraint generation (FCG) algorithm is designed, which extends the well-kno...
-
作者：Yu, Xin; Lin, Wei
作者单位：Jiangsu Normal University; University System of Ohio; Case Western Reserve University
摘要：The purpose of this article is to address the problem of global asymptotic stabilization almost surely (GAS a.s.) by sampled-data state and output feedback, respectively, for C-0 stochastic nonlinear systems that may be neither locally Lipschitz continuous nor linear growth, and are in general not smoothly stabilizable. Applying the homogeneous systems theory in a stochastic setting, combined with the existence of solutions of hybrid stochastic homogeneous systems established recently, we prov...
-
作者：Straesser, Robin; Schaller, Manuel; Worthmann, Karl; Berberich, Julian; Allgoewer, Frank
作者单位：University of Stuttgart; Technische Universitat Ilmenau
摘要：We present a method to design a state-feedback controller ensuring exponential stability for nonlinear systems using only measurement data. Our approach relies on Koopman-operator theory and uses robust control to explicitly account for approximation errors due to finitely many data samples. To simplify practical usage across various applications, we provide a tutorial-style exposition of the feedback design and its stability guarantees for single-input systems. Moreover, we extend this contro...
-
作者：van Eijk, Luke F.; Kostic, Dragan; Khosravi, Mohammad; Hosseinnia, S. Hassan
作者单位：Delft University of Technology; Delft University of Technology
摘要：This article introduces output prediction methods for two types of systems containing sinusoidal-input uniformly convergent (SIUC) elements. The first method considers these elements in combination with single-input single-output linear time-invariant (LTI) systems before, after, and in parallel to them. The second method considers a multiple-input multiple-output LTI system where each input is controlled by an SIUC element. The output prediction only requires frequency-response functions of t...
-
作者：Jahandari, Sina; Shaman, Jeffrey
作者单位：Columbia University; Columbia University; Columbia University
摘要：In this article, we address the problem of estimating a particular transfer function in a dynamic network, where the unknown noise processes are potentially correlated across the nodes. It is assumed that the noise correlations are affine in essence. We model the spatial correlation between the noise processes of two nodes of the network as a new hidden node that influences the two nodes. To be able to apply the notion of $d$-separation from graph theory, we further manipulate the network by a...
