Related papers: On the Popov-Belevitch-Hautus tests for functional…
Lyapunov functions are popularly used to investigate the stabilization problem of systems of hyperbolic conservation laws with boundary controls. In real life applications often not every boundary value can be observed. In this work, we…
The Clauser-Horne-Shimony and Holt inequality applies when measurements with binary outcomes are performed on physical systems under the assumption of local realism. Testing such inequalities in the quantum realm usually involves either…
This paper addresses the observability analysis and the optimal design of observation parameters in the presence of noisy measurements and parametric uncertainties. The main underlying frameworks are the nonlinear constrained moving horizon…
Extensions of the Hartree-Fock-Bogoliubov theory are worked out which are tailored for, (i) the consistent evaluation of fluctuations and correlations and (ii) the restoration through projection of broken symmetries. For both purposes we…
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 systems may put human life at risk, and a broad adoption of these…
This paper introduces the Progressive Barrier Lyapunov Function (p-BLF) for output- and full-state-constrained nonlinear control systems. Unlike traditional BLF methods, where control effort continuously increases as the state approaches…
This paper considers a Popov type approach to the problem of robust stability for a class of uncertain linear quantum systems subject to unknown perturbations in the system Hamiltonian. A general stability result is given for a general…
Time-series analysis is fundamental for modeling and predicting dynamical behaviors from time-ordered data, with applications in many disciplines such as physics, biology, finance, and engineering. Measured time-series data, however, are…
For abstract linear systems in Hilbert spaces we revisit the problems of exact controllability and complete stabilizability (stabilizability with an arbitrary decay rate), the latter property is equivalent to exact null controllability. We…
Output feedback stabilization of control systems is a crucial issue in engineering. Most of these systems are not uniformly observable, which proves to be a difficulty to move from state feedback stabilization to dynamic output feedback…
A Lyapunov-based method is presented for stabilizing and controlling of closed quantum systems. The proposed method is constructed upon a novel quantum Lyapunov function of the system state trajectory tracking error. A positive-definite…
Distinguishability and, by extension, observability are key properties of dynamical systems. Establishing these properties is challenging, especially when no analytical model is available and they are to be inferred directly from…
The aim of this paper is to investigate the well-posedness of a class of boundary control and observation systems on a one dimensional spatial domain. We derive a necessary and sufficient condition characterizing the well-posedness of these…
In this paper, we present a methodology for stability analysis of a general class of systems defined by coupled Partial Differential Equations (PDEs) with spatially dependent coefficients and a general class of boundary conditions. This…
This paper presents necessary and sufficient characterizations of several notions of input to output stability. Similar Lyapunov characterizations have been found to play a key role in the analysis of the input to state stability property,…
We derive sufficient conditions for the solvability of the state estimation problem for a class of nonlinear control time-varying systems which includes those, whose dynamics have triangular structure. The state estimation is exhibited by…
A system is called positive if the set of non-negative states is left invariant by the dynamics. Stability analysis and controller optimization are greatly simplified for such systems. For example, linear Lyapunov functions and storage…
Projection-based control (PBC) systems have significant engineering impact and receive considerable scientific attention. To properly describe closed-loop PBC systems, extensions of classical projected dynamical systems are needed, because…
The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It requires, however, the assumption that…
Relative observability has been introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability, but weaker than normality. However, unlike observability, relative…