The paper describes the single range observability issues related to a kinematics model of cooperating underwater vehicles. The paper extends previous results building on an augmented state technique allowing to reformulate the nonlinear observability problem in terms of a linear time varying one. As a result, all possible (globally) unobservable motions are characterized in terms of the system...

We present algebraic techniques to analyze state space models in the areas of structural identifiability, observability, and indistinguishability. While the emphasis is on surveying existing algebraic tools for studying ODE systems, we also present a variety of new results. In particular: On structural identifiability, we present a method using linear algebra to find identifiable functions of t...

A matrix Kalman filter (MKF) has been implemented for an integrated navigation system using visual/inertial/magnetic sensors. The MKF rearranges the original nonlinear process model in a pseudo-linear process model. We employ the observability rank criterion based on Lie derivatives to verify the conditions under which the nonlinear system is observable. It has been proved that such observabili...

This paper discusses the properties of reachability and observability for linear systems over the max-plus algebra. Working in the event-domain, the concept of asticity is used to develop conditions for weak reachability and weak observability. In the reachability problem, residuation is used to determine if a state is reachable and to generate the required control sequence to reach it. In the ...

This paper proposes several definitions of observability for nonlinear systems and explores relationships among them. These observability properties involve the existence of a bound on the norm of the state in terms of the norms of the output and the input on some time interval. A Lyapunov-like sufficient condition for observability is also obtained. As an application, we prove several variants...

In this article, we derive uniform admissibility and observability properties for the finite element space semi-discretizations of iż = A0z, where A0 is an unbounded self-adjoint positive definite operator with compact resolvent. In order to address this problem, we present several spectral criteria for admissibility and observability of such systems, which will be used to derive several result...

We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that have only a partial observation of the system that it controls. In discrete event systems (where continuous time is not modeled), it is well known how to handle partial observability, and decidability issues do not diff...

We investigate the effect of clustering on network observability transitions. In model introduced by Yang et al. (2012), a given fraction nodes are chosen randomly, and they those neighbors considered to be observable, while other unobservable. For random clustered networks, we derive normalized sizes largest observable component (LOC) unobservable (LUC). Considering case where numbers edges tr...