Open AccessModular discrete event systems control based on logic inference
Author(s) -
Artem Davydov,
Aleksandr Larionov,
Nadezhda V. Nagul
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.47350/iccs-de.2021.03
Subject(s) - modular design , event calculus , automaton , computer science , inference , event (particle physics) , theoretical computer science , control system , control (management) , robot , block (permutation group theory) , artificial intelligence , programming language , mathematics , engineering , physics , quantum mechanics , electrical engineering , geometry
The paper illustrates an application of the recently developed method of dealing with controlled automata-based discrete event systems with the help of logical inference. The method based on the calculus of positively constructed formulas is extended on the case of systems built out of sets of modules. Specifications restricting system behavior are also supposed to be modular. Due to the special features of the calculus of positively constructed formulas, it may be applied at the upper level of a robot group control system. The case study of mobile robots pushing a block to a target area is considered.