Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

Abstract

DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement:

Modeling for supervisor synthesis – a lock-bridge combination case study

“…For the requirements, we identify textual formats that can straightforwardly be translated into models. This method produces models that show similarities to the models of a theme park vehicle (Forschelen et al 2012), a patient support table for an MRI scanner (Theunissen et al 2014), a FESTO production line (Reijnen et al 2018), and a driver assistance system (Korssen et al 2018). While these papers all present their models in detail, none of them discusses a method to obtain those models.…”

“…By far, most cases described in the literature focus on the domain of manufacturing systems; e.g., Leduc and Wonham (1995), Brandin (1996), Lauzon et al (1996), Kim et al (2001), de Queiroz and Cury (2002), Chandra et al (2003), Nourelfath and Niel (2004), Ljungkrantz et al (2007), Pétin et al (2007), Hasdemir et al (2008), Moor et al (2010), Silva et al (2011), van der Sanden et al (2015, and Pena et al (2016). Other application domains are theme park vehicles (Forschelen et al 2012), chemical process control (Rawlings et al 2014), patient support table for an MRI scanner (Theunissen et al 2014), smart homes dedicated to disabled people (Guillet et al 2014), mobile robots (Lopes et al 2016), computer science (Liao et al 2013;Auer et al 2014;Atampore et al 2016), and driver assistance systems (von Bochmann et al 2015;Korssen et al 2018). In Reijnen et al (2017), we reported on an application related to a lock control system in Tilburg.…”

“…The plant and requirements are modeled with finite-state automata. The driver assistance system, considered in Korssen et al (2018), consists of 28 components, modeled by finite-state automata, leading to a plant state space of 3.4 × 10 9 states. Differently from the previous examples, event conditions are used to represent the requirements.…”

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

“…Case ADAS. In this case study, an Advanced Driver Assistant Systems (ADAS) is modeled, see [13]. In such an application, a supervisor is synthesized to safely switch in a vehicle between the modes 'no cruise control (NCC)', 'cruise control (CC)', and 'adaptive cruise control (ACC)'.…”

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata

“…The syntheses in this paper are performed using the EFA supervisor synthesis tool of CIF 1 . CIF has been used to synthesize supervisors for industrial sized systems [4]- [6], [22], [23]. Its EFA supervisor synthesis tool is based on the supervisor synthesis algorithm sketched in Section II-A, barring some minor differences that are irrelevant to our interpretation of the algorithm.…”