compOccupancySet

compute the occupancy set from the reachable set

Contents

Syntax

O = compOccupancySet(R,post)

Description

This function computes the occupancy set from a previously computed reachable set. The occupancy set stores the set as well as the time of the set.

Input Arguments

R

object storing the reachable set (class: reachSet)

post

function handle to the function that computes the occupancy set from the reachable set for the considered benchmark

Output Arguments

O

cell-array storing the occupancy set

See Also

maneuverAutomaton


© 2018-2020 I6 Technische Universität München Website License

logoAroc logoCora logoChair logoTum