Exact observability and controllability for linear neutral type systems

The problem of exact observability is analyzed for a wide class of neutral type systems by an infinite dimensional approach. The duality with the exact controllabil-ity problem is the main tool. It is based on an explicit expression of a neutral type system which corresponding to the abstract adjoint system. A nontrivial relation is obtained between the initial neutral system and the system obtained via the adjoint abstract state operator. The characterization of the duality between controllability and observability is deduced, and then observability conditions are obtained.Comment: Accepted in Systems and Control Letter

Minimization via duality

We show how to use duality theory to construct minimized versions of a wide class of automata. We work out three cases in detail: (a variant of) ordinary automata, weighted automata and probabilistic automata. The basic idea is that instead of constructing a maximal quotient we go to the dual and look for a minimal subalgebra and then return to the original category. Duality ensures that the minimal subobject becomes the maximally quotiented object

Observability and controllability for linear neutral type systems

International audienceFor a large class of linear neutral type systems which include distributed delays we give the duality relation between exact controllability and exact observability. This duality is based on the representation of the abstract adjoint system as a special neutral type system. As a consequence of this duality relation, a characterization of exact observability is obtained. The time of observability is precised

Estimability and regulability of linear systems

A linear state-space system will be said to be estimable if in estimating its state from its output the posterior error covariance matrix is strictly smaller than the prior covariance matrix. It will be said to be regulable if the quadratic cost of state feedback control is strictly smaller than the cost when no feedback is used. These properties, which are shown to be dual, are different from the well known observability and controllability properties of linear systems. Necessary and sufficient conditions for estimability and regulability are derived for time variant and time invariant systems, in discrete and continuous time