#include "akreon/linalg/assert.hpp"
#include "akreon/control/model/plant_model.hpp"
#include "akreon/convex/composed/quad_form.hpp"
#include "akreon/convex/convex_problem.hpp"
#include "akreon/convex/intersection.hpp"
#include "akreon/convex/sets/lmi.hpp"
#include "akreon/convex/variable.hpp"
#include "akreon/linalg/operator/matrix_inverse.hpp"
#include "akreon/linalg/operator/matrix_pencil.hpp"

Include dependency graph for polytopic_observer.hpp:

This graph shows which files directly or indirectly include this file:

Classes
struct	control::PolytopicObserver< Plant, N >
	Polytopic Luenberger Observer. More...

Namespaces
namespace	control

Functions
template<ContinuousPlantModelLike Plant, std::size_t N, convex::AtomLike ZVar>
constexpr auto	control::make_polytopic_observer_quadratic_objective (const linalg::Matrix< plant_type_t< Plant >, PolytopicObserver< Plant, N >::ZDim, PolytopicObserver< Plant, N >::ZDim > &P, const linalg::Vector< plant_type_t< Plant >, PolytopicObserver< Plant, N >::ZDim > &q, const ZVar &Z)
	make quadratic objective over merged PLDI variable

template<ContinuousPlantModelLike Plant, std::size_t N, convex::AtomLike ZVar>
constexpr auto	control::make_polytopic_observer_problem (const linalg::Vector< Plant, N > &poly, const ZVar &Z, const auto &obj, plant_type_t< Plant > margin=1e-6)
	make PLDI problem with objective

template<ContinuousPlantModelLike Plant, std::size_t N, convex::AtomLike ZVar>
constexpr auto	control::make_polytopic_observer_problem (const linalg::Vector< Plant, N > &poly, const ZVar &Z, plant_type_t< Plant > margin=1e-6)
	make PLDI feasibility problem

Classes

Namespaces

Functions