Mnesors are defined as elements of a semimodule over the min-plus integers. This dual structure is able to merge vector properties and boolean properties, which makes it appropriate for hybrid systems. We apply it to the control of an inverted pendulum and we design a logical controller, that is, without the usual algebra of real numbers.
View on arXiv