Towards Formal Verification of Adaptive Cruise Controller using SpaceEx

被引：0
|
作者：
Mishra, Ambuj [1 ]
Roy, Subir K. [1 ]
机构：
[1] IIIT Bangalore, Bangalore, Karnataka, India
来源：
2016 INTERNATIONAL CONFERENCE ON VLSI SYSTEMS, ARCHITECTURES, TECHNOLOGY AND APPLICATIONS (VLSI-SATA) | 2016年
关键词：
Hybrid Systems; Formal Verification; Hybrid Automata;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
A formal mathematical model of an Adaptive Cruise Controller (ACC) in SpaceEx is presented with a view to formally verify it to ensure its safety critical behavior. SpaceEx (an academic open source tool) is a hybrid systems modeling and verification platform which employs efficient implementation of reachability and safety verification algorithms which are scalable under certain assumptions, to circumvent the difficult problem of formal verification of hybrid systems. In this paper, application of SpaceEx in the comprehensive verification of an Adaptive Cruise Controller for automobiles is presented.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] Adaptive Cruise Controller Design Without Transitional Strategy
    Kyungsik Shin
    Jaeho Choi
    Kunsoo Huh
    International Journal of Automotive Technology, 2020, 21 : 675 - 683
  • [22] Adaptive Cruise Controller Design Without Transitional Strategy
    Shin, Kyungsik
    Choi, Jaeho
    Huh, Kunsoo
    INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY, 2020, 21 (03) : 675 - 683
  • [23] Comparison of a linear and a hybrid adaptive cruise controller for a SMART
    Corona, Daniele
    De Schutter, Bart
    PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 297 - 302
  • [24] A Novel Nonlinear Adaptive Cruise Controller for Vehicular Platoons
    Karafyllis, Iasson
    Theodosis, Dionysis
    Papageorgiou, Markos
    2021 EUROPEAN CONTROL CONFERENCE (ECC), 2021, : 1814 - 1821
  • [25] AHB-Master Controller Formal Compliance Verification
    Nguyen Son Lam
    Nguyen Due Minh
    2014 IEEE FIFTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2014, : 340 - 345
  • [26] On Formal Verification of Toyota's Electronic Throttle Controller
    Ras, Jim
    Cheng, Albert M. K.
    2011 IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2011), 2011, : 552 - 555
  • [27] Formal verification and controller redesign of power electronic converters
    Miranda, MVC
    Lima, AMN
    PROCEEDINGS OF THE IEEE-ISIE 2004, VOLS 1 AND 2, 2004, : 907 - 912
  • [28] Formal verification of an automotive engine controller in cutoff mode
    Villa, T
    Wong-Toi, H
    Balluchi, A
    Preussig, J
    Sangiovanni-Vincentelli, AL
    Watanabe, Y
    PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 4271 - 4276
  • [29] A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control
    Dantas, Yuri Gil
    Nigam, Vivek
    Talcott, Carolyn
    2020 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), 2020,
  • [30] Towards formal verification of web service composition
    Bai, XX
    Fan, YS
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 577 - 581
12345