Search

Heterogeneous systems consisting of a multiloop wireless control system (WCS) and a mobile agent system (MAS) are ubiquitous in Industrial Internet of Things systems. Within these systems, positions of mobile agents may lead to shadow fading on the wireless channel that the WCS is controlled over and can significantly compromise its performance. This paper focuses on the infinite-horizon optimal control of MAS to ensure the performance of WCS while minimizing an average cost for the heterogeneous system subject to state and input constraints. Firstly, the state-dependent fading channel is modeled, which characterizes the interference among transmission links, and shows that the probability of a successful transmission for WCS depends on the state of MAS. A necessary and sufficient condition in terms of constrained set stabilization is then established to ensure the Lyapunov-like performance of WCS with expected decay rate. Secondly, using the semi-tensor product of matrices and constrained reachable sets, a criterion is presented to check the constrained set stabilization of MAS and to ensure the performance of WCS. In addition, a constrained optimal state transition graph is constructed to address state and input constraints, by resorting to which the feasibility analysis of the optimal control problem is presented. Finally, an algorithm is proposed for the construction of optimal input sequences by minimum-mean cycles for weighted graph. An illustrative example is provided to demonstrate effectiveness of the proposed method.

The heterogeneous system consisting of the wireless control system (WCS) and mobile agent system (MAS) is ubiquitous in Industrial Internet of Things (IIoT) systems. Within this system, the positions of mobile agents may lead to shadow fading on the wireless channel that the WCS is controlled over and can significantly compromise the WCS's performance. This paper focuses on the controller design for the MAS to ensure the performance of WCS in the presence of WCS and MAS coupling. Firstly, the constrained finite field network (FFN) with profile-dependent switching topology is adopted to proceed the operational control for the MAS. By virtue of the algebraic state space representation (ASSR) method, an equivalent form is obtained for the WCS and MAS coupling. A necessary and sufficient condition in terms of constrained set stabilization is then established to ensure the Lyapunov-like performance with expected decay rate. Finally, a graphical method together with the breath-first searching is provided to design state feedback controllers for the MAS. With this method, it is easy to check the constrained set stabilization of MAS and to ensure the performance requirements of WCS in the presence of WCS and MAS coupling. The study of an illustrative example shows the effectiveness of the proposed method.

In a recent paper [arXiv:1301.2887] Ahrens et al. claim that our "(...) experiment on qutrits does not test Klyachko et al.'s inequality, but an inequality with extra correlations" and that the "(...) experiment cannot be considered a proper test of a noncontextuality inequality, since the same observable is measured with different setups in different contexts". We disagree with these claims. In this note we briefly re-state how our test of the non-contextuality inequality was constructed. We explain how we keep the context of measurements when switching between different terms of the tested inequality, and we argue that we did in fact test the Klyachko, Can, Binicioglu and Shumovsky inequality. In doing so, we also clarify why our experiment is indeed a proper test of noncontextual realism.

Quantum theory demands that, in contrast to classical physics, not all properties can be simultaneously well defined. The Heisenberg Uncertainty Principle is a manifestation of this fact. Another important corollary arises that there can be no joint probability distribution describing the outcomes of all possible measurements, allowing a quantum system to be classically understood. We provide the first experimental evidence that even for a single three-state system, a qutrit, no such classical model can exist that correctly describes the results of a simple set of pairwise compatible measurements. Not only is a single qutrit the simplest system in which such a contradiction is possible, but, even more importantly, the contradiction cannot result from entanglement, because such a system is indivisible, and it does not even allow the concept of entanglement between subsystems., Comment: 11 pages, 4 figures, 2 tables