Systems and Control
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Fri, 25 Sep 20
 [1] arXiv:2009.11374 [pdf, other]

Title: Fast Adaptation Nonlinear Observer for SLAMComments: 2020 IEEE 24th International Conference on System Theory, Control and Computing (ICSTCC)Subjects: Systems and Control (eess.SY)
The process of simultaneously mapping the environment in three dimensional (3D) space and localizing a moving vehicle's pose (orientation and position) is termed Simultaneous Localization and Mapping (SLAM). SLAM is a core task in robotics applications. In the SLAM problem, each of the vehicle's pose and the environment are assumed to be completely unknown. This paper takes the conventional SLAM design as a basis and proposes a novel approach that ensures fast adaptation of the nonlinear observer for SLAM. Due to the fact that the true SLAM problem is nonlinear and is modeled on the Lie group of $\mathbb{SLAM}_{n}\left(3\right)$, the proposed observer for SLAM is nonlinear and modeled on $\mathbb{SLAM}_{n}\left(3\right)$. The proposed observer compensates for unknown bias attached to velocity measurements. The results of the simulation illustrate the robustness of the proposed approach.
 [2] arXiv:2009.11386 [pdf, ps, other]

Title: Optimal Minimax Mobile Sensor Scheduling Over a NetworkSubjects: Systems and Control (eess.SY)
We investigate the problem of monitoring multiple targets using a single mobile sensor, with the goal of minimizing the maximum estimation error among all the targets over long time horizons. The sensor can move in a networkconstrained structure, where it has to plan which targets to visit and for how long to dwell at each node. We prove that in an optimal observation time allocation, the peak uncertainty is the same among all the targets. By further restricting the agent policy to only visit each target once every cycle, we develop a scheme to optimize the agent's behavior that is significantly simpler computationally when compared to previous approaches for similar problems.
 [3] arXiv:2009.11453 [pdf, other]

Title: Control Policies for Recovery of Interdependent Systems After DisruptionsSubjects: Systems and Control (eess.SY)
We examine a control problem where the states of the components of a system deteriorate after a disruption, if they are not being repaired by an entity. There exist a set of dependencies in the form of precedence constraints between the components, captured by a directed acyclic graph (DAG). The objective of the entity is to maximize the number of components whose states are brought back to the fully repaired state within a given time. We prove that the general problem is NPhard, and therefore we characterize nearoptimal control policies for special instances of the problem. We show that when the deterioration rates are larger than or equal to the repair rates and the precedence constraints are given by a DAG, it is optimal to continue repairing a component until its state reaches the fully recovered state before switching to repair any other component. Under the aforementioned assumptions and when the deterioration and the repair rates are homogeneous across all the components, we prove that the control policy that targets the healthiest component at each timestep while respecting the precedence and time constraints fully repairs at least half the number of components that would be fully repaired by an optimal policy. Finally, we prove that when the repair rates are sufficiently larger than the deterioration rates, the precedence constraints are given by a set of disjoint trees that each contain at most k nodes, and there is no time constraint, the policy that targets the component with the least value of health minus the deterioration rate at each timestep while respecting the precedence constraints fully repairs at least 1/k times the number of components that would be fully repaired by an optimal policy.
 [4] arXiv:2009.11468 [pdf, other]

Title: Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety ConstraintsComments: 7 pages, 4 figures, submitted to IEEE Control Systems Letters (LCSS) with the option to present it to the ACC 2021Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG)
We propose a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discretetime system that is required to satisfy specifications given as Signal Temporal Logic (STL) formulae. RNNs can store information of a system over time, thus, enable us to determine satisfaction of the dynamic temporal requirements specified in STL formulae. Given a STL formula, a dataset of satisfying system executions and corresponding control policies, we can use RNNs to predict a control policy at each time based on the current and previous states of system. We use Control Barrier Functions (CBFs) to guarantee the safety of the predicted control policy. We validate our theoretical formulation and demonstrate its performance in an optimal control problem subject to partially unknown safety constraints through simulations.
 [5] arXiv:2009.11615 [pdf]

Title: Unlocking Extra Value from Grid Batteries Using Advanced ModelsSubjects: Systems and Control (eess.SY)
Lithiumion batteries are increasingly being deployed in liberalised electricity systems, where their use is driven by economic optimisation in a specific market context. However, battery degradation depends strongly on operational profile, and this is particularly variable in energy trading applications. Here, we present results from a yearlong experiment where pairs of batteries were cycled with profiles calculated by solving an economic optimisation problem for wholesale energy trading, including a physicallymotivated degradation model as a constraint. The results show that this approach can increase revenue by 20% whilst simultaneously decreasing degradation by 30% compared to existing methods. The physicsbased approach increases the lifetime both in terms of years and number of cycles, as well as the revenue per year, increasing the possible lifetime revenue by 70%. This demonstrates the potential to unlock significant extra performance using control engineering incorporating physical models of battery ageing.
 [6] arXiv:2009.11649 [pdf, ps, other]

