CasADiControlProblem< Conf > Class Template Reference

#include <alpaqa/casadi/CasADiControlProblem.hpp>

Detailed Description

template<Config Conf>
class builtin::CasADiControlProblem< Conf >

Definition at line 19 of file CasADiControlProblem.hpp.

Collaboration diagram for CasADiControlProblem< Conf >:

Public Types
using	Box = alpaqa::Box< config_t >

Public Member Functions
	CasADiControlProblem (const std::string &filename, length_t N)
	~CasADiControlProblem ()
	CasADiControlProblem (const CasADiControlProblem &)
CasADiControlProblem &	operator= (const CasADiControlProblem &)
	CasADiControlProblem (CasADiControlProblem &&) noexcept
CasADiControlProblem &	operator= (CasADiControlProblem &&) noexcept
void	load_numerical_data (const std::filesystem::path &filepath, char sep=',')
	Load the numerical problem data (bounds and parameters) from a CSV file.
void	get_U (Box &U) const
void	get_D (Box &D) const
void	get_D_N (Box &D_N) const
void	get_x_init (rvec x_init) const
void	eval_f (index_t timestep, crvec x, crvec u, rvec fxu) const
void	eval_jac_f (index_t timestep, crvec x, crvec u, rmat J_fxu) const
void	eval_grad_f_prod (index_t timestep, crvec x, crvec u, crvec p, rvec grad_fxu_p) const
void	eval_h (index_t timestep, crvec x, crvec u, rvec h) const
void	eval_h_N (crvec x, rvec h) const
real_t	eval_l (index_t timestep, crvec h) const
real_t	eval_l_N (crvec h) const
void	eval_qr (index_t timestep, crvec xu, crvec h, rvec qr) const
void	eval_q_N (crvec x, crvec h, rvec q) const
void	eval_add_Q (index_t timestep, crvec xu, crvec h, rmat Q) const
void	eval_add_Q_N (crvec x, crvec h, rmat Q) const
void	eval_add_R_masked (index_t timestep, crvec xu, crvec h, crindexvec mask, rmat R, rvec work) const
void	eval_add_S_masked (index_t timestep, crvec xu, crvec h, crindexvec mask, rmat S, rvec work) const
void	eval_add_R_prod_masked (index_t timestep, crvec xu, crvec h, crindexvec mask_J, crindexvec mask_K, crvec v, rvec out, rvec work) const
void	eval_add_S_prod_masked (index_t timestep, crvec xu, crvec h, crindexvec mask_K, crvec v, rvec out, rvec work) const
length_t	get_R_work_size () const
length_t	get_S_work_size () const
void	eval_constr (index_t timestep, crvec x, rvec c) const
void	eval_grad_constr_prod (index_t timestep, crvec x, crvec p, rvec grad_cx_p) const
void	eval_add_gn_hess_constr (index_t timestep, crvec x, crvec M, rmat out) const
void	eval_constr_N (crvec x, rvec c) const
void	eval_grad_constr_prod_N (crvec x, crvec p, rvec grad_cx_p) const
void	eval_add_gn_hess_constr_N (crvec x, crvec M, rmat out) const
void	check () const
length_t	get_N () const
length_t	get_nx () const
length_t	get_nu () const
length_t	get_nh () const
length_t	get_nh_N () const
length_t	get_nc () const
length_t	get_nc_N () const
void	eval_proj_diff_g (crvec z, rvec e) const
void	eval_proj_multipliers (rvec y, real_t M) const

Public Attributes
length_t	N
length_t	nx
length_t	nu
length_t	nh
length_t	nh_N
length_t	nc
length_t	nc_N
vec	x_init
vec	param
Box	U
Box	D
Box	D_N
vec	work
index_t	penalty_alm_split = 0
	Components of the constraint function with indices below this number are handled using a quadratic penalty method rather than using an augmented Lagrangian method.
index_t	penalty_alm_split_N = 0
	Same as penalty_alm_split, but for the terminal constraint.

Private Types
using	Functions = casadi_loader::CasADiControlFunctionsWithParam< Conf >

