The construction of controllable sublanguage of specification for DES via PCFs based inference

Mapping Intimacies ◽

10.47350/iccs-de.2020.06 ◽

2020 ◽

Author(s):

A. Davydov ◽

A. Larionov ◽

N. Nagul

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Logical Inference ◽

System A ◽

Event Systems ◽

Inference Search ◽

The Given

The paper considers how methods of a logical inference search in the calculus of positively constructed formulas may be applied to represent and study discrete event systems. The formalisms of discrete event systems and positively constructed formulas are briefly described. A method for constructing a product of automata using constructive inference in the positively constructed formulas calculus is proposed. Based on the given specication on the behaviour of the system, a method for constructing a supremal controllable sublanguage of the specication is presented.

Download Full-text

Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems

International Journal of Computers Communications & Control ◽

10.15837/ijccc.2010.4.2494 ◽

2010 ◽

Vol 5 (4) ◽

pp. 447 ◽

Cited By ~ 1

Author(s):

Aydın Aybar

Keyword(s):

Discrete Event Systems ◽

Controller Design ◽

Timed Automata ◽

Discrete Event ◽

Design Approach ◽

Forbidden States ◽

Event Systems ◽

Local Controller ◽

The Given ◽

Timed Automaton

A decentralized controller design approach is developed for the timed discrete event systems which are modelled by timed automata in this work. An approach, called augmentation, is presented to obtain the new modelling method such that each unit delay of any event represents a pair of new state and event. The augmented automata model, obtained by using this approach, is considered to design a decentralized controller. This controller design approach is developed such that the local controller is designed for each subautomaton, obtained by using overlapping decompositions and expansions and these controllers are then combined to obtain a decentralized controller for the given timed automaton. The designed decentralized controller guarantees the unreachability of a forbidden state in the considered automaton.

Download Full-text

Modular discrete event systems control based on logic inference

10.47350/iccs-de.2021.03 ◽

2021 ◽

Author(s):

A. Davydov ◽

A. Larionov ◽

N. Nagul

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Target Area ◽

Logical Inference ◽

System Behavior ◽

Event Systems ◽

Upper Level ◽

Logic Inference ◽

Robot Group

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.

Download Full-text