Title: PrescribedTime Fully Distributed Nash Equilibrium Seeking in Noncooperative GamesComments: arXiv admin note: text overlap with arXiv:2009.10666Subjects: Systems and Control (eess.SY)
In this paper, we investigate a prescribedtime and fully distributed Nash Equilibrium (NE) seeking problem for continuoustime noncooperative games. By exploiting pseudogradient play and consensusbased schemes, various distributed NE seeking algorithms are presented over either fixed or switching communication topologies so that the convergence to the NE is reached in a prescribed time. In particular, a prescribedtime distributed NE seeking algorithm is firstly developed under a fixed graph to find the NE in a priorgiven and userdefined time, provided that a static controller gain can be selected based on certain global information such as the algebraic connectivity of the communication graph and both the Lipschitz and monotone constants of the pseudogradient associated with players' objective functions. Secondly, a prescribedtime and fully distributed NE seeking algorithm is proposed to remove global information by designing heterogeneous dynamic gains that turn online the weights of the communication topology. Further, we extend this algorithm to accommodate jointly switching topologies. It is theoretically proved that the global convergence of those proposed algorithms to the NE is rigorously guaranteed in a prescribed time based on a time function transformation approach. In the last, numerical simulation results are presented to verify the effectiveness of the designs.
 [7] arXiv:2009.11782 [pdf, other]

Title: Neural Identification for ControlComments: 7 pages, 6 figuresSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Robotics (cs.RO)
We present a new method for learning control law that stabilizes an unknown nonlinear dynamical system at an equilibrium point. We formulate a system identification task in a selfsupervised learning setting that jointly learns a controller and corresponding stable closedloop dynamics hypothesis. The openloop inputoutput behavior of the underlying dynamical system is used as the supervising signal to train the neural networkbased system model and controller. The method relies on the Lyapunov stability theory to generate a stable closedloop dynamics hypothesis and corresponding control law. We demonstrate our method on various nonlinear control problems such as nLink pendulum balancing, pendulum on cart balancing, and wheeled vehicle path following.
Crosslists for Fri, 25 Sep 20
 [8] arXiv:2008.04707 (crosslist from eess.SP) [pdf, other]

Title: Driver Assistance for Safe and Comfortable OnRamp Merging Using Environment Models Extended through V2X Communication and RoleBased Behavior PredictionsComments: the article has been accepted for publication during the 16th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP 2020), 8 pages, 8 figures, 1 tableSubjects: Signal Processing (eess.SP); Computational Engineering, Finance, and Science (cs.CE); Emerging Technologies (cs.ET); Robotics (cs.RO); Systems and Control (eess.SY)
Modern driver assistance systems as well as autonomous vehicles take their decisions based on local maps of the environment. These maps include, for example, surrounding moving objects perceived by sensors as well as routes and navigation information. Current research in the field of environment mapping is concerned with two major challenges. The first one is the integration of information from different sources e.g. onboard sensors like radar, camera, ultrasound and lidar, offline map data or backend information. The second challenge comprises in finding an abstract representation of this aggregated information with suitable interfaces for different driving functions and traffic situations. To overcome these challenges, an extended environment model is a reasonable choice. In this paper, we show that rolebased motion predictions in combination with v2xextended environment models are able to contribute to increased traffic safety and driving comfort. Thus, we combine the mentioned research areas and show possible improvements, using the example of a threading process at a motorway access road. Furthermore, it is shown that already an average v2x equipment penetration of 80% can lead to a significant improvement of 0.33m/s^2 of the total acceleration and 12m more safety distance compared to non v2xequipped vehicles during the threading process.
 [9] arXiv:2009.11348 (crosslist from cs.LG) [pdf, ps, other]

