We gratefully acknowledge support from
the Simons Foundation and member institutions.

Systems and Control

New submissions

[ total of 17 entries: 1-17 ]
[ 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 SLAM
Comments: 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 Network
Subjects: 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 network-constrained 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 Disruptions
Subjects: 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 NP-hard, and therefore we characterize near-optimal 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 time-step 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 time-step 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 Constraints
Comments: 7 pages, 4 figures, submitted to IEEE Control Systems Letters (L-CSS) with the option to present it to the ACC 2021
Subjects: 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 discrete-time 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 Models
Subjects: Systems and Control (eess.SY)

Lithium-ion 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 year-long experiment where pairs of batteries were cycled with profiles calculated by solving an economic optimisation problem for wholesale energy trading, including a physically-motivated 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 physics-based 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: Prescribed-Time Fully Distributed Nash Equilibrium Seeking in Noncooperative Games
Authors: Zhi Feng, Guoqiang Hu
Comments: arXiv admin note: text overlap with arXiv:2009.10666
Subjects: Systems and Control (eess.SY)

In this paper, we investigate a prescribed-time and fully distributed Nash Equilibrium (NE) seeking problem for continuous-time noncooperative games. By exploiting pseudo-gradient play and consensus-based 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 prescribed-time distributed NE seeking algorithm is firstly developed under a fixed graph to find the NE in a prior-given and user-defined 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 pseudo-gradient associated with players' objective functions. Secondly, a prescribed-time and fully distributed NE seeking algorithm is proposed to remove global information by designing heterogeneous dynamic gains that turn on-line 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 Control
Comments: 7 pages, 6 figures
Subjects: 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 self-supervised learning setting that jointly learns a controller and corresponding stable closed-loop dynamics hypothesis. The open-loop input-output behavior of the underlying dynamical system is used as the supervising signal to train the neural network-based system model and controller. The method relies on the Lyapunov stability theory to generate a stable closed-loop dynamics hypothesis and corresponding control law. We demonstrate our method on various nonlinear control problems such as n-Link pendulum balancing, pendulum on cart balancing, and wheeled vehicle path following.

Cross-lists for Fri, 25 Sep 20

[8]  arXiv:2008.04707 (cross-list from eess.SP) [pdf, other]
Title: Driver Assistance for Safe and Comfortable On-Ramp Merging Using Environment Models Extended through V2X Communication and Role-Based Behavior Predictions
Comments: 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 table
Subjects: 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. on-board 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 role-based motion predictions in combination with v2x-extended 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 v2x-equipped vehicles during the threading process.

[9]  arXiv:2009.11348 (cross-list from cs.LG) [pdf, ps, other]
Title: A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Machine Learning (stat.ML)

Constrained Markov Decision Processes (CMDPs) formalize sequential decision-making 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 fixed-horizon CMDPs. We propose an online algorithm which leverages the linear programming formulation of finite-horizon 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{|S||A|C^{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 state-action 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 (cross-list from cs.AI) [pdf, other]
Title: Robust Finite-State Controllers for Uncertain POMDPs
Subjects: 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 so-called uncertainty set. Such uncertainty sets capture uncountable sets of probability distributions. We develop an algorithm to compute finite-memory 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 collision-avoidance scenario and a novel spacecraft motion planning case study.

[11]  arXiv:2009.11544 (cross-list from math.DS) [pdf, ps, other]
Title: Koopman Resolvent: A Laplace-Domain Analysis of Nonlinear Autonomous Dynamical Systems
Comments: 20 pages, 2 figures
Subjects: Dynamical Systems (math.DS); Systems and Control (eess.SY); Optimization and Control (math.OC)

The motivation of our research is to establish a Laplace-domain theory that provides principles and methodology to analyze and synthesize systems with nonlinear dynamics. A semigroup of composition operators defined for nonlinear autonomous dynamical systems---the Koopman semigroup and its associated Koopman generator---plays 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 Laplace-domain representation of such nonlinear autonomous dynamics. A computational aspect of the Laplace-domain representation is also discussed with emphasis on non-stationary Koopman modes.

Replacements for Fri, 25 Sep 20

[12]  arXiv:1907.13294 (replaced) [pdf, other]
Title: A Detection Mechanism Against Load-Redistribution Attacks in Smart Grids
Subjects: Systems and Control (eess.SY)
[13]  arXiv:2005.04687 (replaced) [pdf, ps, other]
Title: Generic Detectability and Isolability of Topology Failures in Networked Linear Systems
Comments: 12 pages, 8 figures, to appear in IEEE Transactions on Control of Network Systems
Subjects: Systems and Control (eess.SY)
[14]  arXiv:2006.11858 (replaced) [pdf, other]
Title: Guaranteed Performance Nonlinear Observer for Simultaneous Localization and Mapping
Authors: Hashim A. Hashim
Subjects: 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: Semi-Analytical Model for Design and Analysis of On-Orbit Servicing Architecture
Comments: 21 pages, 8 figures, Accepted by Journal of Spacecraft and Rockets
Subjects: Performance (cs.PF); Systems and Control (eess.SY); Space Physics (physics.space-ph)
[17]  arXiv:2007.03193 (replaced) [pdf, other]
Title: Policies for elementary link generation in quantum networks
Authors: Sumeet Khatri
Comments: 64 pages, 9 figures. Improvements to Section 1 and Section 2; added figures and updated references
Subjects: Quantum Physics (quant-ph); Machine Learning (cs.LG); Systems and Control (eess.SY); Dynamical Systems (math.DS)
[ total of 17 entries: 1-17 ]
[ 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)