Systematic model-based design of supervisors for advanced driver assistance systems

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
31 Downloads (Pure)

Abstract

The number of advanced driver assistance systems (ADASs) and the level of automation in modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be active at the same time and therefore may need to interact with each other. As a consequence, the design of the supervisor layer that is responsible for proper coordination of the control tasks performed by the low-level ADASs controllers is becoming more complex and safety-critical. For this reason, there is a strong need for automated synthesis tools that lead to supervisors that are safe by design. In this paper, we present a systematic approach to model-based supervisor design using discrete-event system representations. In particular, this paper shows that the proposed method is suitable to deal with the multiple and complex systems of interacting ADASs. To be more specific, in contrast to current practice, which often relies on textual specifications and exhaustive testing, the proposed method has four main advantages: 1) it is based on mathematically specified requirements that only allow one interpretation; 2) it prevents blocking situations by design; 3) it guarantees correctness in the sense that the resulting supervisor satisfies all the specified requirements; and 4) code is generated from the obtained supervisor which eliminates the need for manual coding. The proposed method is demonstrated by means of a case study on cruise control and adaptive cruise control. The resulting supervisor is validated by simulations and experiments on a modern passenger vehicle. Based on the results presented in this paper, it can be concluded that the model-based supervisor design, simulation, and implementation method is promising and powerful for future applications in the automated vehicle systems.

Original languageEnglish
Pages (from-to)533-544
JournalIEEE Transactions on Intelligent Transportation Systems
Volume19
Issue number2
DOIs
Publication statusPublished - Feb 2018

Fingerprint

Advanced driver assistance systems
Supervisory personnel
Cruise control
Adaptive cruise control
Discrete event simulation
Large scale systems
Automation
Specifications
Controllers
Testing

Keywords

  • advanced driver assistance systems
  • automotive engineering
  • control system synthesis
  • Cruise control
  • Discrete-event systems
  • Mathematical model
  • model-driven development
  • Supervisory control
  • Systematics
  • Tools
  • Vehicles

Cite this

@article{b67abc5b267f44e0a0b7e96e48cbe3e1,
title = "Systematic model-based design of supervisors for advanced driver assistance systems",
abstract = "The number of advanced driver assistance systems (ADASs) and the level of automation in modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be active at the same time and therefore may need to interact with each other. As a consequence, the design of the supervisor layer that is responsible for proper coordination of the control tasks performed by the low-level ADASs controllers is becoming more complex and safety-critical. For this reason, there is a strong need for automated synthesis tools that lead to supervisors that are safe by design. In this paper, we present a systematic approach to model-based supervisor design using discrete-event system representations. In particular, this paper shows that the proposed method is suitable to deal with the multiple and complex systems of interacting ADASs. To be more specific, in contrast to current practice, which often relies on textual specifications and exhaustive testing, the proposed method has four main advantages: 1) it is based on mathematically specified requirements that only allow one interpretation; 2) it prevents blocking situations by design; 3) it guarantees correctness in the sense that the resulting supervisor satisfies all the specified requirements; and 4) code is generated from the obtained supervisor which eliminates the need for manual coding. The proposed method is demonstrated by means of a case study on cruise control and adaptive cruise control. The resulting supervisor is validated by simulations and experiments on a modern passenger vehicle. Based on the results presented in this paper, it can be concluded that the model-based supervisor design, simulation, and implementation method is promising and powerful for future applications in the automated vehicle systems.",
keywords = "advanced driver assistance systems, automotive engineering, control system synthesis, Cruise control, Discrete-event systems, Mathematical model, model-driven development, Supervisory control, Systematics, Tools, Vehicles",
author = "T. Korssen and V.S. Dolk and {van de Mortel - Fronczak}, J.M. and M.A. Reniers and W.P.M.H. Heemels",
year = "2018",
month = "2",
doi = "10.1109/TITS.2017.2776354",
language = "English",
volume = "19",
pages = "533--544",
journal = "IEEE Transactions on Intelligent Transportation Systems",
issn = "1524-9050",
publisher = "Institute of Electrical and Electronics Engineers",
number = "2",

}

