TY - JOUR
T1 - Model-based design of supervisory controllers for baggage handling systems
AU - Swartjes, L.
AU - van Beek, D. A.
AU - Fokkink, W. J.
AU - van Eekelen, J. A.W.M.
PY - 2017/11
Y1 - 2017/11
N2 - The complexity of airport baggage handling systems in combination with the required high level of robustness makes designing supervisory controllers for these systems a challenging task. We show how a state of the art, formal, model-based design framework has been successfully used for model-based design of supervisory controllers for an actual industrial baggage handling system, and for a real-time emulation model of an actual international airport. The high level modeling elements of the applied CIF model-based design framework allow the modeler to concentrate on implementing the baggage handling system design requirements, instead of programming PLC code. It also allows a modular and hierarchical design of the supervisory controller, and provides flexibility in adapting and extending the model. Validation of the controller and the uncontrolled plant by means of simulation and visualization made it possible to catch all modeling errors, leading to very short modeling, testing and error correction iteration loops. To the best of our knowledge, this is the first successful employment of formal, model-based design in the context of supervisory control for actual, industrial size baggage handling systems, that covers the entire development process from requirements up to and including validation, real-time PLC code generation and implementation. We give an overview of the model-based design framework, discuss several modeling issues, and analyze the results of the industrial applications. We do not go into full technical detail, due to nondisclosure agreements, but tell the story, and give lessons learned that we consider useful for practitioners.
AB - The complexity of airport baggage handling systems in combination with the required high level of robustness makes designing supervisory controllers for these systems a challenging task. We show how a state of the art, formal, model-based design framework has been successfully used for model-based design of supervisory controllers for an actual industrial baggage handling system, and for a real-time emulation model of an actual international airport. The high level modeling elements of the applied CIF model-based design framework allow the modeler to concentrate on implementing the baggage handling system design requirements, instead of programming PLC code. It also allows a modular and hierarchical design of the supervisory controller, and provides flexibility in adapting and extending the model. Validation of the controller and the uncontrolled plant by means of simulation and visualization made it possible to catch all modeling errors, leading to very short modeling, testing and error correction iteration loops. To the best of our knowledge, this is the first successful employment of formal, model-based design in the context of supervisory control for actual, industrial size baggage handling systems, that covers the entire development process from requirements up to and including validation, real-time PLC code generation and implementation. We give an overview of the model-based design framework, discuss several modeling issues, and analyze the results of the industrial applications. We do not go into full technical detail, due to nondisclosure agreements, but tell the story, and give lessons learned that we consider useful for practitioners.
KW - Application
KW - Controller
KW - Formal models
KW - Implementation
KW - Model-based design
KW - Supervisory control
KW - Validation
UR - http://www.scopus.com/inward/record.url?scp=85027891106&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85027891106&partnerID=8YFLogxK
U2 - 10.1016/j.simpat.2017.08.005
DO - 10.1016/j.simpat.2017.08.005
M3 - Article
AN - SCOPUS:85027891106
SN - 1569-190X
VL - 78
SP - 28
EP - 50
JO - Simulation Modelling Practice and Theory
JF - Simulation Modelling Practice and Theory
ER -