Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Authors:
Daniel Jackson,
Valerie Richmond,
Mike Wang,
Jeff Chow,
Uriel Guajardo,
Soonho Kong,
Sergio Campos,
Geoffrey Litt,
Nikos Arechiga
Abstract:
Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide a framework for justifiable confidence in that safety. The key idea is a runtime monitor that acts, along with sensor hardware and low-level control and actuat…
▽ More
Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide a framework for justifiable confidence in that safety. The key idea is a runtime monitor that acts, along with sensor hardware and low-level control and actuators, as a small trusted base, ensuring the safety of the system as a whole.
Unfortunately, in current systems complex perception makes the verification even of a runtime monitor challenging. Unlike traditional runtime monitoring, therefore, a certified control monitor does not perform perception and analysis itself. Instead, the main controller assembles evidence that the proposed action is safe into a certificate that is then checked independently by the monitor. This exploits the classic gap between the costs of finding and checking. The controller is assigned the task of finding the certificate, and can thus use the most sophisticated algorithms available (including learning-enabled software); the monitor is assigned only the task of checking, and can thus run quickly and be smaller and formally verifiable.
This paper explains the key ideas of certified control and illustrates them with a certificate for LiDAR data and its formal verification. It shows how the architecture dramatically reduces the amount of code to be verified, providing an end-to-end safety analysis that would likely not be achievable in a traditional architecture.
△ Less
Submitted 28 March, 2021;
originally announced April 2021.
Noncontact Imaging of Ion Dynamics in Polymer Electrolytes with Time-Resolved Electrostatic Force Microscopy
Authors:
Jeffrey S. Harrison,
Dean A. Waldow,
Phillip A. Cox,
Rajiv Giridharagopal,
Marisa L. Adams,
Victoria L. Richmond,
Sevryn P. Modahl,
Megan R. Longstaff,
Rodion A. Zhuravlev,
David S. Ginger
Abstract:
Ionic transport processes govern performance in many classic and emerging devices, ranging from battery storage to modern mixed-conduction electrochemical transistors. Here, we study local ion transport dynamics in polymer films using time-resolved electrostatic force microscopy (trEFM). We establish a correspondence between local and macroscopic measurements using local trEFM and macroscopic elec…
▽ More
Ionic transport processes govern performance in many classic and emerging devices, ranging from battery storage to modern mixed-conduction electrochemical transistors. Here, we study local ion transport dynamics in polymer films using time-resolved electrostatic force microscopy (trEFM). We establish a correspondence between local and macroscopic measurements using local trEFM and macroscopic electrical impedance spectroscopy (EIS). We use polymer films doped with lithium bis(trifluoromethane)sulfonimide (LiTFSI) as a model system where the polymer backbone has oxanorbornenedicarboximide repeat units with an oligomeric ethylene oxide side chain of length n. Our results show that the local polymer response measured in the time domain with trEFM follows stretched exponential relaxation kinetics, consistent with the Havriliak-Negami relaxation we measure in the frequency-domain EIS data for macroscopic samples of the same polymers. Furthermore, we show that the trEFM results capture the same trends as the EIS results-changes in ion dynamics with increasing temperature, increasing salt concentration, and increasing volume fraction of ethylene oxide side chains in the polymer matrix evolve with the same trends in both measurement techniques. We conclude from this correlation that trEFM data reflect, at the nanoscale, the same ionic processes probed in conventional EIS at the device level. Finally, as an example application for emerging materials syntheses, we use trEFM and infrared photoinduced force microscopy (PiFM) to image a novel diblock copolymer electrolyte for next-generation solid-state energy storage applications.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.