English
Related papers

Related papers: Control measures on Boolean algebras

200 papers

We study possibilities to control an ensemble (a parameterized family) of nonlinear control systems by a single parameter-independent control. Proceeding by Lie algebraic methods we establish genericity of exact controllability property for…

Optimization and Control · Mathematics 2016-03-24 A. Agrachev , Yu. Baryshnikov , A. Sarychev

For homogeneous bilinear control systems, the control sets are characterized using a Lie algebra rank condition for the induced systems on projective space. This is based on a classical Diophantine approximation result. For affine control…

Optimization and Control · Mathematics 2022-08-01 Fritz Colonius , Juliana Raupp , Alexandre J. Santana

We establish the existence and uniqueness of limits at infinity along infinite curves outside a zero modulus family for functions in a homogeneous Sobolev space under the assumption that the underlying space is equipped with a doubling…

Functional Analysis · Mathematics 2023-10-19 Pekka Koskela , Khanh Nguyen

We find necessary and sufficient conditions on a family $\mathcal{R} = (r_i)_{i \in I}$ in a Boolean algebra $\mathcal{B}$ under which there exists a unique positive probability measure $\mu$ on $\mathcal{B}$ such that $\mu (…

Functional Analysis · Mathematics 2016-07-27 Mikhail Popov

We find a necessary and sufficient condition for a doubling metric space to carry a (1,p)-Poincare inequality. The condition involves discretizations of the metric space and Poincare inequalities on graphs.

Metric Geometry · Mathematics 2015-05-12 James T. Gill , Marcos Lopez

In this paper we find necessary and sufficient conditions for the weak convergence of c-free convolution of pairs of measures, where the measures are assumed to be infinitesimal and their support may be unbounded. These results are obtained…

Operator Algebras · Mathematics 2008-05-13 Jiun-Chau Wang

This paper proves a corona theorem for the algebra of Radon measures compactly supported in $\mathbb{R}_-$ and this result is applied to provide a necessary and sufficient Hautus--type frequency criterion for the $L^1$ exact controllability…

Optimization and Control · Mathematics 2024-01-08 Sebastien Fueyo , Yacine Chitour

We consider the power of Boolean circuits with MOD$_{6}$ gates. First, we introduce a few basic notions of computational complexity, and describe the standard models with which we study the complexity of problems. We then define the model…

Computational Complexity · Computer Science 2018-10-15 Daniel J. Saunders

We define Boolean algebras in the linear context and study its symmetric powers. We give explicit formulae for products in symmetric Boolean algebras of various dimensions. We formulate symmetric forms of the inclusion-exclusion principle.

Combinatorics · Mathematics 2008-02-28 Rafael Diaz , Mariolys Rivas

We construct Boolean Algebras answering questions of Monk on cardinal invariants. The results are proved in ZFC (rather than giving consistency results). We deal with the existence of superatomic Boolean Algebras with ``few automorphisms'',…

Logic · Mathematics 2007-05-23 Saharon Shelah

This paper is devoted to prove the exact controllability of a system of N one-dimensional coupled wave equations when the control is exerted on a part of the boundary by means of one control. We consider the case where the coupling matrix A…

Analysis of PDEs · Mathematics 2019-02-26 S. Avdonin , L. de Teresa

In previous work carried out in the setting of program algebra, including work in the area of instruction sequence size complexity, we chose instruction sets for Boolean registers that contain only instructions of a few of the possible…

Programming Languages · Computer Science 2016-10-07 J. A. Bergstra , C. A. Middelburg

The controllability and observability of Boolean control network(BCN) are two fundamental properties. But the verification of latter is much harder than the former. This paper considers the observability of BCN via controllability. First,…

Optimization and Control · Mathematics 2018-01-03 Daizhan Cheng , Changxi Li , Fenghua He

We provide some applications of a polynomial criterion for difference sets. These include counting the difference sets with specified parameters in terms of Hilbert functions, in particular a count of bent functions. We also consider the…

Combinatorics · Mathematics 2020-10-20 Pradipkumar H. Keskar , Priyanka Kumari

We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of…

Logic · Mathematics 2016-09-06 Bohuslav Balcar , Thomas Jech , Jindřich Zapletal

This lecture notes are intended for the students taking courses in mathematical control theory. They are concerned with the attainability problem with constraints. The exposition is oriented to the linear control problems with the impulse…

Optimization and Control · Mathematics 2016-04-19 Alexander Chentsov , Julia Shapar

We give a definition of some classes of boolean algebras generalizing free boolean algebras; they satisfy a universal property that certain functions extend to homomorphisms. We give a combinatorial property of generating sets of these…

Logic · Mathematics 2008-11-18 Corey Thomas Bruns

We study measures defined on effect algebras. We characterize real-valued measures on effect algebras and find a class of effect algebras, that include the natural effect algebras of sets, on which sigma-additive measures with values in a…

Functional Analysis · Mathematics 2024-02-12 Giuseppina Barbieri , Francisco Javier García-Pacheco , Soledad Moreno-Pulido

In this paper, we obtain weak conditions for the existence of a control set with a nonempty interior for a linear control system on a solvable Lie group. We show that the Lie algebra rank condition together with the compactness of the…

Optimization and Control · Mathematics 2025-01-15 Adriano Da Silva

This research delves into the exact controllability of semilinear measure-driven integrodifferential systems in nonlocal settings. We provide sufficient controllability requirements using the measure of noncompactness and the M\"onch fixed…

Optimization and Control · Mathematics 2026-02-11 Mamadou Niang , Mamadou Pathe LY , Abdoul Aziz Ndiaye , Abdoul Aziz Ndiaye , Mamadou Abdoul Diop