The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties ...

This paper proposes a dead time compensator based on a combination of the linear algebra control methodology (proposed by Scaglia, 2009) and an internal model structure (Smith predictor), to solve elevated dead time system ...

The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean ...

Let U be a regular Banach algebra and let D:U→U∗ be a bounded linear operator, where U∗ is the topological dual space of U. We seek conditions under which the transpose of D becomes a bounded derivation on U∗∗. We focus ...

This article proposes a controller based on NumericalMethods and Linear Algebra (NMLA). It is applied to systemswith inverse response that are approximated to reduced secondorder models. The design of the controller is ...

This book summarizes the application of linear algebra-based controllers (LABC) for trajectory tracking for practitioners and students across a range of engineering disciplines. It clarifies the necessary steps to apply ...

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms ...