A network is considered observable if its current state can be determined in finite time from knowledge of the observed states. The observability transitions in networks based on random or degree-correlated sensor placement have recently been studied. However, these placement strategies are predominantly based on local information regarding the network. In this paper, to understand the phase tr...

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...

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...

This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...

This paper is concerned with the controllability and observability for a class of fractional linear systems with two different orders. The sufficient and necessary conditions for state controllability and state observability of such systems are established. The results obtained extend some existing results of controllability and observability for fractional dynamical systems.

Ever-increasing energy demand has led to geographic expansion of transmission lines and their complexity. In addition, higher reliability is expected in the transmission systemsdue to their vital role in power systems. It is very difficult to realize this goal by conventional monitoring and control methods. Thus, phasor measurement units (PMUs) are used to measure system parameters. Although in...