Stochastic observability refers to the existence of a filter for which the errors of the estimated state mean vector have bounded variance. In this paper, we derive a test to assess the stochastic observability of a Kalman filter implemented for discrete linear time-varying stochastic systems. This test is derived with the assumptions that the system matrices consist of known, deterministic par...

Recently we developed supervisor localization, a top-down approach to distributed control of multiagent discrete-event systems. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this paper, we extend supervisor localization by considering partial observation, namely not all events are observable. Specifically, we use ...

Classical distributed estimation scenarios typically assume timely and reliable exchanges of information over the sensor network. This letter, in contrast, considers single time-scale via a network subject to transmission time-delays. The proposed discrete-time networked estimator consists two steps: (i) consensus on (delayed) a-priori estimates, (ii) measurement update. sensors only share thei...

In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of appropriate codistributions. For particular, but significant, classes of systems we provide criteria that require only a finite number of computations. Then, we consider invertible systems (which includes discrete-tim...

We study observability of switched differentialalgebraic equations (DAEs) for arbitrary switching. We present a characterization of observability and, a related property called, determinability. These characterizations utilize the results for the single-switch case recently obtained by the authors. Furthermore, we study observability conditions when only the mode sequence of the switching signa...

A class of multidimensional hybrid linear systems is presented, with the time vector composed by q continuous-time real components and by r discrete-time integer ones, q, r ≥ 1. The state equation is of multidimensional partial differential-difference type. A generalized variation-of-parameters formula is provided and it is used to obtain the state and the general response of the system. The fu...