This research will model and analyze the six-legged robot foot movement using two motors. The used is Lego Mainstroms EV3 robot. Searching for eigenvalues vectors use MATLAB Scilab programs. From value eigenvectors obtained, analysis be performed of Tripod gait means that 3 legs are in same group perform movements both raised tread alternately with other groups legs. (1) main components making ...

Рассматриваются программы, выполняемые на видеокартах общего назначения и представленные в виде “ядер”, не содержащих циклов с неопределенной продолжительностью. Такие ядра могут быть реализованы, например, помощью технологий CUDA или OpenCL. Для оценки времени работы подобных программ предложены модели их работы: от совсем “наивной” до более реалистичных. Все они формулируются как матричные вы...

This paper presents a new framework for asynchrony. This has its origins in our attempts to better harness the internal decision-making process of cellular automata (CA). Thus, we show that a max-plus algebraic model of asynchrony arises naturally from the CA requirement that a cell receive the state of each neighbor before updating. The significant result is the existence of a bijective mappin...

We present examples from a reference implementation of variants of Kleene algebras and Tarski’s relation algebras in the theorem proving environment Isabelle/HOL. For Kleene algebras we show how models can be programmed, including sets of traces and paths, languages, binary relations, max-plus and min-plus algebra, matrices, formal power series. For relation algebras we discuss primarily proof ...

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to da...

P-time event graphs are discrete systems suitable for modeling processes in which tasks must be executed predefined time windows. Their dynamics can represented by max-plus linear-dual inequalities (LDIs), i.e., of linear dynamical the algebra and its dual, min-plus algebra. We define a new class models called switched LDIs (SLDIs), allow to switch between different modes operations, each corre...

If you want to cite this report, please use the following reference instead: T.J.J. van den Boom and B. De Schutter, " Model predictive control for perturbed max-plus-linear systems, " Abstract Model predictive control (MPC) is a popular controller design technique in the process industry. Conventional MPC uses linear or nonlinear discrete-time models. Recently, we have extended MPC to a class ...