Due to limited metering infrastructure, distribution grids are currently challenged by observability issues. On the other hand, smart meter data, including local voltage magnitudes and power injections, are communicated to the utility operator from grid buses with renewable generation and demand-response programs. This work employs grid data from metered buses towards inferring the underlying g...

By analogy to the development for dynamic systems, concepts of observability and redundancy may be developed with respect to a steady state system. These concepts differ from their counterparts for dynamic systems in that they can be used to characterize individual variables and local behavior as well as system and global behavior. Relations between local observability, global observability, ca...

Message Sequence Charts (MSCs) form a popular language in which scenariobased specifications and models can be written. There has been significant interest in automating aspects of testing from MSCs. This paper concerns the Oracle Problem, in which we have an observation made in testing and wish to know whether this is consistent with the specification. We assume that there is an MSC specificat...

Belonging to the broad framework of hybrid systems, conewise linear systems (CLSs) form a class of Lipschitz piecewise linear systems subject to state-triggered mode switchings. Motivated by state estimation of nonsmooth switched systems in applications, we exploit directional derivative and positive invariance techniques to characterize finite-time and long-time local observability of a genera...

Observability is a key aspect of the state estimation problem of SLAM, However, the dimension and variables of SLAM system might be changed with new features, to which little attention is paid in the previous work. In this paper, a unified approach of observability analysis for SLAM system is provided, whether the dimension and variables of SLAM system are changed or not, we can use this approa...

The main contribution of this paper is to present a non-linear observability analysis method of Activated Sludge Models (ASM), which are used in many control applications. The objective is to reduce the unobservable ASM1 model to an observable one that can be used to implement advanced estimation algorithms. Local observability is achieved under certain operating conditions but failed at some p...

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

Recently we proposed relative observability for supervisory control of discrete-event systems under partial observation. Relative observability is closed under set unions and hence there exists the supremal relatively observable sublanguage of a given language. In this paper we present a new characterization of relative observability, based on which an operator on languages is proposed whose la...