Time- and Behavior-Preserving Execution of Determinate Supervisory Control

The activity framework is a promising model-based design approach for Flexible Manufacturing Systems (FMS). It is used in industry for specification and analysis of FMS. It provides an intuitive specification language with a hierarchical view of the system's actions and events, activities built...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2023-12
Main Authors: Mohamadkhani, Alireza, Geilen, Marc, Voeten, Jeroen, Basten, Twan
Format: Article
Language:English
Subjects:
Flexible manufacturing systems
Linear systems
Sequences
Specification and description languages
Specifications
Supervisory control
System theory
Systems theory
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The activity framework is a promising model-based design approach for Flexible Manufacturing Systems (FMS). It is used in industry for specification and analysis of FMS. It provides an intuitive specification language with a hierarchical view of the system's actions and events, activities built from them, and an automaton that captures the overall behavior of the system in terms of sequences of activities corresponding to its accepted words. It also provides a scalable timing analysis method using max-plus linear systems theory. The framework currently requires manual implementation of the supervisory controller that governs the system behavior. This is labor-intensive and error-prone. In this article, we turn the framework into a model-driven approach by introducing an execution architecture and execution engine that allow a specification to be executed in a time- and behavior-preserving fashion. We prove that the architecture and engine preserve the specified ordering of actions and events in the specification as well as the timing thereof up to a specified bound. We validate our approach on a prototype production system.
ISSN:2331-8422