A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constraints. In this paper we propose ATLKF po, a logic mixing strategies under partial observability and epistemic properties of agents in a system with...

We study the optimal observability of the tax base within the standard linear income tax problem, where observability is determined by the government’s investment into the accurate measurement of the tax base. We characterize the optimal level of observability and derive a new expression for the optimal progressivity, which – in addition to the standard equity efficiency trade-off – accounts fo...

Placement of phasor measurement units (PMUs) in power systems has often been formulated for achieving total network observability. In practice, however, the installation process is not implemented at once, but at several stages, because the number of available PMUs at each time period is restricted due to financial problems. This paper presents a novel integer linear programming framework for o...

Partial observability of the domain prevents the application of many plan recognition algorithms to real world problems. This paper presents a treatment for partial observability for a specific probabilistic plan recognition algorithm and an initial analysis of the runtime impact.

For a large class of linear neutral type systems which include distributed delays we give the duality relation between exact controllability and exact observability. The characterization of exact observability is given.

In this work the output-observability of convolutional codes is examined and a decoding algorithm for convolutional codes using linear algebra techniques is presented. Key–Words: Codes, linear systems, output-observability, generalized inverses.