In quantum logical terms, Hardy-type arguments can be uniformly presented and extended as collections of intertwined contexts their observables. If interpreted classically, those structures serve graph-theoretic ``gadgets'' that enforce correlations on the respective preselected postselected observable terminal points. The method allows generalization extension to other types relational propert...

We establish observability inequalities for various p roblems involving fractional Schrödinger operators (−Δ)α/2 + V, α > 0, on a compact Riemannian manifold. Observability from an open set the corresponding evolution equation with 1 is proved to hold as soon observation satisfies Geometric Control Condition; it also shown that this condition necessary when manifold d-dimensional sphere equippe...

Partially observable Markov decision processes (POMDPs) form an attractive and principled framework for agent planning under uncertainty. Point-based approximate techniques for POMDPs compute a policy based on a finite set of points collected in advance from the agent’s belief space. We present a randomized point-based value iteration algorithm called Perseus. The algorithm performs approximate...

In this paper a two-state Markovian maintenance process where the true state is unknown will be considered. The operating cost per period is a continuous random variable which depends on the state of the process. If investigation cost is incurred at the beginning of any period, the system wit I be returned to the "in-control" state instantaneously. This problem is solved using the average crite...

In this work, we study the inconsistency problem of EKF-based SLAM from the perspective of observability. We analytically prove that when the Jacobians of the process and measurement models are evaluated at the latest state estimates during every time step, the linearized error-state system employed in the EKF has observable subspace of dimension higher than that of the actual, nonlinear, SLAM ...

In the paper, we investigate a one-to-one correspondence between n-dimensional observables and spectral resolutions with values in kind of lexicographic form quantum structures like perfect MV-algebras or effect algebras. The multidimensional version this problem is more complicated than one-dimensional one because if our algebraic structure k-perfect for k>1, then even two-dimensional case hav...

Maintenance can be the factor of either increasing or decreasing system's availability, so it is valuable work to evaluate a maintenance policy from cost and availability point of view, simultaneously and according to decision maker's priorities. This study proposes a Partially Observable Markov Decision Process (POMDP) framework for a partially observable and stochastically deteriorating syste...