Model-based design of supervisory controllers for baggage handling systems

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)

Uittreksel

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.

TaalEngels
Pagina's28-50
Aantal pagina's23
TijdschriftSimulation Modelling Practice and Theory
Volume78
DOI's
StatusGepubliceerd - 1 nov 2017

Vingerafdruk

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

Trefwoorden

    Citeer dit

    @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, blz. 28-50.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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 -