Private Attributes
util::copyable_unique_ptr< Functions >	impl

Member Typedef Documentation

Box

template<Config Conf>

using Box = alpaqa::Box<config_t>

Definition at line 22 of file CasADiControlProblem.hpp.

Functions

template<Config Conf>

using Functions = casadi_loader::CasADiControlFunctionsWithParam<Conf>

private

Definition at line 177 of file CasADiControlProblem.hpp.

Constructor & Destructor Documentation

CasADiControlProblem() [1/3]

template<Config Conf>

CasADiControlProblem	(	const std::string &	filename,
		length_t	N
	)

Definition at line 217 of file CasADiControlProblem.tpp.

Here is the call graph for this function:

~CasADiControlProblem()

template<Config Conf>

~CasADiControlProblem ( )

default

CasADiControlProblem() [2/3]

template<Config Conf>

CasADiControlProblem ( const CasADiControlProblem< Conf > &  )

default

CasADiControlProblem() [3/3]

template<Config Conf>

CasADiControlProblem ( CasADiControlProblem< Conf > &&  )

defaultnoexcept

Member Function Documentation

operator=() [1/2]

template<Config Conf>

CasADiControlProblem< Conf > & operator= ( const CasADiControlProblem< Conf > &  )

default

operator=() [2/2]

template<Config Conf>

CasADiControlProblem< Conf > & operator= ( CasADiControlProblem< Conf > &&  )

defaultnoexcept

load_numerical_data()

template<Config Conf>

void load_numerical_data	(	const std::filesystem::path &	filepath,
		char	sep = ','
	)

Load the numerical problem data (bounds and parameters) from a CSV file.

The file should contain 8 rows, with the following contents:

1. U lower bound [nu]
2. U upper bound [nu]
3. D lower bound [nc]
4. D upper bound [nc]
5. D_N lower bound [nc_N]
6. D_N upper bound [nc_N]
7. x_init [nx]
8. param [p]

Line endings are encoded using a single line feed (\n), and the column separator can be specified using the sep argument.

Definition at line 258 of file CasADiControlProblem.tpp.

Here is the caller graph for this function:

get_U()

template<Config Conf>

void get_U ( Box &  U ) const

inline

Definition at line 61 of file CasADiControlProblem.hpp.

get_D()

template<Config Conf>

void get_D ( Box &  D ) const

inline

Definition at line 62 of file CasADiControlProblem.hpp.

get_D_N()

template<Config Conf>

void get_D_N ( Box &  D_N ) const

inline

Definition at line 63 of file CasADiControlProblem.hpp.

get_x_init()

template<Config Conf>

void get_x_init ( rvec  x_init ) const

inline

Definition at line 64 of file CasADiControlProblem.hpp.

eval_f()

template<Config Conf>

void eval_f	(	index_t	timestep,
		crvec	x,
		crvec	u,
		rvec	fxu
	)		const

Definition at line 327 of file CasADiControlProblem.tpp.

eval_jac_f()

template<Config Conf>

void eval_jac_f	(	index_t	timestep,
		crvec	x,
		crvec	u,
		rmat	J_fxu
	)		const

Definition at line 335 of file CasADiControlProblem.tpp.

eval_grad_f_prod()

template<Config Conf>

void eval_grad_f_prod	(	index_t	timestep,
		crvec	x,
		crvec	u,
		crvec	p,
		rvec	grad_fxu_p
	)		const

Definition at line 344 of file CasADiControlProblem.tpp.

eval_h()

template<Config Conf>

void eval_h	(	index_t	timestep,
		crvec	x,
		crvec	u,
		rvec	h
	)		const

Definition at line 355 of file CasADiControlProblem.tpp.

eval_h_N()

template<Config Conf>

void eval_h_N	(	crvec	x,
		rvec	h
	)		const

Definition at line 363 of file CasADiControlProblem.tpp.

eval_l()

template<Config Conf>

auto eval_l	(	index_t	timestep,
		crvec	h
	)		const

Definition at line 369 of file CasADiControlProblem.tpp.

