UNLABELLED How do communications and decisions impact the safety of sociotechnical systems? This paper frames this question in the context of a dynamic system of nested sub-systems. Communications are related to the construct of observability (i.e. how components integrate information to assess the state with respect to local and global constraints). Decisions are related to the construct of co...

In this paper, a distributed Bayesian filter design was studied for nonlinear dynamics and measurement mapping based on Kullback–Leibler divergence. In a distributed structure, the nonlinear filter becomes a challenging problem, since each sensor cannot access the global measurement likelihood function over the whole network, and some sensors have weak observability of the state. To solve the p...

This paper addresses state-space realizations for nonlinear adjoint operators. In particular the relationship among nonlinear Hilbert adjoint operators, Hamiltonian extensions and port-controlled Hamiltonian systems are clarified. The characterization of controllability, observability and Hankel operators, and controllability and observability functions will be derived based on it. Furthermore ...

Controllability and observability of analytically solvable linear time-varying singular systems are considered. Our analysis includes the possible impulsive zero-input response. Based on the definitions of controllability and observability naturally extended from the ones adopted in the time-invariant setting, sufficient and necessary conditions for these two properties are derived. Furthermore...

The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is determined by bilinear control systems, and whose discrete transitions are triggered externally. The proposed characterization provides necessary and sufficient conditions for observability and spanreachability in ter...

Many planning problems involve nondeterministic actions actions whose effects are not completely determined by the state of the world before the action is executed. In this paper we consider the computational complexity of planning in domains where such actions are available. We give a formal model of nondeterministic actions and sensing, together with an action language for specifying planning...

in this paper, an efficient and comprehensive hybrid intelligent technique for the optimal placement of phasor measurement units (pmus) is proposed to minimize the number of pmu installation subjected to full network observability. three main purposes of pmus output synchronous measurements are monitoring, control, and protection of power system. we have combined binary imperialistic competitio...

We introduce a new notion of decentralized observability for discrete-event systems, which we call joint observability. We prove that checking joint observability of a regular language w.r.t. one observer is decidable, whereas for two (or more) observers the problem becomes undecidable. Based on this result, we show that a related decentralized control problem is also undecidable. We finally pr...

In this paper, a quantitative measure of partial observability is defined for PDEs. The quantity is proved to be consistent in well-posed approximation schemes. A first order approximation of an unobservability index using empirical gramian is introduced. For linear systems with full state observability, the empirical gramian is equivalent to the observability gramian in control theory. The con...