Model-based design of supervisory controllers for baggage handling systems

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Abstract

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.

LanguageEnglish
Pages28-50
Number of pages23
JournalSimulation Modelling Practice and Theory
Volume78
DOIs
StatePublished - 1 Nov 2017

Fingerprint

Baggage handling
Model-based Design
Controller
Controllers
Formal Model
Programmable logic controllers
Modeling
Airports
Real-time
Supervisory Control
Modeling Error
Code Generation
Emulation
Requirements
Error Correction
Industrial Application
Development Process
System Design
Visualization
Programming

Keywords

  • Application
  • Controller
  • Formal models
  • Implementation
  • Model-based design
  • Supervisory control
  • Validation

Cite this

@article{08dfe16b7bc6476ba4bb192d08b622f8,
title = "Model-based design of supervisory controllers for baggage handling systems",
abstract = "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.",
keywords = "Application, Controller, Formal models, Implementation, Model-based design, Supervisory control, Validation",
author = "L. Swartjes and {van Beek}, D.A. and W.J. Fokkink and {van Eekelen}, J.A.W.M.",
year = "2017",
month = "11",
day = "1",
doi = "10.1016/j.simpat.2017.08.005",
language = "English",
volume = "78",
pages = "28--50",
journal = "Simulation Modelling Practice and Theory",
issn = "1569-190X",
publisher = "Elsevier",

}

Model-based design of supervisory controllers for baggage handling systems. / Swartjes, L.; van Beek, D.A.; Fokkink, W.J.; van Eekelen, J.A.W.M.

In: Simulation Modelling Practice and Theory, Vol. 78, 01.11.2017, p. 28-50.

Research output: Contribution to journalArticleAcademicpeer-review

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/1

Y1 - 2017/11/1

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

U2 - 10.1016/j.simpat.2017.08.005

DO - 10.1016/j.simpat.2017.08.005

M3 - Article

VL - 78

SP - 28

EP - 50

JO - Simulation Modelling Practice and Theory

T2 - Simulation Modelling Practice and Theory

JF - Simulation Modelling Practice and Theory

SN - 1569-190X

ER -