Problem types
Closed-loop system
ClosedLoopReachability.ControlledPlant — TypeControlledPlant{ST, CT, XT, DT, PT, CPRT, CPST} <: AbstractControlProblemStruct 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.