Invention Grant
- Patent Title: Automated system for generating approximate safety conditions for monitoring and verification
-
Application No.: US17115770Application Date: 2020-12-08
-
Publication No.: US11663370B2Publication Date: 2023-05-30
- 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
- Agency: Tope-McKay & Associates
- Main IPC: G06N3/04
- IPC: G06N3/04 ; G06F21/88

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
- US20210365596A1 AUTOMATED SYSTEM FOR GENERATING APPROXIMATE SAFETY CONDITIONS FOR MONITORING AND VERIFICATION Public/Granted day:2021-11-25
Information query