Related papers: On the Popov-Belevitch-Hautus tests for functional…
We study the linear Zakharov--Kuznetsov equation with periodic boundary conditions. Employing some tools from the nonharmonic Fourier series we obtain several internal observability theorems. Then we prove various exact controllability and…
This paper studies the minimum observability of probabilistic Boolean networks (PBNs), the main objective of which is to add the fewest measurements to make an unobservable PBN become observable. First of all, the algebraic form of a PBN is…
This paper considers the relevance of the concepts of observability and computability in physical theory. Observability is related to verifiability which is essential for effective computing and as physical systems are computational systems…
This paper is concerned with a characterization of the observability for a continuous-time hidden Markov model where the state evolves as a general continuous-time Markov process and the observation process is modeled as nonlinear function…
We construct a single observable measurement of which mean value on four copies of an {\it unknown} two-qubit state is sufficient for unambiguous decision whether the state is separable or entangled. In other words, there exists a universal…
Observability is a fundamental structural property of any dynamic system and describes the possibility of reconstructing the state that characterizes the system from observing its inputs and outputs. Despite the huge effort made to study…
A joint characterisation of the controllability and observability of a particular kind of discrete system has been developed. The key idea of the procedure can be reduced to a correct choice of the sampling sequence. This freedom, owing to…
A joint characterisation of the observability and controllability of a particular kind of discrete system has been developed. The key idea of the procedure can be reduced to a correct choice of the sampling sequence. This freedom, owing to…
In many engineering systems, proper predictive maintenance and operational control are essential to increase efficiency and reliability while reducing maintenance costs. However, one of the major challenges is that many sensors are used for…
In this paper, we present a collection of results on the observability of quantum mechanical systems, in the case the output is the result of a discrete nonselective measurement. By defining an effective observable we extend previous…
The purpose of this paper is to present a universal approach to the study of controllability/observability problems for infinite dimensional systems governed by some stochastic/deterministic partial differential equations. The crucial…
We determine a four-function generalization of the Plebanski spacetime, depending on three arbitrary functions of the radial coordinate, and one function on the angular coordinate. For the generalized Plebanski spacetime, we analyze the…
The aim of this work is to study the existence of mean values of observables for infinite-particle systems. Using solutions of the initial value problems to the BBGKY hierarchy and to its dual, we prove the local, in time, existence of the…
This paper investigates runtime monitoring of perception systems. Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving cars. In these applications, failure of perception…
In this paper we consider output controllability for linear time-invariant systems. In a recent paper by Danhane, Loh{\'e}ac and Jungers it has been pointed out that although output controllability is a classical notion in control theory,…
Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations…
This paper studies robust output tracking and disturbance rejection for boundary controlled infinite-dimensional port--Hamiltonian systems including second order models such as the Euler--Bernoulli beam. The control design is achieved using…
In certain systems which are subject to significant constant external forcing such as an airplane in wind or an underwater glider in ocean currents, the ability to detect the forcing depends on both the measurements available and whether…
The reliability, lower computational complexity, and ease of implementation of control observers make them one of the most promising methods for the state estimation of Li-ion batteries (LIBs) in commercial applications. To pave their way,…
Operator controllability refers to the ability to implement an arbitrary unitary in SU(N) and is a prerequisite for universal quantum computing. Controllability tests can be used in the design of quantum devices to reduce the number of…