English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The activity framework is a promising model-based design approach forFlexible Manufacturing Systems (FMS). It is used in industry for specificationand analysis of FMS. It provides an intuitive specification language with ahierarchical view of the system's actions and events, activities built fromthem, and an automaton that captures the overall behavior of the system interms of sequences of activities corresponding to its accepted words. It alsoprovides a scalable timing analysis method using max-plus linear systemstheory. The framework currently requires manual implementation of thesupervisory controller that governs the system behavior. This islabor-intensive and error-prone. In this article, we turn the framework into amodel-driven approach by introducing an execution architecture and executionengine that allow a specification to be executed in a time- andbehavior-preserving fashion. We prove that the architecture and engine preservethe specified ordering of actions and events in the specification as well asthe timing thereof up to a specified bound. We validate our approach on aprototype production system.

Time- and Behavior-Preserving Execution of Determinate Supervisory Control