# postprocessing_ship

compute the occupancy set from the reachable set

## Contents

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

## Syntax

R = postprocessing_ship(R)

## Description

This function computes the set occupied by the car form the computed reachable set. The occupancy set is later on used for collision checking during online application of the Manuever Automaton. For the car benchmark, the reachable set is projected to the position states and bloated by the size of the car.

## Input Arguments

R | cell-array storing the reachable set

## Output Arguments

R | cell-array storing the transformed reachable set

## See Also

`ship`, `maneuverAutomaton`

© 2018-2023 I6 Technische Universität München `•` Website `•` License