Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems

Development of robust dynamical systems and networks such as autonomous aircraft systems capable of accomplishing complex missions faces challenges due to the dynamically evolving uncertainties coming from model uncertainties, necessity to operate in a hostile cluttered urban environment, and the distributed and dynamic nature of the communication and computation resources. Model-based robust design is difficult because of the complexity of the hybrid dynamic models including continuous vehicle dynamics, the discrete models of computations and communications, and the size of the problem. We will overview recent advances in methodology and tools to model, analyze, and design robust autonomous aerospace systems operating in uncertain environment, with stress on efficient uncertainty quantification and robust design using the case studies of the mission including model-based target tracking and search, and trajectory planning in uncertain urban environment. To show that the methodology is generally applicable to uncertain dynamical systems, we will also show examples of application of the new methods to efficient uncertainty quantification of energy usage in buildings, and stability assessment of interconnected power networks

Obround trees: Sparsity enhanced feedback motion planning of differential drive robotic systems

© 2021 Turkiye Klinikleri. All rights reserved.Robot motion planning & control is one of the most critical and prevalent problems in the robotics community. Even though original motion planning algorithms had relied on "open-loop" strategies and policies, researchers and engineers have been focusing on feedback motion planning and control algorithms due to the uncertainties, such as process and sensor noise of autonomous robotic applications. Recently, several studies proposed some robust feedback motion planning strategies based on sparsely connected safe zones. In this class of planning and control policies, local control policy inside a single zone computes and feeds the control actions that can drive the robot to a different connected region while guaranteeing that the robot never exceeds the boundaries of the active area until convergence. While most of these studies apply only to holonomic robotic models, a recent motion planning method (RCT) can solve the motion planning and navigation problems for unicycle like robotic systems based on a randomly connected circular region tree. In this paper, we propose a new/updated feedback motion planning algorithm that substantially enhances the sparsity, computational feasibility, and input effort compared to their methodology. The new algorithm generates a sparse neighborhood tree as a set of connected obround zones. Obround regions cover larger areas inside the environment, thus leads to a more sparse tree structure. During navigation, we modify the nonlinear control policy adopted in RCT method to handle the obround shaped zones. The feedback control policy navigates the robot model from one obround zone to the adjacent area in the tree structure, ensuring it stays inside the active region's boundaries and asymptotically reaches the connected obround. We demonstrate the effectiveness and validity of the algorithm on simulation studies. Our Monte Carlo simulations show that our enhancement to the original algorithm probabilistically improves the sparsity, and produces smoother trajectories compared to two motion planning algorithms that rely on sampling based neighborhood structures

A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal

In a multi-agent system, agents coordinate to achieve global tasks through local communications. Coordination usually requires sufficient information flow, which is usually depicted by the connectivity of the communication network. In a networked system, removal of some agents may cause a disconnection. In order to maintain connectivity in agent removal, one can design a robust network topology that tolerates a finite number of agent losses, and/or develop a control strategy that recovers connectivity. This paper proposes a decentralized control scheme based on a sequence of replacements, each of which occurs between an agent and one of its immediate neighbors. The replacements always end with an agent, whose relocation does not cause a disconnection. We show that such an agent can be reached by a local rule utilizing only some local information available in agents' immediate neighborhoods. As such, the proposed message passing strategy guarantees the connectivity maintenance in arbitrary agent removal. Furthermore, we significantly improve the optimality of the proposed scheme by incorporating $\delta$-criticality (i.e. the criticality of an agent in its $\delta$-neighborhood).Comment: 9 pages, 9 figure

Coverage and Field Estimation on Bounded Domains by Diffusive Swarms

In this paper, we consider stochastic coverage of bounded domains by a diffusing swarm of robots that take local measurements of an underlying scalar field. We introduce three control methodologies with diffusion, advection, and reaction as independent control inputs. We analyze the diffusion-based control strategy using standard operator semigroup-theoretic arguments. We show that the diffusion coefficient can be chosen to be dependent only on the robots' local measurements to ensure that the swarm density converges to a function proportional to the scalar field. The boundedness of the domain precludes the need to impose assumptions on decaying properties of the scalar field at infinity. Moreover, exponential convergence of the swarm density to the equilibrium follows from properties of the spectrum of the semigroup generator. In addition, we use the proposed coverage method to construct a time-inhomogenous diffusion process and apply the observability of the heat equation to reconstruct the scalar field over the entire domain from observations of the robots' random motion over a small subset of the domain. We verify our results through simulations of the coverage scenario on a 2D domain and the field estimation scenario on a 1D domain.Comment: To appear in the proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016

Comparative evaluation of approaches in T.4.1-4.3 and working definition of adaptive module

The goal of this deliverable is two-fold: (1) to present and compare different approaches towards learning and encoding movements us- ing dynamical systems that have been developed by the AMARSi partners (in the past during the first 6 months of the project), and (2) to analyze their suitability to be used as adaptive modules, i.e. as building blocks for the complete architecture that will be devel- oped in the project. The document presents a total of eight approaches, in two groups: modules for discrete movements (i.e. with a clear goal where the movement stops) and for rhythmic movements (i.e. which exhibit periodicity). The basic formulation of each approach is presented together with some illustrative simulation results. Key character- istics such as the type of dynamical behavior, learning algorithm, generalization properties, stability analysis are then discussed for each approach. We then make a comparative analysis of the different approaches by comparing these characteristics and discussing their suitability for the AMARSi project

Sampling-Based Temporal Logic Path Planning

In this paper, we propose a sampling-based motion planning algorithm that finds an infinite path satisfying a Linear Temporal Logic (LTL) formula over a set of properties satisfied by some regions in a given environment. The algorithm has three main features. First, it is incremental, in the sense that the procedure for finding a satisfying path at each iteration scales only with the number of new samples generated at that iteration. Second, the underlying graph is sparse, which guarantees the low complexity of the overall method. Third, it is probabilistically complete. Examples illustrating the usefulness and the performance of the method are included.Comment: 8 pages, 4 figures; extended version of the paper presented at IROS 201