verse.analysis.dryvr_disc.calc_bloated_tube_dryvr

verse.analysis.dryvr_disc.calc_bloated_tube_dryvr(mode_label, initial_set, time_horizon, time_step, sim_func, bloating_method, kvalue, sim_trace_num, guard_checker=None, guard_str='', lane_map=None, traces=None)

This function calculate the reach tube for single given mode

Args:

mode_label (str): mode name initial_set (list): a list contains upper and lower bound of the initial set time_horizon (float): time horizon to simulate sim_func (function): simulation function bloating_method (str): determine the bloating method for reach tube, either GLOBAL or PW sim_trace_num (int): number of simulations used to calculate the discrepancy kvalue (list): list of float used when bloating method set to PW guard_checker (verse.core.guard.Guard or None): guard check object guard_str (str): guard string

Returns:

Bloated reach tube