Co-simulation of a Model Predictive Control System for Automotive Applications

被引:12
作者
Bernardeschi, Cinzia [1 ]
Dini, Pierpaolo [1 ]
Domenici, Andrea [1 ]
Mouhagir, Ayoub [2 ]
Palmieri, Maurizio [1 ]
Saponara, Sergio [1 ]
Sassolas, Tanguy [2 ]
Zaourar, Lilia [2 ]
机构
[1] Univ Pisa, Dept Informat Engn, Pisa, Italy
[2] Univ Paris Saclay, CEA List, F-91120 Palaiseau, France
来源
SOFTWARE ENGINEERING AND FORMAL METHODS: SEFM 2021 COLLOCATED WORKSHOPS | 2022年 / 13230卷
关键词
Model predictive control; Co-simulation; Autonomous vehicles;
D O I
10.1007/978-3-031-12429-7_15
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Designing a Model Predictive Control system requires an accurate analysis of the interplay among three main components: the plant, the control algorithm, and the processor where the algorithm is executed. A main objective of this analysis is determining if the controller running on the chosen hardware meets the time requirements and response time of the plant. The constraints, in turn, should be met with a satisfactory tradeoff between algorithm complexity and processor performance. To carry out these analyses for an autonomous vehicle control, this paper proposes to leverage parallel co-simulation between the plant, the model predictive controller and the processor.
引用
收藏
页码:204 / 220
页数:17
相关论文
共 28 条
[1]  
[Anonymous], 2012, PROC 9 INT MODELICA, DOI [10.3384/ecp12076173, DOI 10.3384/ECP12076173]
[2]  
Bellard F, 2005, USENIX Association Proceedings of the FREENIX/Open Source Track, P41
[3]   Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor [J].
Bernardeschi, Cinzia ;
Domenici, Andrea ;
Palmieri, Maurizio ;
Saponara, Sergio ;
Sassolas, Tanguy ;
Wicaksana, Arief ;
Zaourar, Lilia .
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 :263-279
[4]   Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm [J].
Bernardeschi, Cinzia ;
Dini, Pierpaolo ;
Domenici, Andrea ;
Palmieri, Maurizio ;
Saponara, Sergio .
ENERGIES, 2020, 13 (16)
[5]   A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems [J].
Bernardeschi, Cinzia ;
Domenici, Andrea ;
Masci, Paolo .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (06) :512-533
[6]  
Ceusters G., 2021, MODEL PREDICTIVE CON
[7]   Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration [J].
Charif, Amir ;
Busnot, Gabriel ;
Mameesh, Rania ;
Sassolas, Tanguy ;
Ventroux, Nicolas .
PROCEEDINGS OF THE RAPID SIMULATION AND PERFORMANCE EVALUATION: METHODS AND TOOLS (RAPIDO '19) / HIPEAC'19 CONFERENCE, 2019,
[8]   Design of Adaptive Controller Exploiting Learning Concepts Applied to a BLDC-Based Drive System [J].
Dini, Pierpaolo ;
Saponara, Sergio .
ENERGIES, 2020, 13 (10)
[9]   Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle [J].
Domenici, Andrea ;
Fagiolini, Adriano ;
Palmieri, Maurizio .
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 :300-314
[10]   A software framework for embedded nonlinear model predictive control using a gradient-based augmented Lagrangian approach (GRAMPC) [J].
Englert, Tobias ;
Voelz, Andreas ;
Mesmer, Felix ;
Rhein, Soenke ;
Graichen, Knut .
OPTIMIZATION AND ENGINEERING, 2019, 20 (03) :769-809