safetyNetControl
Implementation of the safety net controller based on backward rechable set computation
Contents
Syntax
[objContr,res] = safetyNetControl(benchmark,Param,Opts,Post)
Description
Offline-phase computations for the Safety Net Control Algorithm Algorithm.
Input Arguments
benchmark |
name of the considered benchmark model (see; "aroc/benchmarks/...") |
||||||||||||||||||||||
Param |
a structure containing the benchmark parameters
|
||||||||||||||||||||||
Opts |
a structure containing the algorithm settings
|
||||||||||||||||||||||
Post |
function handle to the postprocessing function that is used to compute the occupancy set |
Output Arguments
objContr |
resulting controller storing the data computed during the offline phase (class: objSafteyNetContr) |
res |
results object storing the computed reachable set and the center trajectory |
See Also
References
- [1] Schuermann et al. (2019), Formal Safety Net Control Using Backward Reachability Analysis
© 2018-2020 I6 Technische Universität München Website License
![]() |
![]() |
![]() |
![]() |