# compOccupancySet

compute the occupancy set from the reachable set

## Contents

- Syntax
- Description
- Input Arguments
- Output Arguments
- See Also

## 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-2023 I6 Technische Universität München `•` Website `•` License