Problem types
Closed-loop system
ClosedLoopReachability.ControlledPlant
— TypeControlledPlant{ST, CT, XT, DT, PT, CPRT, CPST} <: AbstractControlProblem
Struct representing a closed-loop controlled system.
Fields
ivp
– initial-value problemcontroller
– controllervars
– dictionary storing state variables, input variables and control variablesperiod
– control periodpostprocessing
– postprocessing of the controller outputpreprocessing
– preprocessing of the controller input
Parameters
ST
: type of systemCT
: type of controllerXT
: type of initial conditionDT
: type of variablesPT
: type of periodCPRT
: type of control preprocessingCPST
: type of control postprocessing
Notes
While typically the controller
is a neural network, this struct does not prescribe the type.