Systematic model-based design and implementation of supervisors for advanced driver assistance systems
| Autor: | Joanna M. van de Mortel-Fronczak, Michel A. Reniers, V.S. Dolk, Tim Korssen, Maurice Heemels |
|---|---|
| Přispěvatelé: | Mechanical Engineering, Control Systems Technology |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
0209 industrial biotechnology
Correctness Computer science Advanced driver assistance systems 02 engineering and technology Tools 020901 industrial engineering & automation Mathematical model Supervisory control Systematics 0502 economics and business Model-based design advanced driver assistance systems Cruise control model-driven development 050210 logistics & transportation Supervisor business.industry Mechanical Engineering automotive engineering 05 social sciences Control engineering Vehicles Automation Computer Science Applications Discrete-event systems Systems architecture control system synthesis business |
| Zdroj: | IEEE Transactions on Intelligent Transportation Systems, 19(2):8226993, 533-544. Institute of Electrical and Electronics Engineers |
| ISSN: | 1524-9050 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|