time instant the evolving LS. Hybrid systems cap­ ture the continuous and discrete interaction that appears in complex systems ranging from biolog­ ical systems [14] to automotive systems [7]. For SLS, many contributions have been reported con­ cerning such basic system properties as stability, controllability, and observability. Since the conditions for the observability with unknown inputs of...

This paper studies a model of social learning with externalities and possibly with limited observability of past actions. Bayesian agents sequentially choose an action each, after observing the actions of a subset of preceding agents. These actions and a private signal, conditionally independent across agents, supply information about the common state of the world. Each agent’s payoff depends o...

Observability is the property that enables recovering the state of a dynamical system from a reduced number of measured variables. In high-dimensional systems, it is therefore important to make sure that the variable recorded to perform the analysis conveys good observability of the system dynamics. The observability of a network of neuron models depends nontrivially on the observability of the...

Observability and controllability are vitally important in networks, but almost all of the present theory was developed for linear networks without symmetries. To advance beyond the study of such generic networks, we quantify observability and controllability in small (3 node) nonlinear neuronal networks as a function of 1) the connection topology and symmetry, and 2) the measured and controlle...

This paper introduces a new algorithmic approach to the problem of checking the property of intransitive non-interference (INI) using discrete event systems (DES) tools and concepts. INI property is widely used in formal verification of security problems in computer systems and protocols. The approach consists of two phases: First a new property called iP observability (observability based on a...

In this paper we first study observability conditions on networks. Based on spectral properties of graphs, we state new sufficient or necessary conditions for observability. These conditions are based on properties of the Khatri-Rao product of matrices. Then we consider the problem of estimating the eigenvalues of the Laplacian matrix associated with the graph modeling the interconnections betw...

Supervisor reduction procedure can be used to construct the reduced supervisor with a reduced number of states in discrete-event systems. The main concepts which are used in this procedure are control consistency of states, control cover, induced supervisor, and normality of the reduced supervisor w.r.t. the original supervisor. In this paper, it is proved that the reduced supervisor, construct...

This paper presents a set of filters with globally exponentially stable error dynamics for source localization and navigation, in 3-D, based on directionmeasurements from the agent (or vehicle) to the source, in addition to relative velocity readings of the agent. Both the source and the agent are allowed to have constant unknown drift velocities and the relative drift velocity is also explicit...

We present a localization system which computes, by extended Kalman filtering, the position and heading of a vehicle using both odometry and the measurement of the relative azimuth angles of known landmarks. Observability of the continuous system is studied and gives information on situations where the performance of the filter may deteriorate. Results of extensive real outdoor experiments with...

We present formulae relating controllability, observability, and co-observability arising in the context of supervisory control of discrete event systems. Given a discrete event plant G with event set Σ, uncontrollable event set Σui, and observation mask Mi of the ith supervisor, we first show that the infimal prefix-closed, (L(G), ⋂ i Σui)controllable, and (L(G),Σui,Mi)–co-observable superlang...