reachSafetyNetContr
compute reachable set for the Safety Net Controller
Contents
Syntax
Description
This function computes the forward reachble set for one time step of the Safety Net Controller.
Input Arguments
sys |
object that represents the dynamics of the closed-loop system (class: nonlinParamSys) |
||||||||||||
R0 |
initial set (class: zonotope) |
||||||||||||
H |
matrix storing the generator-to-input assignment |
||||||||||||
U |
cell-array containing the sets of admissble control inputs for all intermediate time steps |
||||||||||||
Opts |
structure containing the following options
|
Output Arguments
R |
final reachable set (class: polyZonotope) |
Rcont |
object storing the reachable sets (class: reachSet) |
See Also
© 2018-2020 I6 Technische Universität München Website License
![]() |
![]() |
![]() |
![]() |