Title: A SampleEfficient Algorithm for Episodic FiniteHorizon MDP with ConstraintsSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Machine Learning (stat.ML)
Constrained Markov Decision Processes (CMDPs) formalize sequential decisionmaking problems whose objective is to minimize a cost function while satisfying constraints on various cost functions. In this paper, we consider the setting of episodic fixedhorizon CMDPs. We propose an online algorithm which leverages the linear programming formulation of finitehorizon CMDP for repeated optimistic planning to provide a probably approximately correct (PAC) guarantee on the number of episodes needed to ensure an $\epsilon$optimal policy, i.e., with resulting objective value within $\epsilon$ of the optimal value and satisfying the constraints within $\epsilon$tolerance, with probability at least $1\delta$. The number of episodes needed is shown to be of the order $\tilde{\mathcal{O}}\big(\frac{SAC^{2}H^{2}}{\epsilon^{2}}\log\frac{1}{\delta}\big)$, where $C$ is the upper bound on the number of possible successor states for a stateaction pair. Therefore, if $C \ll S$, the number of episodes needed have a linear dependence on the state and action space sizes $S$ and $A$, respectively, and quadratic dependence on the time horizon $H$.
 [10] arXiv:2009.11459 (crosslist from cs.AI) [pdf, other]

Title: Robust FiniteState Controllers for Uncertain POMDPsAuthors: Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk TopcuSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)
Uncertain partially observable Markov decision processes (uPOMDPs) allow the probabilistic transition and observation functions of standard POMDPs to belong to a socalled uncertainty set. Such uncertainty sets capture uncountable sets of probability distributions. We develop an algorithm to compute finitememory policies for uPOMDPs that robustly satisfy given specifications against any admissible distribution. In general, computing such policies is both theoretically and practically intractable. We provide an efficient solution to this problem in four steps. (1) We state the underlying problem as a nonconvex optimization problem with infinitely many constraints. (2) A dedicated dualization scheme yields a dual problem that is still nonconvex but has finitely many constraints. (3) We linearize this dual problem and (4) solve the resulting finite linear program to obtain locally optimal solutions to the original problem. The resulting problem formulation is exponentially smaller than those resulting from existing methods. We demonstrate the applicability of our algorithm using large instances of an aircraft collisionavoidance scenario and a novel spacecraft motion planning case study.
 [11] arXiv:2009.11544 (crosslist from math.DS) [pdf, ps, other]

Title: Koopman Resolvent: A LaplaceDomain Analysis of Nonlinear Autonomous Dynamical SystemsComments: 20 pages, 2 figuresSubjects: Dynamical Systems (math.DS); Systems and Control (eess.SY); Optimization and Control (math.OC)
The motivation of our research is to establish a Laplacedomain theory that provides principles and methodology to analyze and synthesize systems with nonlinear dynamics. A semigroup of composition operators defined for nonlinear autonomous dynamical systemsthe Koopman semigroup and its associated Koopman generatorplays a central role in this study. We introduce the resolvent of the Koopman generator, which we call the Koopman resolvent, and provide its spectral characterization for three types of nonlinear dynamics: ergodic evolution on an attractor, convergence to a stable equilibrium point, and convergence to a (quasi)stable limit cycle. This shows that the Koopman resolvent provides the Laplacedomain representation of such nonlinear autonomous dynamics. A computational aspect of the Laplacedomain representation is also discussed with emphasis on nonstationary Koopman modes.
Replacements for Fri, 25 Sep 20
 [12] arXiv:1907.13294 (replaced) [pdf, other]

Title: A Detection Mechanism Against LoadRedistribution Attacks in Smart GridsSubjects: Systems and Control (eess.SY)
 [13] arXiv:2005.04687 (replaced) [pdf, ps, other]

Title: Generic Detectability and Isolability of Topology Failures in Networked Linear SystemsComments: 12 pages, 8 figures, to appear in IEEE Transactions on Control of Network SystemsSubjects: Systems and Control (eess.SY)
 [14] arXiv:2006.11858 (replaced) [pdf, other]

Title: Guaranteed Performance Nonlinear Observer for Simultaneous Localization and MappingAuthors: Hashim A. HashimSubjects: Systems and Control (eess.SY)
 [15] arXiv:2009.06278 (replaced) [pdf, ps, other]

Title: Correction to:"Position estimation from direction or range measurements"Subjects: Systems and Control (eess.SY)
 [16] arXiv:1910.03169 (replaced) [pdf, other]

Title: SemiAnalytical Model for Design and Analysis of OnOrbit Servicing ArchitectureComments: 21 pages, 8 figures, Accepted by Journal of Spacecraft and RocketsSubjects: Performance (cs.PF); Systems and Control (eess.SY); Space Physics (physics.spaceph)
 [17] arXiv:2007.03193 (replaced) [pdf, other]

Title: Policies for elementary link generation in quantum networksAuthors: Sumeet KhatriComments: 64 pages, 9 figures. Improvements to Section 1 and Section 2; added figures and updated referencesSubjects: Quantum Physics (quantph); Machine Learning (cs.LG); Systems and Control (eess.SY); Dynamical Systems (math.DS)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, eess, recent, 2009, contact, help (Access key information)