Invention Application
- Patent Title: AUTOMATED SYSTEM FOR GENERATING APPROXIMATE SAFETY CONDITIONS FOR MONITORING AND VERIFICATION
-
Application No.: US17115770Application Date: 2020-12-08
-
Publication No.: US20210365596A1Publication Date: 2021-11-25
- Inventor: Byron N. Heersink , Michael A. Warren , Christopher Serrano
- Applicant: HRL Laboratories, LLC
- Applicant Address: US CA Malibu
- Assignee: HRL Laboratories, LLC
- Current Assignee: HRL Laboratories, LLC
- Current Assignee Address: US CA Malibu
- Main IPC: G06F21/88
- IPC: G06F21/88 ; G06N3/04

Abstract:
Described is a system and method for generating safety conditions for a cyber-physical system with state space S, action space A and trajectory data labelled as either safe or unsafe. In operation, the system receives inputs and ten minimizes loss functions to cause a neural network to become a barrier function. Based on the barrier function, the system can then determine if the cyber-physical system is entering an usafe state, such that if the cyber-physical system is entering the usafe state, then the cyber-physical system is caused to initiate a maneuver to position the cyber-physical system into a safe state.
Public/Granted literature
- US11663370B2 Automated system for generating approximate safety conditions for monitoring and verification Public/Granted day:2023-05-30
Information query