The Activity Execution Engine is a synthesis framework to generate implementations for the Activity Model framework, specifically from LSAT [1] specifications.
The underlying model-of-computation Activity Models with action feedback from the plant [2]. These models have a switching max-plus-linear model that determines the timing semantics, while actions, action dependencies, and supervisory control, driven by action feedback are derived from the activity model.
The Activity Execution Engine guarantees (under certain platform assumptions) to
- preserve timing, either as an exact, time-triggered schedule, or as an ASAP scheduling that respects the model timing as a worst-case bound
- preserves the specified actions and their dependencies
- preserves the specified supervisory control behavior
References
- (2021): LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), pp. 1-8, 2021.
- (2023): Modeling and analysis of switching max-plus linear systems with discrete-event feedback. In: Discrete Event Dynamic Systems, vol. 33, no. 3, pp. 341โ372, 2023, ISSN: 0924-6703.