Systematic model-based design of supervisors for advanced driver assistance systems. / Korssen, T.; Dolk, V.S.; van de Mortel - Fronczak, J.M.; Reniers, M.A.; Heemels, W.P.M.H.

In: IEEE Transactions on Intelligent Transportation Systems, Vol. 19, No. 2, 02.2018, p. 533-544.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Systematic model-based design of supervisors for advanced driver assistance systems

AU - Korssen, T.

AU - Dolk, V.S.

AU - van de Mortel - Fronczak, J.M.

AU - Reniers, M.A.

AU - Heemels, W.P.M.H.

PY - 2018/2

Y1 - 2018/2

N2 - The number of advanced driver assistance systems (ADASs) and the level of automation in modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be active at the same time and therefore may need to interact with each other. As a consequence, the design of the supervisor layer that is responsible for proper coordination of the control tasks performed by the low-level ADASs controllers is becoming more complex and safety-critical. For this reason, there is a strong need for automated synthesis tools that lead to supervisors that are safe by design. In this paper, we present a systematic approach to model-based supervisor design using discrete-event system representations. In particular, this paper shows that the proposed method is suitable to deal with the multiple and complex systems of interacting ADASs. To be more specific, in contrast to current practice, which often relies on textual specifications and exhaustive testing, the proposed method has four main advantages: 1) it is based on mathematically specified requirements that only allow one interpretation; 2) it prevents blocking situations by design; 3) it guarantees correctness in the sense that the resulting supervisor satisfies all the specified requirements; and 4) code is generated from the obtained supervisor which eliminates the need for manual coding. The proposed method is demonstrated by means of a case study on cruise control and adaptive cruise control. The resulting supervisor is validated by simulations and experiments on a modern passenger vehicle. Based on the results presented in this paper, it can be concluded that the model-based supervisor design, simulation, and implementation method is promising and powerful for future applications in the automated vehicle systems.

AB - The number of advanced driver assistance systems (ADASs) and the level of automation in modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be active at the same time and therefore may need to interact with each other. As a consequence, the design of the supervisor layer that is responsible for proper coordination of the control tasks performed by the low-level ADASs controllers is becoming more complex and safety-critical. For this reason, there is a strong need for automated synthesis tools that lead to supervisors that are safe by design. In this paper, we present a systematic approach to model-based supervisor design using discrete-event system representations. In particular, this paper shows that the proposed method is suitable to deal with the multiple and complex systems of interacting ADASs. To be more specific, in contrast to current practice, which often relies on textual specifications and exhaustive testing, the proposed method has four main advantages: 1) it is based on mathematically specified requirements that only allow one interpretation; 2) it prevents blocking situations by design; 3) it guarantees correctness in the sense that the resulting supervisor satisfies all the specified requirements; and 4) code is generated from the obtained supervisor which eliminates the need for manual coding. The proposed method is demonstrated by means of a case study on cruise control and adaptive cruise control. The resulting supervisor is validated by simulations and experiments on a modern passenger vehicle. Based on the results presented in this paper, it can be concluded that the model-based supervisor design, simulation, and implementation method is promising and powerful for future applications in the automated vehicle systems.

KW - advanced driver assistance systems

KW - automotive engineering

KW - control system synthesis

KW - Cruise control

KW - Discrete-event systems

KW - Mathematical model

KW - model-driven development

KW - Supervisory control

KW - Systematics

KW - Tools

KW - Vehicles

UR - http://www.scopus.com/inward/record.url?scp=85039782617&partnerID=8YFLogxK

U2 - 10.1109/TITS.2017.2776354

DO - 10.1109/TITS.2017.2776354

M3 - Article

AN - SCOPUS:85039782617

VL - 19

SP - 533

EP - 544

JO - IEEE Transactions on Intelligent Transportation Systems

JF - IEEE Transactions on Intelligent Transportation Systems

SN - 1524-9050

IS - 2

ER -