Compositional specification of functionality and timing of manufacturing systems

L.J. van der Sanden, J.P. Nogueira Bastos, J.P.M. Voeten, M.C.W. Geilen, M.A. Reniers, T. Basten, J. Jacobs, R.R.H. Schiffelers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

160 Downloads (Pure)

Abstract

In this paper, a formal modeling approach is introduced for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to the timing. The functional aspects are specified using two abstraction levels; high-level activities and lower level actions. Design of a functionally correct controller is possible by looking only at the activity level, abstracting from the different execution orders of actions. Furthermore, the specific timing of actions is not needed. As a result, controller design
can be performed on a much smaller state space compared to an explicit model where timing and actions are present. The performance of the controller can be analyzed and optimized
by taking into account the timing characteristics. Since formal semantics are given in terms of a (max, +) state space, various existing performance analysis techniques can be used. We
illustrate the approach, including performance analysis, on an example manufacturing system.
Original languageEnglish
Title of host publicationProceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016
Number of pages8
Publication statusPublished - Sep 2016
Event2016 Forum on specification and Design Languages (FDL 2016) - Universitaet Bremen, Bremen, Germany
Duration: 14 Sep 201616 Sep 2016
https://ecsi.org/fdl

Conference

Conference2016 Forum on specification and Design Languages (FDL 2016)
Abbreviated titleFDL 2016
CountryGermany
CityBremen
Period14/09/1616/09/16
Internet address

Fingerprint

Dive into the research topics of 'Compositional specification of functionality and timing of manufacturing systems'. Together they form a unique fingerprint.

Cite this