English
Related papers

Related papers: A Semigroup associated to a linear control system …

200 papers

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…

Logic in Computer Science · Computer Science 2026-02-18 Murdoch J. Gabbay

We introduce an algebra of instruction sequences by presenting a semigroup C in which programs can be represented without directional bias: in terms of the next instruction to be executed, C has both forward and backward instructions and a…

Programming Languages · Computer Science 2009-11-07 Jan A. Bergstra , Alban Ponse

We develop a structure theory of connected solvable spherical subgroups in semisimple algebraic groups. Based on this theory, we obtain an explicit classification of all such subgroups up to conjugation.

Group Theory · Mathematics 2012-01-24 Roman Avdeev

In this paper, we study graphical conditions for structural controllability and accessibility of drifted bilinear systems over Lie groups. We consider a bilinear control system with drift and controlled terms that evolves over the special…

Optimization and Control · Mathematics 2021-03-25 Xing Wang , Bo Li , Jr-Shin Li , Ian R. Petersen , Guodong Shi

The Sylow graph $\Gamma(G)$ of a finite group $G$ originated from recent investigations on the so--called $\mathbf{N}$--closed classes of groups. The connectivity of $\Gamma(G)$ was proved only few years ago, involving the classification of…

Combinatorics · Mathematics 2012-11-27 Francesco G. Russo

In this paper, we show how to use the analysis of the Lie algebra associated with a quantum mechanical system to study its dynamics and facilitate the design of controls. We give algorithms to decompose the dynamics and describe their…

Quantum Physics · Physics 2009-04-13 Domenico D'Alessandro

We consider the amenability of groupoids $G$ equipped with a group valued cocycle $c:G\to Q$ with amenable kernel $c^{-1}(e)$. We prove a general result which implies, in particular, that $G$ is amenable whenever $Q$ is amenable and if…

Operator Algebras · Mathematics 2015-03-18 Jean N. Renault , Dana P. Williams

In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton…

Formal Languages and Automata Theory · Computer Science 2020-04-10 Daniele D'Angeli , Emanuele Rodaro , Jan Philipp Wächter

A topological space $A$ is said to be compatible with a set $\Sigma$ of equations (involving operation symbols $F_t$) iff there are continuous operations $\overline F_t$ identically satisfying $\Sigma$ on $A$. The paper's main focus is on…

Rings and Algebras · Mathematics 2014-02-18 Walter Taylor

The category of admissible (in the appropriately modified sense of representation theory of totally disconnected groups) semi-linear representations of the automorphism group of an algebraically closed extension of infinite transcendence…

Representation Theory · Mathematics 2009-04-07 M. Rovinsky

We introduce the concept of linked systems of symmetric group divisible designs. The connection with association schemes is established, and as a consequence we obtain an upper bound on the number of symmetric group divisible designs which…

Combinatorics · Mathematics 2017-07-04 Hadi Kharaghani , Sho Suda

This paper examines the controllability for quantum control systems with SU(1,1) dynamical symmetry, namely, the ability to use some electromagnetic field to redirect the quantum system toward a desired evolution. The problem is formalized…

Optimization and Control · Mathematics 2007-08-24 Jian-Wu Wu , Chun-Wen Li , Jing Zhang , Tzyh-Jong Tarn

In this paper we define a new algebraic object: the disguised-groups. We show the main properties of the disguised-groups and, as a consequence, we will see that disguised-groups coincide with regular semigroups. We prove many of the…

Group Theory · Mathematics 2020-06-08 Eduardo Blanco-Gómez

We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the…

Rings and Algebras · Mathematics 2007-05-23 Mark Kambites , Friedrich Otto

In this paper, we investigate the control sets of linear control systems on the Heisenberg group associated with singular derivations. Under the Lie algebra rank condition, we provide a complete characterization of these sets by analyzing…

Optimization and Control · Mathematics 2025-10-13 Adriano Da Silva , Okan Duman , Anderson F. P. Rojas

This paper is a continuation of the paper "Numerical Semigroups: Ap\'ery Sets and Hilbert Series". We consider the general numerical AA-semigroup, i.e., semigroups consisting of all non-negative integer linear combinations of relatively…

Commutative Algebra · Mathematics 2017-01-17 Ignacio García-Marco , Jorge L. Ramírez Alfonsín , Oystein J. Rodseth

Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete…

Operator Algebras · Mathematics 2024-03-01 Yeong Chyuan Chung , Diego Martínez , Nóra Szakács

Semiuniform semigroups provide a natural setting for the convolution of generalized finite measures on semigroups. A semiuniform semigroup is said to be ambitable if each uniformly bounded uniformly equicontinuous set of functions on the…

Functional Analysis · Mathematics 2008-11-26 Jan Pachl

We extend the symbol calculus and study the limit operator theory for $\sigma$-compact, \'{e}tale and amenable groupoids, in the Hilbert space case. This approach not only unifies various existing results which include the cases of exact…

Operator Algebras · Mathematics 2019-04-26 Kyle Austin , Jiawen Zhang

Affine connection control systems are mechanical control systems that model a wide range of real systems such as robotic legs, hovercrafts, planar rigid bodies, rolling pennies, snakeboards and so on. In 1997 the accessibility and a…

Optimization and Control · Mathematics 2011-09-22 María Barbero-Liñán