System

The structure

ControlSystem{N, T}

is the abstract type that defines a control system.

SimpleSystem{N, T, F <: Function, F2} <: ControlSystem{N, T}

is one implementation of the ControlSystem type.

ControlSystemGrowth{N, T, F1 <: Function, F2 <: Function, F3 <: Function} <: ControlSystem{N, T}

is one implementation of the ControlSystem type for which we have a growth bound function.

ControlSystemLinearized{N, T, F1 <: Function, F2 <: Function, F3 <: Function, F4 <: Function, } <: ControlSystem{N, T}

is one implementation of the ControlSystem type for which we have linearized the system map.

EllipsoidalAffineApproximatedSystem{}

is a system whose dynamics is a noisy constrained affine control discrete system whose cells are ellipsoids, with a bound on the Lipschitz constant.

ConstantController{T, VT}

encodes a constant state-dependent controller of the κ(x) = c.

AffineController{T, MT, VT1, VT2}

encodes an affine state-dependent controller of the κ(x) = K*(x-c)+ℓ.

DiscreteTrajectory{Q, TT}

q_0 is the starting mode and transitions is a sequence of discrete transitions in the system.

ContinuousTrajectory{T, XVT<:AbstractVector{T}, UVT<:AbstractVector{T}}

x is a sequence of points in the state space and u is a sequence of points in the input space.

HybridTrajectory{T, TT, XVT <: AbstractVector{T}, UVT <: AbstractVector{T}}

discrete is the discrete trajectory of type DiscreteTrajectory and continuous is a the continuous trajectory of type ContinuousTrajectory.

Trajectory{T}

provides the sequence of some elements of a trajectory.

Control_trajectory{T1, T2}

provides the sequence of states and inputs of a trajectory.

Cost_control_trajectory{T1, T2, T3}

provides the sequence of states, inputs (via Control_trajectory) and costs of a trajectory.

get_under_approximation_map(approx::DiscreteTimeSystemUnderApproximation) -> Function

Returns a function that computes the underapproximation (list of points) of the system's evolution. f(rect::UT.HyperRectangle{N,T}, u::SVector{M,T}) -> SVector{N,T}[]

get_under_approximation_map(approx::ContinuousTimeSystemUnderApproximation) -> Function

Returns a function that computes the underapproximation (list of points) of the system's evolution. f(rect::UT.HyperRectangle{N,T}, u::SVector{M,T}, tstep::T) -> SVector{N,T}[]

get_over_approximation_map(approx::DiscreteTimeSystemOverApproximation) -> Function

Returns a function that computes the overapproximation of the system's evolution. f(rect::UT.HyperRectangle{N,T}, u::SVector{M,T}) -> UT.HyperRectangle{N,T}

get_over_approximation_map(overApprox::ContinuousTimeSystemOverApproximation) -> Function

Returns a function that computes the overapproximation of the system's evolution. f(rect::UT.HyperRectangle{N,T}, u::SVector{M,T}, tstep::T) -> UT.HyperRectangle{N,T}