reachSetConformance

compute reachable set of a conformant model

Contents

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

logoAroc logoCora logoChair logoTum


Published with MATLAB® R2022a