-
3D-map** and manipulation of photocurrent in an optoelectronic diamond device
Authors:
A. A. Wood,
D. J. McCloskey,
N. Dontschuk,
A. Lozovoi,
R. M. Goldblatt,
T. Delord,
D. A. Broadway,
J. -P. Tetienne,
B. C. Johnson,
K. T. Mitchell,
C. T. -K. Lew,
C. A. Meriles,
A. M. Martin
Abstract:
Characterising charge transport in a material is central to the understanding of its electrical properties, and can usually only be inferred from bulk measurements of derived quantities such as current flow. Establishing connections between host material impurities and transport properties in emerging electronics materials, such as wide bandgap semiconductors, demands new diagnostic methods tailor…
▽ More
Characterising charge transport in a material is central to the understanding of its electrical properties, and can usually only be inferred from bulk measurements of derived quantities such as current flow. Establishing connections between host material impurities and transport properties in emerging electronics materials, such as wide bandgap semiconductors, demands new diagnostic methods tailored to these unique systems, and the presence of optically-active defect centers in these materials offers a non-perturbative, in-situ characterisation system. Here, we combine charge-state sensitive optical microscopy and photoelectric detection of nitrogen-vacancy (NV) centres to directly image the flow of charge carriers inside a diamond optoelectronic device, in 3D and with temporal resolution. We optically control the charge state of background impurities inside the diamond on-demand, resulting in drastically different current flow such as filamentary channels nucleating from specific, defective regions of the device. We then optically engineered conducting channels that control carrier flow, key steps towards optically reconfigurable, wide bandgap designer optoelectronics. We anticipate our approach might be extended to probe other wide-bandgap semiconductors (SiC, GaN) relevant to present and emerging electronic technologies.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Deep-level structure of the spin-active recombination center in dilute nitrides
Authors:
A. C. Ulibarri,
C. T. K. Lew,
S. Q. Lim,
J. C. McCallum,
B. C. Johnson,
J. C. Harmand,
J. Peretti,
A. C. H. Rowe
Abstract:
A Gallium interstitial defect (Ga$_{\textrm{i}}$) is thought to be responsible for the spectacular spin-dependent recombination (SDR) in GaAs$_{1-x}$N$_x$ dilute nitride semiconductors. Current understanding associates this defect with two in-gap levels corresponding to the (+/0) and (++/+) charge-state transitions. Using a spin-sensitive photo-induced current transient spectroscopy, the in-gap el…
▽ More
A Gallium interstitial defect (Ga$_{\textrm{i}}$) is thought to be responsible for the spectacular spin-dependent recombination (SDR) in GaAs$_{1-x}$N$_x$ dilute nitride semiconductors. Current understanding associates this defect with two in-gap levels corresponding to the (+/0) and (++/+) charge-state transitions. Using a spin-sensitive photo-induced current transient spectroscopy, the in-gap electronic structure of a $x$ = 0.021 alloy is revealed. The (+/0) state lies $\approx$ 0.27 eV below the conduction band edge, and an anomalous, negative activation energy reveals the presence of not one but \textit{two} other states in the gap. The observations are consistent with a (++/+) state $\approx$ 0.19 eV above the valence band edge, and a hitherto ignored, (+++/++) state $\approx$ 25 meV above the valence band edge. These observations can inform efforts to better model the SDR and the Ga$_{\textrm{i}}$ defect's local chemical environment.
△ Less
Submitted 1 December, 2023; v1 submitted 27 October, 2023;
originally announced October 2023.
-
Risk-Averse Trajectory Optimization via Sample Average Approximation
Authors:
Thomas Lew,
Riccardo Bonalli,
Marco Pavone
Abstract:
Trajectory optimization under uncertainty underpins a wide range of applications in robotics. However, existing methods are limited in terms of reasoning about sources of epistemic and aleatoric uncertainty, space and time correlations, nonlinear dynamics, and non-convex constraints. In this work, we first introduce a continuous-time planning formulation with an average-value-at-risk constraint ov…
▽ More
Trajectory optimization under uncertainty underpins a wide range of applications in robotics. However, existing methods are limited in terms of reasoning about sources of epistemic and aleatoric uncertainty, space and time correlations, nonlinear dynamics, and non-convex constraints. In this work, we first introduce a continuous-time planning formulation with an average-value-at-risk constraint over the entire planning horizon. Then, we propose a sample-based approximation that unlocks an efficient and general-purpose algorithm for risk-averse trajectory optimization. We prove that the method is asymptotically optimal and derive finite-sample error bounds. Simulations demonstrate the high speed and reliability of the approach on problems with stochasticity in nonlinear dynamics, obstacle fields, interactions, and terrain parameters.
△ Less
Submitted 26 September, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Convex Hulls of Reachable Sets
Authors:
Thomas Lew,
Riccardo Bonalli,
Marco Pavone
Abstract:
We study the convex hulls of reachable sets of nonlinear systems with bounded disturbances and uncertain initial conditions. Reachable sets play a critical role in control, but remain notoriously challenging to compute, and existing over-approximation tools tend to be conservative or computationally expensive. In this work, we characterize the convex hulls of reachable sets as the convex hulls of…
▽ More
We study the convex hulls of reachable sets of nonlinear systems with bounded disturbances and uncertain initial conditions. Reachable sets play a critical role in control, but remain notoriously challenging to compute, and existing over-approximation tools tend to be conservative or computationally expensive. In this work, we characterize the convex hulls of reachable sets as the convex hulls of solutions of an ordinary differential equation with initial conditions on the sphere. This finite-dimensional characterization unlocks an efficient sampling-based estimation algorithm to accurately over-approximate reachable sets. We also study the structure of the boundary of the reachable convex hulls and derive error bounds for the estimation algorithm. We give applications to neural feedback loop analysis and robust MPC.
△ Less
Submitted 29 February, 2024; v1 submitted 30 March, 2023;
originally announced March 2023.
-
Estimating the Convex Hull of the Image of a Set with Smooth Boundary: Error Bounds and Applications
Authors:
Thomas Lew,
Riccardo Bonalli,
Lucas Janson,
Marco Pavone
Abstract:
We study the problem of estimating the convex hull of the image $f(X)\subset\mathbb{R}^n$ of a compact set $X\subset\mathbb{R}^m$ with smooth boundary through a smooth function $f:\mathbb{R}^m\to\mathbb{R}^n$. Assuming that $f$ is a submersion, we derive a new bound on the Hausdorff distance between the convex hull of $f(X)$ and the convex hull of the images $f(x_i)$ of $M$ sampled inputs $x_i$ on…
▽ More
We study the problem of estimating the convex hull of the image $f(X)\subset\mathbb{R}^n$ of a compact set $X\subset\mathbb{R}^m$ with smooth boundary through a smooth function $f:\mathbb{R}^m\to\mathbb{R}^n$. Assuming that $f$ is a submersion, we derive a new bound on the Hausdorff distance between the convex hull of $f(X)$ and the convex hull of the images $f(x_i)$ of $M$ sampled inputs $x_i$ on the boundary of $X$. When applied to the problem of geometric inference from a random sample, our results give error bounds that are tighter and more general than in previous work. We present applications to the problems of robust optimization, of reachability analysis of dynamical systems, and of robust trajectory optimization under bounded uncertainty.
△ Less
Submitted 29 February, 2024; v1 submitted 27 February, 2023;
originally announced February 2023.
-
A System-Level View on Out-of-Distribution Data in Robotics
Authors:
Rohan Sinha,
Apoorva Sharma,
Somrita Banerjee,
Thomas Lew,
Rachel Luo,
Spencer M. Richards,
Yixiao Sun,
Edward Schmerling,
Marco Pavone
Abstract:
When testing conditions differ from those represented in training data, so-called out-of-distribution (OOD) inputs can mar the reliability of learned components in the modern robot autonomy stack. Therefore, co** with OOD data is an important challenge on the path towards trustworthy learning-enabled open-world autonomy. In this paper, we aim to demystify the topic of OOD data and its associated…
▽ More
When testing conditions differ from those represented in training data, so-called out-of-distribution (OOD) inputs can mar the reliability of learned components in the modern robot autonomy stack. Therefore, co** with OOD data is an important challenge on the path towards trustworthy learning-enabled open-world autonomy. In this paper, we aim to demystify the topic of OOD data and its associated challenges in the context of data-driven robotic systems, drawing connections to emerging paradigms in the ML community that study the effect of OOD data on learned models in isolation. We argue that as roboticists, we should reason about the overall \textit{system-level} competence of a robot as it operates in OOD conditions. We highlight key research questions around this system-level view of OOD problems to guide future research toward safe and reliable learning-enabled autonomy.
△ Less
Submitted 25 August, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
Robotic Table Wi** via Reinforcement Learning and Whole-body Trajectory Optimization
Authors:
Thomas Lew,
Sumeet Singh,
Mario Prats,
Jeffrey Bingham,
Jonathan Weisz,
Benjie Holson,
Xiaohan Zhang,
Vikas Sindhwani,
Yao Lu,
Fei Xia,
Peng Xu,
Tingnan Zhang,
Jie Tan,
Montserrat Gonzalez
Abstract:
We propose a framework to enable multipurpose assistive mobile robots to autonomously wipe tables to clean spills and crumbs. This problem is challenging, as it requires planning wi** actions while reasoning over uncertain latent dynamics of crumbs and spills captured via high-dimensional visual observations. Simultaneously, we must guarantee constraints satisfaction to enable safe deployment in…
▽ More
We propose a framework to enable multipurpose assistive mobile robots to autonomously wipe tables to clean spills and crumbs. This problem is challenging, as it requires planning wi** actions while reasoning over uncertain latent dynamics of crumbs and spills captured via high-dimensional visual observations. Simultaneously, we must guarantee constraints satisfaction to enable safe deployment in unstructured cluttered environments. To tackle this problem, we first propose a stochastic differential equation to model crumbs and spill dynamics and absorption with a robot wiper. Using this model, we train a vision-based policy for planning wi** actions in simulation using reinforcement learning (RL). To enable zero-shot sim-to-real deployment, we dovetail the RL policy with a whole-body trajectory optimization framework to compute base and arm joint trajectories that execute the desired wi** motions while guaranteeing constraints satisfaction. We extensively validate our approach in simulation and on hardware. Video: https://youtu.be/inORKP4F3EI
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
Sample Average Approximation for Stochastic Programming with Equality Constraints
Authors:
Thomas Lew,
Riccardo Bonalli,
Marco Pavone
Abstract:
We revisit the sample average approximation (SAA) approach for non-convex stochastic programming. We show that applying the SAA approach to problems with expected value equality constraints does not necessarily result in asymptotic optimality guarantees as the sample size increases. To address this issue, we relax the equality constraints. Then, we prove the asymptotic optimality of the modified S…
▽ More
We revisit the sample average approximation (SAA) approach for non-convex stochastic programming. We show that applying the SAA approach to problems with expected value equality constraints does not necessarily result in asymptotic optimality guarantees as the sample size increases. To address this issue, we relax the equality constraints. Then, we prove the asymptotic optimality of the modified SAA approach under mild smoothness and boundedness conditions on the equality constraint functions. Our analysis uses random set theory and concentration inequalities to characterize the approximation error from the sampling procedure. We apply our approach to the problem of stochastic optimal control for nonlinear dynamical systems subject to external disturbances modeled by a Wiener process. We verify our approach on a rocket-powered descent problem and show that our computed solutions allow for significant uncertainty reduction.
△ Less
Submitted 29 June, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Robust-RRT: Probabilistically-Complete Motion Planning for Uncertain Nonlinear Systems
Authors:
Albert Wu,
Thomas Lew,
Kiril Solovey,
Edward Schmerling,
Marco Pavone
Abstract:
Robust motion planning entails computing a global motion plan that is safe under all possible uncertainty realizations, be it in the system dynamics, the robot's initial position, or with respect to external disturbances. Current approaches for robust motion planning either lack theoretical guarantees, or make restrictive assumptions on the system dynamics and uncertainty distributions. In this pa…
▽ More
Robust motion planning entails computing a global motion plan that is safe under all possible uncertainty realizations, be it in the system dynamics, the robot's initial position, or with respect to external disturbances. Current approaches for robust motion planning either lack theoretical guarantees, or make restrictive assumptions on the system dynamics and uncertainty distributions. In this paper, we address these limitations by proposing the robust rapidly-exploring random-tree (Robust-RRT) algorithm, which integrates forward reachability analysis directly into sampling-based control trajectory synthesis. We prove that Robust-RRT is probabilistically complete (PC) for nonlinear Lipschitz continuous dynamical systems with bounded uncertainty. In other words, Robust-RRT eventually finds a robust motion plan that is feasible under all possible uncertainty realizations assuming such a plan exists. Our analysis applies even to unstable systems that admit only short-horizon feasible plans; this is because we explicitly consider the time evolution of reachable sets along control trajectories. Thanks to the explicit consideration of time dependency in our analysis, PC applies to unstabilizable systems. To the best of our knowledge, this is the most general PC proof for robust sampling-based motion planning, in terms of the types of uncertainties and dynamical systems it can handle. Considering that an exact computation of reachable sets can be computationally expensive for some dynamical systems, we incorporate sampling-based reachability analysis into Robust-RRT and demonstrate our robust planner on nonlinear, underactuated, and hybrid systems.
△ Less
Submitted 1 November, 2022; v1 submitted 16 May, 2022;
originally announced May 2022.
-
Data-Driven Chance Constrained Control using Kernel Distribution Embeddings
Authors:
Adam J. Thorpe,
Thomas Lew,
Meeko M. K. Oishi,
Marco Pavone
Abstract:
We present a data-driven algorithm for efficiently computing stochastic control policies for general joint chance constrained optimal control problems. Our approach leverages the theory of kernel distribution embeddings, which allows representing expectation operators as inner products in a reproducing kernel Hilbert space. This framework enables approximately reformulating the original problem us…
▽ More
We present a data-driven algorithm for efficiently computing stochastic control policies for general joint chance constrained optimal control problems. Our approach leverages the theory of kernel distribution embeddings, which allows representing expectation operators as inner products in a reproducing kernel Hilbert space. This framework enables approximately reformulating the original problem using a dataset of observed trajectories from the system without imposing prior assumptions on the parameterization of the system dynamics or the structure of the uncertainty. By optimizing over a finite subset of stochastic open-loop control trajectories, we relax the original problem to a linear program over the control parameters that can be efficiently solved using standard convex optimization techniques. We demonstrate our proposed approach in simulation on a system with nonlinear non-Markovian dynamics navigating in a cluttered environment.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis
Authors:
Thomas Lew,
Lucas Janson,
Riccardo Bonalli,
Marco Pavone
Abstract:
In this work, we analyze an efficient sampling-based algorithm for general-purpose reachability analysis, which remains a notoriously challenging problem with applications ranging from neural network verification to safety analysis of dynamical systems. By sampling inputs, evaluating their images in the true reachable set, and taking their $ε$-padded convex hull as a set estimator, this algorithm…
▽ More
In this work, we analyze an efficient sampling-based algorithm for general-purpose reachability analysis, which remains a notoriously challenging problem with applications ranging from neural network verification to safety analysis of dynamical systems. By sampling inputs, evaluating their images in the true reachable set, and taking their $ε$-padded convex hull as a set estimator, this algorithm applies to general problem settings and is simple to implement. Our main contribution is the derivation of asymptotic and finite-sample accuracy guarantees using random set theory. This analysis informs algorithmic design to obtain an $ε$-close reachable set approximation with high probability, provides insights into which reachability problems are most challenging, and motivates safety-critical applications of the technique. On a neural network verification task, we show that this approach is more accurate and significantly faster than prior work. Informed by our analysis, we also design a robust model predictive controller that we demonstrate in hardware experiments.
△ Less
Submitted 13 April, 2022; v1 submitted 10 December, 2021;
originally announced December 2021.
-
On the Problem of Reformulating Systems with Uncertain Dynamics as a Stochastic Differential Equation
Authors:
Thomas Lew,
Apoorva Sharma,
James Harrison,
Edward Schmerling,
Marco Pavone
Abstract:
We identify an issue in recent approaches to learning-based control that reformulate systems with uncertain dynamics using a stochastic differential equation. Specifically, we discuss the approximation that replaces a model with fixed but uncertain parameters (a source of epistemic uncertainty) with a model subject to external disturbances modeled as a Brownian motion (corresponding to aleatoric u…
▽ More
We identify an issue in recent approaches to learning-based control that reformulate systems with uncertain dynamics using a stochastic differential equation. Specifically, we discuss the approximation that replaces a model with fixed but uncertain parameters (a source of epistemic uncertainty) with a model subject to external disturbances modeled as a Brownian motion (corresponding to aleatoric uncertainty).
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Convex Optimization for Trajectory Generation
Authors:
Danylo Malyuta,
Taylor P. Reynolds,
Michael Szmuk,
Thomas Lew,
Riccardo Bonalli,
Marco Pavone,
Behcet Acikmese
Abstract:
Reliable and efficient trajectory generation methods are a fundamental need for autonomous dynamical systems of tomorrow. The goal of this article is to provide a comprehensive tutorial of three major convex optimization-based trajectory generation methods: lossless convexification (LCvx), and two sequential convex programming algorithms known as SCvx and GuSTO. In this article, trajectory generat…
▽ More
Reliable and efficient trajectory generation methods are a fundamental need for autonomous dynamical systems of tomorrow. The goal of this article is to provide a comprehensive tutorial of three major convex optimization-based trajectory generation methods: lossless convexification (LCvx), and two sequential convex programming algorithms known as SCvx and GuSTO. In this article, trajectory generation is the computation of a dynamically feasible state and control signal that satisfies a set of constraints while optimizing key mission objectives. The trajectory generation problem is almost always nonconvex, which typically means that it is not readily amenable to efficient and reliable solution onboard an autonomous vehicle. The three algorithms that we discuss use problem reformulation and a systematic algorithmic strategy to nonetheless solve nonconvex trajectory generation tasks through the use of a convex optimizer. The theoretical guarantees and computational speed offered by convex optimization have made the algorithms popular in both research and industry circles. To date, the list of applications includes rocket landing, spacecraft hypersonic reentry, spacecraft rendezvous and docking, aerial motion planning for fixed-wing and quadrotor vehicles, robot motion planning, and more. Among these applications are high-profile rocket flights conducted by organizations like NASA, Masten Space Systems, SpaceX, and Blue Origin. This article aims to give the reader the tools and understanding necessary to work with each algorithm, and to know what each method can and cannot do. A publicly available source code repository supports the provided numerical examples. By the end of the article, the reader should be ready to use the methods, to extend them, and to contribute to their many exciting modern applications.
△ Less
Submitted 16 June, 2021;
originally announced June 2021.
-
Control Barrier Functions for Cyber-Physical Systems and Applications to NMPC
Authors:
Jan Schilliger,
Thomas Lew,
Spencer M. Richards,
Severin Hänggi,
Marco Pavone,
Christopher Onder
Abstract:
Tractable safety-ensuring algorithms for cyber-physical systems are important in critical applications. Approaches based on Control Barrier Functions assume continuous enforcement, which is not possible in an online fashion. This paper presents two tractable algorithms to ensure forward invariance of discrete-time controlled cyber-physical systems. Both approaches are based on Control Barrier Func…
▽ More
Tractable safety-ensuring algorithms for cyber-physical systems are important in critical applications. Approaches based on Control Barrier Functions assume continuous enforcement, which is not possible in an online fashion. This paper presents two tractable algorithms to ensure forward invariance of discrete-time controlled cyber-physical systems. Both approaches are based on Control Barrier Functions to provide strict mathematical safety guarantees. The first algorithm exploits Lipschitz continuity and formulates the safety condition as a robust program which is subsequently relaxed to a set of affine conditions. The second algorithm is inspired by tube-NMPC and uses an affine Control Barrier Function formulation in conjunction with an auxiliary controller to guarantee safety of the system. We combine an approximate NMPC controller with the second algorithm to guarantee strict safety despite approximated constraints and show its effectiveness experimentally on a mini-Segway.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
NeBula: Quest for Robotic Autonomy in Challenging Environments; TEAM CoSTAR at the DARPA Subterranean Challenge
Authors:
Ali Agha,
Kyohei Otsu,
Benjamin Morrell,
David D. Fan,
Rohan Thakker,
Angel Santamaria-Navarro,
Sung-Kyun Kim,
Amanda Bouman,
Xianmei Lei,
Jeffrey Edlund,
Muhammad Fadhil Ginting,
Kamak Ebadi,
Matthew Anderson,
Torkom Pailevanian,
Edward Terry,
Michael Wolf,
Andrea Tagliabue,
Tiago Stegun Vaquero,
Matteo Palieri,
Scott Tepsuporn,
Yun Chang,
Arash Kalantari,
Fernando Chavez,
Brett Lopez,
Nobuhiro Funabiki
, et al. (47 additional authors not shown)
Abstract:
This paper presents and discusses algorithms, hardware, and software architecture developed by the TEAM CoSTAR (Collaborative SubTerranean Autonomous Robots), competing in the DARPA Subterranean Challenge. Specifically, it presents the techniques utilized within the Tunnel (2019) and Urban (2020) competitions, where CoSTAR achieved 2nd and 1st place, respectively. We also discuss CoSTAR's demonstr…
▽ More
This paper presents and discusses algorithms, hardware, and software architecture developed by the TEAM CoSTAR (Collaborative SubTerranean Autonomous Robots), competing in the DARPA Subterranean Challenge. Specifically, it presents the techniques utilized within the Tunnel (2019) and Urban (2020) competitions, where CoSTAR achieved 2nd and 1st place, respectively. We also discuss CoSTAR's demonstrations in Martian-analog surface and subsurface (lava tubes) exploration. The paper introduces our autonomy solution, referred to as NeBula (Networked Belief-aware Perceptual Autonomy). NeBula is an uncertainty-aware framework that aims at enabling resilient and modular autonomy solutions by performing reasoning and decision making in the belief space (space of probability distributions over the robot and world states). We discuss various components of the NeBula framework, including: (i) geometric and semantic environment map**; (ii) a multi-modal positioning system; (iii) traversability analysis and local planning; (iv) global motion planning and exploration behavior; (i) risk-aware mission planning; (vi) networking and decentralized reasoning; and (vii) learning-enabled adaptation. We discuss the performance of NeBula on several robot types (e.g. wheeled, legged, flying), in various environments. We discuss the specific results and lessons learned from fielding this solution in the challenging courses of the DARPA Subterranean Challenge competition.
△ Less
Submitted 18 October, 2021; v1 submitted 21 March, 2021;
originally announced March 2021.
-
Sequential Convex Programming For Non-Linear Stochastic Optimal Control
Authors:
Riccardo Bonalli,
Thomas Lew,
Marco Pavone
Abstract:
This work introduces a sequential convex programming framework for non-linear, finite-dimensional stochastic optimal control, where uncertainties are modeled by a multidimensional Wiener process. We prove that any accumulation point of the sequence of iterates generated by sequential convex programming is a candidate locally-optimal solution for the original problem in the sense of the stochastic…
▽ More
This work introduces a sequential convex programming framework for non-linear, finite-dimensional stochastic optimal control, where uncertainties are modeled by a multidimensional Wiener process. We prove that any accumulation point of the sequence of iterates generated by sequential convex programming is a candidate locally-optimal solution for the original problem in the sense of the stochastic Pontryagin Maximum Principle. Moreover, we provide sufficient conditions for the existence of at least one such accumulation point. We then leverage these properties to design a practical numerical method for solving non-linear stochastic optimal control problems based on a deterministic transcription of stochastic sequential convex programming.
△ Less
Submitted 26 September, 2022; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Analysis of Theoretical and Numerical Properties of Sequential Convex Programming for Continuous-Time Optimal Control
Authors:
Riccardo Bonalli,
Thomas Lew,
Marco Pavone
Abstract:
Sequential Convex Programming (SCP) has recently gained significant popularity as an effective method for solving optimal control problems and has been successfully applied in several different domains. However, the theoretical analysis of SCP has received comparatively limited attention, and it is often restricted to discrete-time formulations. In this paper, we present a unifying theoretical ana…
▽ More
Sequential Convex Programming (SCP) has recently gained significant popularity as an effective method for solving optimal control problems and has been successfully applied in several different domains. However, the theoretical analysis of SCP has received comparatively limited attention, and it is often restricted to discrete-time formulations. In this paper, we present a unifying theoretical analysis of a fairly general class of SCP procedures for continuous-time optimal control problems. In addition to the derivation of convergence guarantees in a continuous-time setting, our analysis reveals two new numerical and practical insights. First, we show how one can more easily account for manifold-type constraints, which are a defining feature of optimal control of mechanical systems. Second, we show how our theoretical analysis can be leveraged to accelerate SCP-based optimal control methods by infusing techniques from indirect optimal control.
△ Less
Submitted 3 September, 2022; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Safe Active Dynamics Learning and Control: A Sequential Exploration-Exploitation Framework
Authors:
Thomas Lew,
Apoorva Sharma,
James Harrison,
Andrew Bylard,
Marco Pavone
Abstract:
Safe deployment of autonomous robots in diverse scenarios requires agents that are capable of efficiently adapting to new environments while satisfying constraints. In this work, we propose a practical and theoretically-justified approach to maintaining safety in the presence of dynamics uncertainty. Our approach leverages Bayesian meta-learning with last-layer adaptation. The expressiveness of ne…
▽ More
Safe deployment of autonomous robots in diverse scenarios requires agents that are capable of efficiently adapting to new environments while satisfying constraints. In this work, we propose a practical and theoretically-justified approach to maintaining safety in the presence of dynamics uncertainty. Our approach leverages Bayesian meta-learning with last-layer adaptation. The expressiveness of neural-network features trained offline, paired with efficient last-layer online adaptation, enables the derivation of tight confidence sets which contract around the true dynamics as the model adapts online. We exploit these confidence sets to plan trajectories that guarantee the safety of the system. Our approach handles problems with high dynamics uncertainty, where reaching the goal safely is potentially initially infeasible, by first \textit{exploring} to gather data and reduce uncertainty, before autonomously \textit{exploiting} the acquired information to safely perform the task. Under reasonable assumptions, we prove that our framework guarantees the high-probability satisfaction of all constraints at all times jointly, i.e. over the total task duration. This theoretical analysis also motivates two regularizers of last-layer meta-learning models that improve online adaptation capabilities as well as performance by reducing the size of the confidence sets. We extensively demonstrate our approach in simulation and on hardware.
△ Less
Submitted 15 February, 2022; v1 submitted 26 August, 2020;
originally announced August 2020.
-
Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling
Authors:
Thomas Lew,
Marco Pavone
Abstract:
Reachability analysis is at the core of many applications, from neural network verification, to safe trajectory planning of uncertain systems. However, this problem is notoriously challenging, and current approaches tend to be either too restrictive, too slow, too conservative, or approximate and therefore lack guarantees. In this paper, we propose a simple yet effective sampling-based approach to…
▽ More
Reachability analysis is at the core of many applications, from neural network verification, to safe trajectory planning of uncertain systems. However, this problem is notoriously challenging, and current approaches tend to be either too restrictive, too slow, too conservative, or approximate and therefore lack guarantees. In this paper, we propose a simple yet effective sampling-based approach to perform reachability analysis for arbitrary dynamical systems. Our key novel idea consists of using random set theory to give a rigorous interpretation of our method, and prove that it returns sets which are guaranteed to converge to the convex hull of the true reachable sets. Additionally, we leverage recent work on robust deep learning and propose a new adversarial sampling approach to robustify our algorithm and accelerate its convergence. We demonstrate that our method is faster and less conservative than prior work, present results for approximate reachability analysis of neural networks and robust trajectory optimization of high-dimensional uncertain nonlinear systems, and discuss future applications.
△ Less
Submitted 7 November, 2020; v1 submitted 23 August, 2020;
originally announced August 2020.
-
Piezoresistance in defect-engineered silicon
Authors:
H. Li,
A. Thayil,
C. T. K. Lew,
M. Filoche,
B. C. Johnson,
J. C. McCallum,
S. Arscott,
A. C. H. Rowe
Abstract:
The steady-state, space-charge-limited piezoresistance (PZR) of defect-engineered, silicon-on-insulator device layers containing silicon divacancy defects changes sign as a function of applied bias. Above a punch-through voltage ($V_t$) corresponding to the onset of a space-charge-limited hole current, the longitudinal $\langle 110 \rangle$ PZR $π$-coefficient is $π\approx 65 \times 10^{-11}$~Pa…
▽ More
The steady-state, space-charge-limited piezoresistance (PZR) of defect-engineered, silicon-on-insulator device layers containing silicon divacancy defects changes sign as a function of applied bias. Above a punch-through voltage ($V_t$) corresponding to the onset of a space-charge-limited hole current, the longitudinal $\langle 110 \rangle$ PZR $π$-coefficient is $π\approx 65 \times 10^{-11}$~Pa$^{-1}$, similar to the value obtained in charge-neutral, p-type silicon. Below $V_t$, the mechanical stress dependence of the Shockley-Read-Hall (SRH) recombination parameters, specifically the divacancy trap energy $E_T$ which is estimated to vary by $\approx 30$~$μ$V/MPa, yields $π\approx -25 \times 10^{-11}$~Pa$^{-1}$. The combination of space-charge-limited transport and defect engineering which significantly reduces SRH recombination lifetimes makes this work directly relevant to discussions of giant or anomalous PZR at small strains in nano-silicon whose characteristic dimension is larger than a few nanometers. In this limit the reduced electrostatic dimensionality lowers $V_t$ and amplifies space-charge-limited currents and efficient SRH recombination occurs via surface defects. The results reinforce the growing evidence that in steady state, electro-mechanically active defects can result in anomalous, but not giant, PZR.
△ Less
Submitted 1 January, 2021; v1 submitted 11 August, 2020;
originally announced August 2020.
-
Contact Inertial Odometry: Collisions are your Friends
Authors:
Thomas Lew,
Tomoki Emmei,
David D. Fan,
Tara Bartlett,
Angel Santamaria-Navarro,
Rohan Thakker,
Ali-akbar Agha-mohammadi
Abstract:
Autonomous exploration of unknown environments with aerial vehicles remains a challenge, especially in perceptually degraded conditions. Dust, fog, or a lack of visual or LiDAR-based features results in severe difficulties for state estimation algorithms, which failure can be catastrophic. In this work, we show that it is indeed possible to navigate in such conditions without any exteroceptive sen…
▽ More
Autonomous exploration of unknown environments with aerial vehicles remains a challenge, especially in perceptually degraded conditions. Dust, fog, or a lack of visual or LiDAR-based features results in severe difficulties for state estimation algorithms, which failure can be catastrophic. In this work, we show that it is indeed possible to navigate in such conditions without any exteroceptive sensing by exploiting collisions instead of treating them as constraints. To this end, we present a novel contact-based inertial odometry (CIO) algorithm: it uses estimated external forces with the environment to detect collisions and generate pseudo-measurements of the robot velocity, enabling autonomous flight. To fully exploit this method, we first perform modeling of a hybrid ground and aerial vehicle which can withstand collisions at moderate speeds, for which we develop an external wrench estimation algorithm. Then, we present our CIO algorithm and develop a reactive planner and control law which encourage exploration by bouncing off obstacles. All components of this framework are validated in hardware experiments and we demonstrate that a quadrotor can traverse a cluttered environment using an IMU only. This work can be used on drones to recover from visual inertial odometry failure or on micro-drones that do not have the payload capacity to carry cameras, LiDARs or powerful computers.
△ Less
Submitted 25 December, 2019; v1 submitted 30 August, 2019;
originally announced September 2019.
-
Trajectory Optimization on Manifolds: A Theoretically-Guaranteed Embedded Sequential Convex Programming Approach
Authors:
Riccardo Bonalli,
Andrew Bylard,
Abhishek Cauligi,
Thomas Lew,
Marco Pavone
Abstract:
Sequential Convex Programming (SCP) has recently gained popularity as a tool for trajectory optimization due to its sound theoretical properties and practical performance. Yet, most SCP-based methods for trajectory optimization are restricted to Euclidean settings, which precludes their application to problem instances where one must reason about manifold-type constraints (that is, constraints, su…
▽ More
Sequential Convex Programming (SCP) has recently gained popularity as a tool for trajectory optimization due to its sound theoretical properties and practical performance. Yet, most SCP-based methods for trajectory optimization are restricted to Euclidean settings, which precludes their application to problem instances where one must reason about manifold-type constraints (that is, constraints, such as loop closure, which restrict the motion of a system to a subset of the ambient space). The aim of this paper is to fill this gap by extending SCP-based trajectory optimization methods to a manifold setting. The key insight is to leverage geometric embeddings to lift a manifold-constrained trajectory optimization problem into an equivalent problem defined over a space enjoying a Euclidean structure. This insight allows one to extend existing SCP methods to a manifold setting in a fairly natural way. In particular, we present a SCP algorithm for manifold problems with refined theoretical guarantees that resemble those derived for the Euclidean setting, and demonstrate its practical performance via numerical experiments.
△ Less
Submitted 18 May, 2019;
originally announced May 2019.
-
Spatial map** of band bending in semiconductor devices using in-situ quantum sensors
Authors:
D. A. Broadway,
N. Dontschuk,
A. Tsai,
S. E. Lillie,
C. T. -K. Lew,
J. C. McCallum,
B. C. Johnson,
M. W. Doherty,
A. Stacey,
L. C. L. Hollenberg,
J. -P. Tetienne
Abstract:
Band bending is a central concept in solid-state physics that arises from local variations in charge distribution especially near semiconductor interfaces and surfaces. Its precision measurement is vital in a variety of contexts from the optimisation of field effect transistors to the engineering of qubit devices with enhanced stability and coherence. Existing methods are surface sensitive and are…
▽ More
Band bending is a central concept in solid-state physics that arises from local variations in charge distribution especially near semiconductor interfaces and surfaces. Its precision measurement is vital in a variety of contexts from the optimisation of field effect transistors to the engineering of qubit devices with enhanced stability and coherence. Existing methods are surface sensitive and are unable to probe band bending at depth from surface or bulk charges related to crystal defects. Here we propose an in-situ method for probing band bending in a semiconductor device by imaging an array of atomic-sized quantum sensing defects to report on the local electric field. We implement the concept using the nitrogen-vacancy centre in diamond, and map the electric field at different depths under various surface terminations. We then fabricate a two-terminal device based on the conductive two-dimensional hole gas formed at a hydrogen-terminated diamond surface, and observe an unexpected spatial modulation of the electric field attributed to a complex interplay between charge injection and photo-ionisation effects. Our method opens the way to three-dimensional map** of band bending in diamond and other semiconductors hosting suitable quantum sensors, combined with simultaneous imaging of charge transport in complex operating devices.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
Giant, anomalous piezo-impedance of silicon-on-insulator
Authors:
Heng Li,
Christopher Tao-Kuan Lew,
Brett Johnson,
Jeffrey McCallum,
Steve Arscott,
Alistair Rowe
Abstract:
A giant, anomalous piezo-response of fully-depleted silicon-on-insulator (FD-SOI) devices under mechanical stress is demonstrated using impedance spectroscopy. This piezo-response strongly depends on the measurement frequency, $ω$, and consists of both a piezoresistance (PZR) and piezocapacitance whose maximum values are $π_R = -1100 \times 10^{-11}$ Pa$^{-1}$ and $π_C = -900 \times 10^{-11}$ Pa…
▽ More
A giant, anomalous piezo-response of fully-depleted silicon-on-insulator (FD-SOI) devices under mechanical stress is demonstrated using impedance spectroscopy. This piezo-response strongly depends on the measurement frequency, $ω$, and consists of both a piezoresistance (PZR) and piezocapacitance whose maximum values are $π_R = -1100 \times 10^{-11}$ Pa$^{-1}$ and $π_C = -900 \times 10^{-11}$ Pa$^{-1}$ respectively. These values should be compared with the usual bulk PZR in p-type silicon, $π_R= 70 \times 10^{-11}$ Pa$^{-1}$. The observations are well described using models of space charge limited electron and hole currents in the presence of fast electronic traps having stress-dependent capture ($ω_c$) and emission rates. Under steady-state conditions (i.e. when $ω\ll ω_c$) where the impedance spectroscopy measurements yield results that are directly comparable with previously published reports of PZR in depleted, silicon nano-objects, the overall piezo-response is just the usual, bulk silicon PZR. Anomalous PZR is observed only under non-steady-state conditions when $ω\approx ω_c$, with a symmetry suggesting that the electro-mechanically active fast traps are native Pb$_0$ interface defects. The observations suggest new functionalities for FD-SOI, and shed light on the debate over the PZR of carrier depleted nano-silicon.
△ Less
Submitted 29 November, 2018; v1 submitted 29 January, 2018;
originally announced January 2018.
