Related papers: Reducing complexity of tail-biting trellises
The main objective of this article is to develop a matrix pencil approach for the study of the controllability and reachability of a class of linear singular discrete time systems. The description equation of a practical system may be…
Given a finite-dimensional time continuous control system and $\varepsilon>0$, we address the question of the existence of controls that maintain the corresponding state trajectories in the $\varepsilon$-neighborhood of any prescribed path…
We describe a natural generalization of irreducibility in order lattices with arbitrary metrics. We analyse the special cases of valuation metrics and more general metrics for lattices. This article is mainly based on a part of the author's…
We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local…
The following conditions are necessary and sufficient for an arbitrary c\`adl\`ag local martingale to be a uniformly integrable martingale: (i) The weak tail of the supremum of its modulus is zero; (ii) its jumps at the first-exit times…
We develop a probabilistic method for assessing the tail behavior and geometric stability of one-dimensional n i.i.d. samples by tracking how their span contracts when the most extreme points are trimmed. Central to our approach is the…
We show that reducible braids which are, in a Garside-theoretical sense, as simple as possible within their conjugacy class, are also as simple as possible in a geometric sense. More precisely, if a braid belongs to a certain subset of its…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking…
Let $T_1, T_2$ be regular trees of degrees $d_1, d_2 \geq 3$. Let also $\Gamma \leq \mathrm{Aut}(T_1) \times \mathrm{Aut}(T_2)$ be a group acting freely and transitively on $VT_1 \times VT_2$. For $i=1$ and $2$, assume that the local action…
Derivation of the full set of Bell inequalities involving correlation functions, for two parties, with binary observables, and N possible local settings is not as easy as it seemed. The proof of v1 is wrong. Additionaly one can find a…
One can typically form a local robustness metric for a particular problem quite directly, for Markov chain Monte Carlo applications as well as optimization problems such as variational Bayes. However, we argue that simply forming a local…
We consider a system consisting of a sequential composition of Mealy machines, called head and tail. We study two problems related to these systems. In the first problem, models of both head and tail components are available, and the aim is…
We consider affine control systems with two scalar controls, such that one control vector field vanishes at an equilibrium state. We state two necessary conditions of local controllability around this equilibrium, involving the iterated Lie…
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…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by…
We show that a bilinear control system is approximately controllable if and only if it is controllable in $\mathbb{R}^{n}\setminus\{0\}$. We approach this problem by looking at the foliation made by the orbits of the system, and by showing…
We study irreducible restrictions from modules over alternating groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. This is known when the…
The local controllability of a rich class of affine nonlinear control systems with nonhomogeneous quadratic drift and constant control vector fields is analyzed. The interest in this particular class of systems stems from the ubiquity in…
We investigate the small-time local controllability of systems in the vicinity of an equilibrium. Given a small time, an initial data and a final data close from the equilibrium, is it possible to find a control (a source term) that guides…