AI Chat AI Image Generator AI Video Text to Speech

Mnesors for automatic control

06/16/2009

∙

by Gilles Champenois, et al.

∙

∙

Mnesors are defined as elements of a semimodule over the min-plus integers. This two-sorted structure is able to merge graduation properties of vectors and idempotent properties of boolean numbers, which makes it appropriate for hybrid systems. We apply it to the control of an inverted pendulum and design a full logical controller, that is, without the usual algebra of real numbers.

research

∙ 07/24/2023

On Boolean reliability algebra

In this paper we consider systems which consist of binary components wit...

0 Branislav Boričić, et al. ∙

research

∙ 03/19/2021

Frobenius Numbers and Automatic Sequences

The Frobenius number g(S) of a set S of non-negative integers with 1 is ...

0 Jeffrey Shallit, et al. ∙

research

∙ 03/17/2023

From positional representation of numbers to positional representation of vectors

To represent real m-dimensional vectors, a positional vector system give...

0 Izabella Ingrid Farkas, et al. ∙

research

∙ 12/20/2019

A characterisation of ordered abstract probabilities

In computer science, especially when dealing with quantum computing or o...

0 Abraham Westerbaan, et al. ∙

research

∙ 11/16/2019

Where are the Natural Numbers in Hilbert's Foundations of Geometry?

Hilbert's Foundations of Geometry was perhaps one of the most influentia...

0 Phil Scott, et al. ∙

research

∙ 06/17/2023

Old and New Minimalism: a Hopf algebra comparison

In this paper we compare some old formulations of Minimalism, in particu...

0 Matilde Marcolli, et al. ∙

research

∙ 02/10/2021

An Algebra of Properties of Binary Relations

We consider all 16 unary operations that, given a homogeneous binary rel...

0 Jochen Burghardt, et al. ∙