Reliable Modeling for Safe Navigation of Intelligent Vehicles: Analysis of First and Second Order Set-membership TTC

被引:5
|
作者
Ben Lakhal, Nadhir Mansour [1 ,2 ]
Nasri, Othman [2 ]
Adouane, Lounis [3 ]
Slama, Jaleleddine Ben Hadj [2 ]
机构
[1] Clermont Auvergne Univ, UMR CNRS 6602, UCA SIGMA, Inst Pascal, Clermont Ferrand, France
[2] Univ Sousse, Natl Engn Sch Sousse ENISo, LATIS Lab, BP 264, Sousse Erriadh 1023, Tunisia
[3] Univ Technol Compiegne, UTC 7253, Heudiasyc UMR CNRS, F-60203 Compiegne, France
关键词
Intelligent Vehicles; Risk Management; Interval-based Modeling; Correlation Analysis; Interval Polynomial; Second-order Time to Collision;
D O I
10.5220/0009890305450552
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Developing high fidelity models to compute the Time-To-Collision (TTC) between vehicles is addressed in this work. A TTC interval value is over-approximated while considering several uncertainties via interval analysis. Furthermore, to decrease modeling inaccuracy, a novel second-order set-membership TTC formalization is introduced by solving a polynomial equation with interval coefficients. This latter is derived from vehicles' motion equations. Hence, an approach based on correlation analysis is exploited to improve the uncertainty evaluation. The simulation results applied on an adaptive cruise control system of both high/low-order TTC formalizations prove that the low-order model inaccuracy is compensated. Thanks to interval analysis and correlation characterization, a great balance between modeling accuracy and simplicity is reached.
引用
收藏
页码:545 / 552
页数:8
相关论文
共 3 条
  • [1] Interval-based Solutions for Reliable and Safe Navigation of Intelligent Autonomous Vehicles
    Ben Lakhal, Nadhir Mansour
    Adouane, Lounis
    Nasri, Othman
    Slama, Jaleleddine Ben Hadj
    2019 12TH INTERNATIONAL WORKSHOP ON ROBOT MOTION AND CONTROL (ROMOCO '19), 2019, : 124 - 130
  • [2] Modeling and analysis of industrial hybrid systems based on first order and second order FSPN
    Huang, B
    Sun, YM
    PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 347 - 351
  • [3] An intelligent modeling and analysis method of manufacturing process using the first-order predicate logic
    Wang Zhenwei
    Du Pingan
    Yu Yating
    COMPUTERS & INDUSTRIAL ENGINEERING, 2009, 56 (04) : 1559 - 1565