相关论文: On minimal LPV state-space representations in inno…

Classical simulation of quantum physics is a central approach to investigating physical phenomena. Quantum computers enhance computational capabilities beyond those of classical resources, but it remains unclear to what extent existing…

We develop a new method of representation of quantum states in terms of the displaced number states. We call it representation, where is an amplitude of the base displaced states. In particular, representation was obtained for set of the…

Hamiltonian light-front dynamics of quantum fields may provide a useful approach to systematic non-perturbative approximations to quantum field theories. We investigate inequivalent Hilbert-space representations of the light-front field…

This contribution proposes a recursive set-membership method for the ellipsoidal state characterization for discrete-time linear time-varying models with additive unknown disturbances vectors, bounded by possibly degenerate zonotopes and…

For an integrable Hamiltonian system we construct a representation of the phase space symmetry algebra over the space of functions on a Lagrangian manifold. The representation is a result of the canonical quantization of the integrable…

An equilibrium theory of classical fluids based on the space distribution among the particles is derived in the framework of the energy minimization method. This study is motivated by current difficulties of evaluation of optical properties…

This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prove that this reduction preserves branching probabilistic…

This paper is concerned with the following problem: given an upper bound of the state-space dimension and lag of a linear time-invariant system, design a sequence of inputs so that the system dynamics can be recovered from the resulting…

The paper investigates the problem of estimating the state of a time-varying system with a linear measurement model; in particular, the paper considers the case where the number of measurements available can be smaller than the number of…

The paper proposes first steps towards the formalization and characterization of time-varying turnpikes in optimal control of mechanical systems. We propose the concepts of velocity steady states, which can be considered as partial steady…

In the first part of this thesis, we present our efforts on experimental validation of the predictive performance of mechanics-based mathematical models on a physical one-legged hopping robot platform. We extend upon a recently proposed…

For a continuous-time phase-type distribution, starting with its Laplace-Stieltjes transform, we obtain a necessary and sufficient condition for its minimal phase-type representation to have the same order as the algebraic degree of the…

Tasks such as social network analysis, human behavior recognition, or modeling biochemical reactions, can be solved elegantly by using the probabilistic inference framework. However, standard probabilistic inference algorithms work at a…

We develop a mathematical and numerical framework to solve state estimation problems for applications that present variations in the shape of the spatial domain. This situation arises typically in a biomedical context where inverse problems…

Every quantum state can be represented as a probability distribution over the outcomes of an informationally complete measurement. But not all probability distributions correspond to quantum states. Quantum state space may thus be thought…

Goal-conditioned planning benefits from learned low-dimensional representations of rich observations. While compact latent representations typically learned from variational autoencoders or inverse dynamics enable goal-conditioned decision…

We formulate a Kalman-style realization theory for discrete-time affine LPV systems. By an affine LPV system we mean an LPV system whose matrices are affine functions of the scheduling parameter. In this paper we characterize those…

We initiate a formal study on the use of low-dimensional latent representations of dynamical systems for verifiable control synthesis. Our main goal is to enable the application of verification techniques -- such as Lyapunov or barrier…

A state space representation of an environment is a classic and yet powerful tool used by many autonomous robotic systems for efficient and often optimal solution planning. However, designing these representations with high performance is…

This paper presents a novel state representation for reward-free Markov decision processes. The idea is to learn, in a self-supervised manner, an embedding space where distances between pairs of embedded states correspond to the minimum…