Neural Simplex Architecture

08/01/2019
by   Dung Phan, et al.
0

We present the Neural Simplex Architecture (NSA), a new approach to runtime assurance that provides safety guarantees for neural controllers (obtained e.g. using reinforcement learning) of complex autonomous and other cyber-physical systems without unduly sacrificing performance. NSA is inspired by the Simplex control architecture of Sha et al., but with some significant differences. In the traditional Simplex approach, the advanced controller (AC) is treated as a black box; there are no techniques for correcting the AC after it generates a potentially unsafe control input that causes a failover to the BC. Our NSA addresses this limitation. NSA not only provides safety assurances for CPSs in the presence of a possibly faulty neural controller, but can also improve the safety of such a controller in an online setting via retraining, without degrading its performance. NSA also offers reverse switching strategies, which allow the AC to resume control of the system under reasonable conditions, allowing the mission to continue unabated. Our experimental results on several significant case studies, including a target-seeking ground rover navigating an obstacle field and a neural controller for an artificial pancreas system, demonstrate NSA's benefits.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/24/2021

Safe CPS from Unsafe Controllers

In this paper, we explore using runtime verification to design safe cybe...
research
12/18/2020

A Distributed Simplex Architecture for Multi-Agent Systems

We present Distributed Simplex Architecture (DSA), a new runtime assuran...
research
02/20/2023

Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems

Learning Enabled Components (LEC) have greatly assisted cyber-physical s...
research
02/20/2022

Runtime-Assured, Real-Time Neural Control of Microgrids

We present SimpleMG, a new, provably correct design methodology for runt...
research
08/17/2020

Runtime-Safety-Guided Policy Repair

We study the problem of policy repair for learning-based control policie...
research
10/20/2020

Runtime Safety Assurance Using Reinforcement Learning

The airworthiness and safety of a non-pedigreed autopilot must be verifi...
research
01/02/2023

Sparse neural networks with skip-connections for nonlinear system identification

Data-driven models such as neural networks are being applied more and mo...

Please sign up or login with your details

Forgot password? Click here to reset