eval_l_N()

template<Config Conf>

auto eval_l_N

(

crvec

h

)

const

Definition at line 376 of file CasADiControlProblem.tpp.

eval_qr()

template<Config Conf>

void eval_qr	(	index_t	timestep,
		crvec	xu,
		crvec	h,
		rvec	qr
	)		const

Definition at line 383 of file CasADiControlProblem.tpp.

eval_q_N()

template<Config Conf>

void eval_q_N	(	crvec	x,
		crvec	h,
		rvec	q
	)		const

Definition at line 391 of file CasADiControlProblem.tpp.

eval_add_Q()

template<Config Conf>

void eval_add_Q	(	index_t	timestep,
		crvec	xu,
		crvec	h,
		rmat	Q
	)		const

Definition at line 398 of file CasADiControlProblem.tpp.

eval_add_Q_N()

template<Config Conf>

void eval_add_Q_N	(	crvec	x,
		crvec	h,
		rmat	Q
	)		const

Definition at line 421 of file CasADiControlProblem.tpp.

eval_add_R_masked()

template<Config Conf>

void eval_add_R_masked	(	index_t	timestep,
		crvec	xu,
		crvec	h,
		crindexvec	mask,
		rmat	R,
		rvec	work
	)		const

Definition at line 444 of file CasADiControlProblem.tpp.

eval_add_S_masked()

template<Config Conf>

void eval_add_S_masked	(	index_t	timestep,
		crvec	xu,
		crvec	h,
		crindexvec	mask,
		rmat	S,
		rvec	work
	)		const

Definition at line 475 of file CasADiControlProblem.tpp.

eval_add_R_prod_masked()

template<Config Conf>

void eval_add_R_prod_masked	(	index_t	timestep,
		crvec	xu,
		crvec	h,
		crindexvec	mask_J,
		crindexvec	mask_K,
		crvec	v,
		rvec	out,
		rvec	work
	)		const

Definition at line 506 of file CasADiControlProblem.tpp.

eval_add_S_prod_masked()

template<Config Conf>

void eval_add_S_prod_masked	(	index_t	timestep,
		crvec	xu,
		crvec	h,
		crindexvec	mask_K,
		crvec	v,
		rvec	out,
		rvec	work
	)		const

Definition at line 535 of file CasADiControlProblem.tpp.

get_R_work_size()

template<Config Conf>

auto get_R_work_size

(

)

const

Definition at line 564 of file CasADiControlProblem.tpp.

get_S_work_size()

template<Config Conf>

auto get_S_work_size

(

)

const

Definition at line 570 of file CasADiControlProblem.tpp.

eval_constr()

template<Config Conf>

void eval_constr	(	index_t	timestep,
		crvec	x,
		rvec	c
	)		const

Definition at line 576 of file CasADiControlProblem.tpp.

eval_grad_constr_prod()

template<Config Conf>

void eval_grad_constr_prod	(	index_t	timestep,
		crvec	x,
		crvec	p,
		rvec	grad_cx_p
	)		const

Definition at line 585 of file CasADiControlProblem.tpp.

eval_add_gn_hess_constr()

template<Config Conf>

void eval_add_gn_hess_constr	(	index_t	timestep,
		crvec	x,
		crvec	M,
		rmat	out
	)		const

Definition at line 595 of file CasADiControlProblem.tpp.

eval_constr_N()

template<Config Conf>

void eval_constr_N	(	crvec	x,
		rvec	c
	)		const

Definition at line 621 of file CasADiControlProblem.tpp.

eval_grad_constr_prod_N()

template<Config Conf>

void eval_grad_constr_prod_N	(	crvec	x,
		crvec	p,
		rvec	grad_cx_p
	)		const

Definition at line 630 of file CasADiControlProblem.tpp.

eval_add_gn_hess_constr_N()

template<Config Conf>

void eval_add_gn_hess_constr_N	(	crvec	x,
		crvec	M,
		rmat	out
	)		const

Definition at line 639 of file CasADiControlProblem.tpp.

