Modular discrete event systems control based on logic inference | Zendy

А. Д. Давыдов | Zendy; Arkadiy Larionov | Zendy; N. Nagul | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modular discrete event systems control based on logic inference

Author(s) -

А. Д. Давыдов,

Arkadiy Larionov,

N. 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 (management) , robot , control system , block (permutation group theory) , rule of inference , artificial intelligence , programming language , mathematics , engineering , physics , geometry , quantum mechanics , electrical engineering

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research