-
作者：Han, Hyejin; Maghenem, Mohamed; Sanfelice, Ricardo G.
作者单位：University of California System; University of California Santa Cruz; Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS)
摘要：In this article, we propose sufficient conditions to guarantee that a linear temporal logic formula of the form p Until q, denoted by p Uq, is satisfied for a hybrid system. Roughly speaking, the formula p Uq is satisfied means that the solutions, initially satisfying proposition p, keep satisfying this proposition until proposition q is satisfied. To certify such a formula, connections to invariance notions-specifically, conditional invariance and eventual conditional invariance-as well as fi...
-
作者：Karabag, Mustafa O.; Ornik, Melkior; Topcu, Ufuk
作者单位：University of Texas System; University of Texas Austin; University of Illinois System; University of Illinois Urbana-Champaign; University of Illinois System; University of Illinois Urbana-Champaign; University of Texas System; University of Texas Austin; University of Texas System; University of Texas Austin
摘要：Deception is a useful tool in situations where an agent operates in the presence of its adversaries. We consider a setting where a supervisor provides a reference policy to an agent, expects the agent to operate in an environment by following the reference policy, and partially observes the agent's behavior. The agent instead follows a different deceptive policy to achieve a different task. We model the environment with a Markov decision process and study the synthesis of optimal deceptive pol...
-
作者：Sadamoto, Tomonori
作者单位：University of Electro-Communications - Japan
摘要：This study shows that the informativity for the identification of partially observable systems is equivalent to that for designing dynamical measurement-feedback stabilizers. This finding is entirely different from the input-state case, where the direct data-driven design of state-feedback stabilizers requires less informativity than system identification. We derive the equivalence between the two types of informativity based on a newly introduced vector autoregressive with exogenous input (VA...
-
作者：Xing, Yu; He, Xingkang; Fang, Haitao; Johansson, Karl Henrik
作者单位：Royal Institute of Technology; Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS; Chinese Academy of Sciences; University of Chinese Academy of Sciences, CAS
摘要：This article studies how to estimate the weighted adjacency matrix of a network out of the state sequence of a model with binary-valued states, by using a recursive algorithm. In the considered system, agents display and exchange these binary-valued states generated from intrinsic quantizers. It is shown that stability of the model and identifiability of the system parameters can be guaranteed under continuous random noise. Under standard Gaussian noise, the problem of estimating the real-valu...
-
作者：Chang, Dong Eui
作者单位：Korea Advanced Institute of Science & Technology (KAIST)
摘要：A new S-1 principal bundle over a vector space with the origin removed is constructed for the drone with the yaw dynamics evolving on the S-1 fiber, and the remaining part of drone dynamics on the base space. Two local trivializations are constructed to cover the whole bundle such that on each trivialization the drone dynamics is transformed via dynamic feedback to a linear controllable system with the yaw dynamics decoupled from the rest of the drone dynamics to make easy the design of drone ...
-
作者：Komaee, Arash
作者单位：Southern Illinois University System; Southern Illinois University
摘要：This article investigates a stochastic optimal control problem with linear Gaussian dynamics, quadratic performance measure, but non-Gaussian observations. The linear Gaussian dynamics characterizes a large number of interacting agents evolving under a centralized control and external disturbances. The aggregate state of the agents is only partially known to the centralized controller by means of the samples taken randomly in time and from anonymous randomly selected agents. Due to the removal...
-
作者：Gheitasi, Kian; Lucia, Walter
作者单位：Concordia University - Canada
摘要：In this technical note, the safety and reference tracking control problems for cyber-physical systems (CPSs) equipped with authenticated communication channels are addressed. In this class of CPSs, network attacks can break the feedback loop at two different points for an arbitrarily long period. In this scenario, we design a novel control architecture that, by taking a worst-case approach, aims to preserve the safety of the systems while minimizing, whenever possible, the tracking performance...
-
作者：Kong, He; Sukkarieh, Salah; Arnold, Travis J.; Chen, Tianshi; Mu, Biqiang; Zheng, Wei Xing
作者单位：Southern University of Science & Technology; Southern University of Science & Technology; University of Sydney; Shenzhen Research Institute of Big Data; The Chinese University of Hong Kong, Shenzhen; Shenzhen Research Institute of Big Data; The Chinese University of Hong Kong, Shenzhen; Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS; Western Sydney University
摘要：existing works on optimal filtering of linear time invariant (LTI) stochastic systems with arbitrary unknown inputs assume perfect knowledge of the covariances of the noises in the filter design. This is impractical and raises the question of whether and under what conditions one can identify the process and measurement noise covariances (denoted as Q and R, respectively) of systems with unknown inputs. This article considers the identifiability of Q/R using the correlation-based measurement d...
-
作者：Liu, Zongcheng; Huang, Jiangshuai; Wen, Changyun; Su, Xiaojie
作者单位：Air Force Engineering University; Northwestern Polytechnical University; Chongqing University; Nanyang Technological University
摘要：In this article, distributed control of uncertain multiagent systems (MAS) with completely unknown nonlinearities, unknown time-varying control coefficients, and multiple unknown control directions is investigated. First, a new theorem with a series of novel Nussbaum functions are presented, which solve the outstanding problem in control of nonlinear systems with unknown time-varying control coefficients and unknown signs. Second, global consensus of MAS with unknown time-varying control coeff...
-
作者：Xiao, Wei; Belta, Calin; Cassandras, Christos G.
作者单位：Massachusetts Institute of Technology (MIT); Boston University; Boston University
摘要：This article addresses the problem of safety-critical control for multiagent systems with unknown dynamics in unknown environments. It has been shown that stabilizing affine control systems to desired (sets of) states while optimizing quadratic costs subject to state and control constraints can be reduced to a sequence of quadratic programs (QPs) by using control barrier functions (CBFs) and control Lyapunov functions (CLFs). One of the main challenges in this approach is obtaining accurate sy...
