# reachSetConformance

compute reachable set of a conformant model

## Contents

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

## Syntax

R = reachSetConformance(benchmark,measurement,W)
R = reachSetConformance(benchmark,measurement,W,V)

## Description

This function computes the reachable set of a conformant system model for the input commands corresponding to the given measurement.

## Input Arguments

benchmark | name of the considered benchmark model (see; "aroc/benchmarks/dynamics/...")
measurement | measurement represented as a struct with the following fields:
.x | matrix storing the measured trajectory of the real system (dimension: [n,N])
.u | matrix storing the input signal corresponding to the measured trajectory (dimension: [m,N-1])
.t | vector storing the time points for the measured trajectory (dimension: [1,N])
W | set of disturbances
V | set of measurement errors

## Output Arguments

R | reachable set (class: reachSet)

## See Also

`conformantSynthesis`, `conformantSynthesisNonlinear`

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