Control strategies for meeting time and capacity constraints in manufacturing plants based on discrete event systems

This paper addresses the control problem related to marking and strict timing constraints in Timed Event Graphs (TEGs). An analytic approach is developed to design state feedback control laws using Min-Plus formalism. In this approach, the dynamic behavior of TEGs and the mixed constraints are represented by linear equations and inequalities within the Min-Plus algebra dioid. Utilizing these mathematical frameworks, control laws are formulated to enforce the required constraints on TEG paths, provided certain sufficient conditions are met. The proposed controllers are implemented through a set of monitor places that oversee the initial TEGs, ensuring all mixed constraints are satisfied. Finally, a manufacturing system case study is presented to demonstrate the theoretical results and validate the effectiveness of the proposed methods.

Authors

Institutions

Publication Details

Published
2025-07-15
DOI
https://doi.org/10.1109/codit66093.2025.11321559
Primary Topic
Petri Nets in System Modeling
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Control strategies for meeting time and capacity constraints in manufacturing plants based on discrete event systems

Saïd Amari, Syrine Bouazza
Petri Nets in System Modeling
article

Control strategies for meeting time and capacity constraints in manufacturing plants based on discrete event systems

Saïd Amari, Syrine Bouazza
article en

Abstract

This paper addresses the control problem related to marking and strict timing constraints in Timed Event Graphs (TEGs). An analytic approach is developed to design state feedback control laws using Min-Plus formalism. In this approach, the dynamic behavior of TEGs and the mixed constraints are represented by linear equations and inequalities within the Min-Plus algebra dioid. Utilizing these mathematical frameworks, control laws are formulated to enforce the required constraints on TEG paths, provided certain sufficient conditions are met. The proposed controllers are implemented through a set of monitor places that oversee the initial TEGs, ensuring all mixed constraints are satisfied. Finally, a manufacturing system case study is presented to demonstrate the theoretical results and validate the effectiveness of the proposed methods.

Université Le Havre Normandie (FR), Université Paris-Saclay (FR), Université Sorbonne Paris Nord (FR), Laboratoire d'Informatique de Paris-Nord (FR), Laboratoire Universitaire de Recherche en Production Automatisée, Groupe de Recherche en Electrotechnique et Automatique du Havre (FR)
Openalex Percentile: Top 65%
Petri Nets in System Modeling
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Control strategies for meeting time and capacity constraints in manufacturing plants based on discrete event systems — Saïd Amari, Syrine Bouazza · (2025) | TGRS Research Map | TGRS