-
作者：Garg, Kunal; Baranwal, Mayank; Gupta, Rohit; Benosman, Mouhacine
作者单位：University of Michigan System; University of Michigan; Tata Sons; Tata Consultancy Services Limited (TCS); University of Michigan System; University of Michigan
摘要：In this article, a novel modified proximal dynamical system is proposed to compute the solution of a mixed variational inequality problem (MVIP) within a fixed time, where the time of convergence is finite and is uniformly bounded for all initial conditions. Under the assumptions of strong monotonicity and Lipschitz continuity, it is shown that a solution of the modified proximal dynamical system exists, is uniquely determined, and converges to the unique solution of the associated MVIP within...
-
作者：Liu, Wenjie; Sun, Jian; Wang, Gang; Bullo, Francesco; Chen, Jie
作者单位：Beijing Institute of Technology; Beijing Institute of Technology; Beijing Institute of Technology; University of California System; University of California Santa Barbara; University of California System; University of California Santa Barbara; Tongji University
摘要：The study of resilient control of linear time-invariant (LTI) systems against denial-of-service (DoS) attacks is gaining popularity in emerging cyber-physical applications. In previous works, explicit system models are required to design a predictor-based resilient controller. These models can be either given a priori or obtained through a prior system identification step. Recent research efforts have focused on data-driven control based on precollected input-output trajectories (i.e., without...
-
作者：Sriram, Chandrasekhar; Joseph, Geethu; Murthy, Chandra R. R.
作者单位：Indian Institute of Science (IISC) - Bangalore; Delft University of Technology
摘要：The stabilizability of a linear dynamical system (LDS) refers to the existence of control inputs that drive the system state to zero. In this article, we analyze both the theoretical and algorithmic aspects of the stabilizability of an LDS using sparse control inputs with potentially time-varying supports. We show that an LDS is stabilizable using sparse control inputs if and only if it is stabilizable (using unconstrained inputs). For a stabilizable LDS, we present an algorithm to determine t...
-
作者：Zhao, Changyuan; Zhang, Shuyuan; Wang, Lei; Xue, Bai
作者单位：Chinese Academy of Sciences; Institute of Software, CAS; Chinese Academy of Sciences; University of Chinese Academy of Sciences, CAS; Beihang University
摘要：Reach-avoid analysis, which involves the computation of reach-avoid sets, is an established tool that provides hard guarantees of safety (via avoiding unsafe states) and target reachability (via reaching target sets) and, therefore, is widely used in safe-critical systems design, such as air traffic management systems and biomedical systems. This article investigates the problem of inner approximating robust reach-avoid sets for discrete-time polynomial dynamical systems subject to disturbance...
-
作者：Afshari, Mohammad; Mahajan, Aditya
作者单位：McGill University
摘要：A decentralized linear quadratic system with a major agent and a collection of minor agents is considered. The major agent affects the minor agents, but not vice versa. The state of the major agent is observed by all agents. In addition, the minor agents have a noisy observation of their local state. The noise process is not assumed to be Gaussian. The structures of the optimal strategy and the best linear strategy are characterized. It is shown that the major agent's optimal control action is...
-
作者：Bonalli, Riccardo; Lew, Thomas; Pavone, Marco
作者单位：Centre National de la Recherche Scientifique (CNRS); Universite Paris Saclay; Stanford University
摘要：Sequential convex programming (SCP) has recently gained significant popularity as an effective method for solving optimal control problems and has been successfully applied in several different domains. However, the theoretical analysis of SCP has received comparatively limited attention, and it is often restricted to discrete-time formulations. In this article, we present a unifying theoretical analysis of a fairly general class of SCP procedures for continuous-time optimal control problems. ...
-
作者：Zhang, Tian-Yu; Ye, Dan; Shi, Yang
作者单位：Northeastern University - China; Northeastern University - China; Northeastern University - China; University of Victoria
摘要：This article focuses on how false-data injection (FDI) attacks compromise state omniscience, which needs each node in a jointly detectable sensor network to estimate the entire plant state through distributed observers. To reveal the global vulnerability of state omniscience, we investigate decentralized FDI (DFDI) attacks that destabilize the estimation error dynamics but eliminate their influences on the residual in each sensor node. First, the sufficiency and necessity for the existence of ...
-
作者：Liu, Xiaofan; Xie, Yongfang; Li, Fanbiao; Gui, Weihua
作者单位：Central South University; Xidian University
摘要：The admissible consensus tracking control of singular multiagent systems under nonlinear actuator attacks is investigated in this article. A novel distributed adaptive protocol is designed, which can approximate the actuator attack by adaptive updating the weight matrix of neural network. An integral sliding surface is constructed based on the singularity of agents, and the sliding-mode dynamics can reach the sliding-mode surface in finite time under the proposed protocols. Sufficient conditio...
-
作者：Kitsos, Constantinos; Bajodek, Mathieu; Baudouin, Lucie
作者单位：Universite de Toulouse; Centre National de la Recherche Scientifique (CNRS)
摘要：The estimation of an unknown source coefficient and of the solution to a 1-D wave equation via exponentially convergent state observers is the problem under consideration in this work. The coefficient is assumed to depend on the space variable only and to be polynomial. The main observation information for this inverse problem is the value of the solution to the wave equation in a subinterval of the domain, including also some of its higher order spatial derivatives. In order to estimate the s...
-
作者：Sadana, Utsav; Reddy, Puduru Viswanadha; Zaccour, Georges
作者单位：McGill University; Universite de Montreal; Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Madras; Universite de Montreal; HEC Montreal
摘要：In this article, we study a class of deterministic finite-horizon two-player nonzero-sum differential games where players are endowed with different kinds of controls. We assume that Player 1 uses piecewise-continuous controls, whereas Player 2 uses impulse controls. For this class of games, we seek to derive conditions for the existence of feedback Nash equilibrium strategies for the players. More specifically, we provide a verification theorem for identifying such equilibrium strategies, usi...