check()

template<Config Conf>

void check ( ) const

inline

Definition at line 99 of file CasADiControlProblem.hpp.

get_N()

template<Config Conf>

length_t get_N ( ) const

inline

Definition at line 124 of file CasADiControlProblem.hpp.

get_nx()

template<Config Conf>

length_t get_nx ( ) const

inline

Definition at line 125 of file CasADiControlProblem.hpp.

get_nu()

template<Config Conf>

length_t get_nu ( ) const

inline

Definition at line 126 of file CasADiControlProblem.hpp.

get_nh()

template<Config Conf>

length_t get_nh ( ) const

inline

Definition at line 127 of file CasADiControlProblem.hpp.

get_nh_N()

template<Config Conf>

length_t get_nh_N ( ) const

inline

Definition at line 128 of file CasADiControlProblem.hpp.

get_nc()

template<Config Conf>

length_t get_nc ( ) const

inline

Definition at line 129 of file CasADiControlProblem.hpp.

get_nc_N()

template<Config Conf>

length_t get_nc_N ( ) const

inline

Definition at line 130 of file CasADiControlProblem.hpp.

eval_proj_diff_g()

template<Config Conf>

void eval_proj_diff_g ( crvec  z, rvec  e  ) const

inline

See also

TypeErasedControlProblem::eval_proj_diff_g

Definition at line 133 of file CasADiControlProblem.hpp.

eval_proj_multipliers()

template<Config Conf>

void eval_proj_multipliers ( rvec  y, real_t  M  ) const

inline

See also

TypeErasedControlProblem::eval_proj_multipliers

Definition at line 141 of file CasADiControlProblem.hpp.

Member Data Documentation

N

template<Config Conf>

length_t N

Definition at line 23 of file CasADiControlProblem.hpp.

nx

template<Config Conf>

length_t nx

Definition at line 23 of file CasADiControlProblem.hpp.

nu

template<Config Conf>

length_t nu

Definition at line 23 of file CasADiControlProblem.hpp.

nh

template<Config Conf>

length_t nh

Definition at line 23 of file CasADiControlProblem.hpp.

nh_N

template<Config Conf>

length_t nh_N

Definition at line 23 of file CasADiControlProblem.hpp.

nc

template<Config Conf>

length_t nc

Definition at line 23 of file CasADiControlProblem.hpp.

nc_N

template<Config Conf>

length_t nc_N

Definition at line 23 of file CasADiControlProblem.hpp.

x_init

template<Config Conf>

vec x_init

Definition at line 24 of file CasADiControlProblem.hpp.

param

template<Config Conf>

vec param

Definition at line 25 of file CasADiControlProblem.hpp.

U

template<Config Conf>

Box U

Definition at line 26 of file CasADiControlProblem.hpp.

D

template<Config Conf>

Box D

Definition at line 26 of file CasADiControlProblem.hpp.

D_N

template<Config Conf>

Box D_N

Definition at line 26 of file CasADiControlProblem.hpp.

work

template<Config Conf>

vec work

mutable

Definition at line 27 of file CasADiControlProblem.hpp.

penalty_alm_split

template<Config Conf>

index_t penalty_alm_split = 0

Components of the constraint function with indices below this number are handled using a quadratic penalty method rather than using an augmented Lagrangian method.

Specifically, the Lagrange multipliers for these components (which determine the shifts in ALM) are kept at zero.

Definition at line 33 of file CasADiControlProblem.hpp.

penalty_alm_split_N

template<Config Conf>

index_t penalty_alm_split_N = 0

Same as penalty_alm_split, but for the terminal constraint.

Definition at line 35 of file CasADiControlProblem.hpp.

impl

template<Config Conf>

util::copyable_unique_ptr<Functions> impl

private

Definition at line 178 of file CasADiControlProblem.hpp.

---

The documentation for this class was generated from the following files:

• src/interop/casadi/include/alpaqa/casadi/CasADiControlProblem.hpp
• src/interop/casadi/include/alpaqa/implementation/casadi/CasADiControlProblem.tpp