Much has been said about observability in system theory and control; however, it has been recently that observability in complex networks has seriously attracted the attention of researchers. This paper examines the state-of-theart and discusses some issues raised due to “complexity” and “stochasticity”. These unresolved issues call for a new practical methodology. For stochastic systems, a deg...

Heuristic search is the dominant approach to classical planning. However, many realistic problems violate classical assumptions such as determinism of action outcomes or full observability. In this paper, we investigate how – and how successfully – a particular classical technique, namely informed search using an abstraction heuristic, can be transferred to nondeterministic planning under parti...

Precise navigation of autonomous underwater vehicles (AUV) is one of the most important challenges in the realization of distributed and cooperative algorithms for marine applications. We investigate an underwater navigation technology that enables an AUV to compute its trajectory in the presence of unknown currents in real time and simultaneously estimate the currents, using range or distance ...

This paper presents that the structural controllability and observability can be used for a class of discrete event systems modeled by industry-standard N-squared diagrams. The main results of this paper provide analytical assessment of large scale industrial system properties before the software simulation and hardware demonstration; therefore it offers immense savings in verification time and...

Planning in nondeterministic domains with temporally extended goals under partial observability is one of the most challenging problems in planning. Subsets of this problem have been already addressed in the literature. For instance, planning for extended goals has been developed under the simplifying hypothesis of full observability. And the problem of a partial observability has been tackled ...

y 00 (except at t = 0). One additional differentiation to get y 000 guarantees full column rank equal to three for the coefficient matrix of vector x. For the example, this rank condition is equivalent to the 1-full condition on the Jacobian O j; k of (11) for the time-varying linearization. (We may take j = 1 and k = 3.) Thus we have smooth observability on the interval [0; T ] for the time-va...

Abstract: In this paper we investigate observability of small solutions of linear differential-algebraic systems with delays (DAD), i.e. solutions that vanish after some finite time. In particular, we prove existence of two kinds of small solutions of DAD systems. The main result are the rank type conditions for observability of three kinds of small solutions of linear differential-algebraic sy...

The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state or the mode sequence is to be recovered, several observability concepts are defined, characterized through linear algebraic tests, and their decidability assessed.

In the paper by Vaclavek et al. (IEEE Trans. Ind. Electron., vol. 60, no. 8, pp. 3047-3059, Aug. 2013), the local observability of both induction machine and permanent magnet synchronous machine under motion sensorless operation is studied. In this letter, the “slowly varying” speed assumption is discussed, and the permanent magnet synchronous machine observability condition at standstill is re...

This paper proposes several definitions of observability for nonlinear systems and explores relationships between them. These observability properties involve the existence of a bound on the norm of the state in terms of the norm of the output on a small time interval. As an application, we prove a LaSalle-like stability theorem for switched nonlinear systems.