-
作者：van der Sanden, Bram; Geilen, Marc; Reniers, Michel; Basten, Twan
作者单位：Eindhoven University of Technology
摘要：A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique that alleviates this issue in the field of model checking. It does so by exploiting redundancy in the model with respect to the properties of interest. Fo...
-
作者：Jing, Gangshan; Wan, Changhuang; Dai, Ran
作者单位：University System of Ohio; Ohio State University; Purdue University System; Purdue University
摘要：This article studies angle-based sensor network localization (ASNL) in a plane, which is to determine locations of all sensors in a sensor network, given locations of partial sensors (called anchors) and angle measurements obtained in the local coordinate frame of each sensor. First, it is shown that a framework with a nondegenerate bilateration ordering must be angle fixable, implying that it can be uniquely determined by angles between edges up to translations, rotations, reflections, and un...
-
作者：Karabag, Mustafa O.; Ornik, Melkior; Topcu, Ufuk
作者单位：University of Texas System; University of Texas Austin; 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
摘要：The use of deceptive strategies is important for an agent that attempts not to reveal his intentions in an adversarial environment. We consider a setting, in which a supervisor provides a reference policy and expects an agent to follow the reference policy and perform a task. The agent may instead follow a different deceptive policy to achieve a different task. We model the environment and the behavior of the agent with a Markov decision process, represent the tasks of the agent and the superv...
-
作者：Kou, Liwei; Chen, Zhiyong; Xiang, Ji
作者单位：Zhejiang University; Zhejiang University; University of Newcastle
摘要：In this article, we investigate a moving-target-fencing problem for multiple vehicles using nearest neighbor rules where the target moves with an unknown constant velocity. Without a predefined stand-off distance or formation, two local cooperative controllers are proposed using only the relative position information from the target and its neighbors within its local frame of reference. The controllers consist of three functionalities. The repulsive term between a vehicle and its neighbors is ...
-
作者：Li, Weijian; Zeng, Xianlin; Liang, Shu; Hong, Yiguang
作者单位：Chinese Academy of Sciences; University of Science & Technology of China, CAS; Beijing Institute of Technology; Tongji University
摘要：We develop an exponentially convergent distributed algorithm to minimize a sum of nonsmooth cost functions with a set constraint. The set constraint generally leads to the nonlinearity in distributed algorithms, and results in difficulties to derive an exponential rate. In this article, we remove the consensus constraints by an exact penalty method, and then propose a distributed projected subgradient algorithm by virtue of a differential inclusion and a differentiated projection operator. Res...
-
作者：Parasnis, Rohit Yashodhar; Franceschetti, Massimo; Touri, Behrouz
作者单位：University of California System; University of California San Diego
摘要：We study the convergence properties of social Hegselmann-Krause (HK) dynamics, a variant of the HK model of opinion dynamics where a physical connectivity graph that accounts for the extrinsic factors that could prevent interaction between certain pairs of agents is incorporated. As opposed to the original HK dynamics (which terminates in finite time), we show that for any underlying connected and incomplete graph, under a certain mild assumption, the expected termination time of social HK dyn...
-
作者：da Silva, Rafael Rodrigues; Kurtz, Vince; Lin, Hai
作者单位：University of Notre Dame
摘要：Many safety-critical systems, such as autonomous vehicles and service robots, must achieve high-level task specifications with performance guarantees. Much recent progress toward this goal has been made through an automatic controller synthesis from temporal logic specifications. Existing approaches, however, have been limited to relatively short and simple specifications. Furthermore, existing methods either consider some prior discretization of the state space, deal only with a convex fragme...
-
作者：Astolfi, Daniele; Bernard, Pauline; Postoyan, Romain; Marconi, Lorenzo
作者单位：Universite Claude Bernard Lyon 1; Centre National de la Recherche Scientifique (CNRS); CNRS - Institute for Engineering & Systems Sciences (INSIS); Universite PSL; MINES ParisTech; Universite de Lorraine; Centre National de la Recherche Scientifique (CNRS); University of Bologna
摘要：Given a plant whose trajectories of interest remain in a known compact set and an associated observer, we propose a general framework to modify this observer so that its state remains in a given convex set for all times, without altering the observer guaranteed performances in terms of convergence and robustness to external disturbances. The methodology can be applied to any time-varying continuous-time, discrete-time, and hybrid system/observer, for which a quadratic Lyapunov function is used...
-
作者：Hosoe, Yohei; Hagiwara, Tomomichi
作者单位：Kyoto University
摘要：This article provides a new unified framework for second-moment stability of discrete-time linear systems with stochastic dynamics. Relations of notions of second-moment stability are studied for systems with general stochastic dynamics, and associated Lyapunov inequalities are derived. The system dynamics may depend on any type of stochastic process in our framework. Our results for the unified framework can immediately lead us to more specific and tractable stability conditions when the unde...
-
作者：Lin, Lin; Cao, Jinde; Zhu, Shiyong; Shi, Peng
作者单位：Southeast University - China; Southeast University - China; Yonsei University; University of Adelaide
摘要：Finite-field networks (FFNs) are an effective type of models to characterize the multiagent systems with limited computation, communication, and memory capabilities. In this article, we term the FFNs, which switch among a collection of modes with respect to an independently and identically distributed process, as the stochastic FFNs (SFFNs). Subsequently, the concepts of asymptotic synchronization with probability one (asymptotic SPO), finite-time SPO, and fixed-time SPO of SFFNs are, respecti...
