A probabilistic algorithm to test local algebraic observability in polynomial time
Journal of Symbolic Computation - Computer algebra: Selected papers from ISSAC 2001
Automatica (Journal of IFAC)
Quadratic approximation of solutions for differential equations with nonlinear boundary conditions
Computers & Mathematics with Applications
Brief Analysis of nonlinear time-delay systems using modules over non-commutative rings
Automatica (Journal of IFAC)
Linearization of time-delay systems by input-output injection and output transformation
Automatica (Journal of IFAC)
Hi-index | 22.15 |
The observability of nonlinear delay systems has previously been defined in an algebraic setting by a rank condition on modules over noncommutative rings. We introduce an analytic definition of observability to ensure the local uniqueness of state and initial conditions that correspond to a given input-output behaviour. It is shown that an algebraically observable delay system can be reformulated as a system of ordinary differential equations. Analytic observability is then decided by the local uniqueness of solutions to a boundary value problem for this ODE system.