Patent Document ID: 10061876
Application ID: 14979061
Patent Flag: 1

Claim One:
1. A system comprising: a processing device; non-transitory, computer-readable medium storing a set of initial states and a set of unsafe states of a non-linear model of a control system that is to interact with a physical system, and further storing the non-linear model and instructions; wherein the processing device is to execute the instructions to compute a piece-wise, exponential discrepancy function of the non-linear model comprising to: (i) perform a simulation of the non-linear model using a set of sampled states from the set of initial states, to generate a plurality of trajectories over bounded time, wherein a trajectory is a set of numerical approximations of behaviors of the physical system; (ii) determine, for respective pairs of neighboring trajectories from the plurality of trajectories: (a) an over-approximation of reachable states of the physical system as an upper bound of a distance between a pair of neighboring trajectories, wherein the distance approaches zero (“0”) as initial states of the pair of neighboring trajectories approach each other; (b) a linear over-approximation of the reachable states as piece-wise linear segments over a plurality of time intervals; and (c) whether the linear over-approximation overlaps in any of the piece-wise linear segments with the unsafe states, to verify the non-linear model of the control system is safe.