Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs (TEGs) which include disturbed input transitions and which are subject to token capacity constraints in some paths. Using the Min-Plus algebra for...
Saved in:
Published in | International journal of control Vol. 97; no. 8; pp. 1874 - 1886 |
---|---|
Main Authors | , , , , |
Format | Journal Article |
Language | English |
Published |
Abingdon
Taylor & Francis
02.08.2024
Taylor & Francis Ltd |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs (TEGs) which include disturbed input transitions and which are subject to token capacity constraints in some paths. Using the Min-Plus algebra formalism, formal approaches are proposed to design causal control laws to guarantee compliance with marking constraints in TEGs. Sufficient conditions are defined to show the existence and synthesis of these controllers. The developed methodologies are illustrated in a case study of a disassembly system with a limited stock of components. |
---|---|
Bibliography: | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
ISSN: | 0020-7179 1366-5820 |
DOI: | 10.1080/00207179.2023.2236723 |