reachSetPred
computes the reachable set for an LQR comfort controller
Contents
Syntax
Description
Computes the reachable set for an LQR (Linear Quadratic Regulator) comfort controller for the allocated computation time to predict where the system state will be when the synthesis and verification of the comfort controller is finished.
Input Arguments
|
obj |
object of class comfContrLQR storing the control law computed in the offline-phase |
|
x0 |
initial point for the reachable set computation |
|
iter |
current iteration (=time step) of the Safety Net Controller |
|
Param |
control parameters computed during the online phase |
Output Arguments
|
R |
final reachable set (class: zonotope) |
See Also
safetyNetControl, simulate, comfContrLQR
© 2018-2023 I6 Technische Universität München • Website • License
|
 |
 |
 |