An Interval Arithmetic Approach to Input-Output Reachability

Ivan Perez Avellaneda, Luis A. Duffaut Espinosa

The safety region of operation of a system is the subset of allowed outputs for which no undesirable outcome would occur. Knowing if a system would ever leave its safety regions of…