Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach

An, Dongdong; Liu, Jing; Zhang, Min; Chen, Xiaohong; Chen, Mingsong; Sun, Haiying

doi:10.1016/j.jss.2020.110617

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach

Journal Article · Tue Sep 01 00:00:00 EDT 2020 · Journal of Systems and Software

DOI:https://doi.org/10.1016/j.jss.2020.110617· OSTI ID:1702150

; Liu, Jing; Zhang, Min; Chen, Xiaohong; Chen, Mingsong; Sun, Haiying

Not Available

View Accepted Manuscript (Publisher)

Sponsoring Organization:: USDOE Office of Electricity (OE), Advanced Grid Research & Development. Power Systems Engineering Research

OSTI ID:: 1702150

Journal Information:: Journal of Systems and Software, Journal Name: Journal of Systems and Software Journal Issue: C Vol. 167; ISSN 0164-1212

Publisher:: ElsevierCopyright Statement

Country of Publication:: United States

Language:: English

References (19)

Autonomous driving in urban environments: Boss and the Urban Challenge Urmson, Chris; Anhalt, Joshua; Bagnell, Drew Journal of Field Robotics, Vol. 25, Issue 8 https://doi.org/10.1002/rob.20255	journal	August 2008
Uppaal SMC tutorial David, Alexandre; Larsen, Kim G.; Legay, Axel International Journal on Software Tools for Technology Transfer, Vol. 17, Issue 4 https://doi.org/10.1007/s10009-014-0361-y	journal	January 2015
Model checking for probabilistic timed automata Norman, Gethin; Parker, David; Sproston, Jeremy Formal Methods in System Design, Vol. 43, Issue 2 https://doi.org/10.1007/s10703-012-0177-x	journal	October 2012
Hybrid MARTE statecharts Liu, Jing; Liu, Ziwei; He, Jifeng Frontiers of Computer Science, Vol. 7, Issue 1 https://doi.org/10.1007/s11704-012-1301-1	journal	January 2013
Logistic regression and artificial neural network classification models: a methodology review Dreiseitl, Stephan; Ohno-Machado, Lucila Journal of Biomedical Informatics, Vol. 35, Issue 5-6 https://doi.org/10.1016/S1532-0464(03)00034-0	journal	October 2002
Embedded feature-selection support vector machine for driving pattern recognition Zhang, Xing; Wu, Guang; Dong, Zuomin Journal of the Franklin Institute, Vol. 352, Issue 2 https://doi.org/10.1016/j.jfranklin.2014.04.021	journal	February 2015
An imprecise extension of SVM-based machine learning models V. Utkin, Lev Neurocomputing, Vol. 331 https://doi.org/10.1016/j.neucom.2018.11.053	journal	February 2019
An Empirical Comparison of Pruning Methods for Decision Tree Induction Mingers, John Machine Learning, Vol. 4, Issue 2, p. 227-243 https://doi.org/10.1023/A:1022604100933	journal	January 1989
Statistical‐based approach for driving style recognition using Bayesian probability with kernel density estimation Han, Wei; Wang, Wenshuo; Li, Xiaohan IET Intelligent Transport Systems, Vol. 13, Issue 1 https://doi.org/10.1049/iet-its.2017.0379	journal	March 2018
A k-nearest neighbor classification rule based on Dempster-Shafer theory Denoeux, T. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 25, Issue 5 https://doi.org/10.1109/21.376493	journal	May 1995
A survey of decision tree classifier methodology Safavian, S. R.; Landgrebe, D. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 21, Issue 3 https://doi.org/10.1109/21.97458	journal	January 1991
Driver classification and driving style recognition using inertial sensors Van Ly, Minh; Martin, Sujitha; Trivedi, Mohan M. 2013 IEEE Intelligent Vehicles Symposium (IV) https://doi.org/10.1109/IVS.2013.6629603	conference	June 2013
Three Decades of Driver Assistance Systems: Review and Future Perspectives Bengler, Klaus; Dietmayer, Klaus; Farber, Berthold IEEE Intelligent Transportation Systems Magazine, Vol. 6, Issue 4 https://doi.org/10.1109/MITS.2014.2336271	journal	January 2014
Intelligent Transportation Systems Dimitrakopoulos, George; Demestichas, Panagiotis IEEE Vehicular Technology Magazine, Vol. 5, Issue 1 https://doi.org/10.1109/MVT.2009.935537	journal	March 2010
Driving Style Classification Using a Semisupervised Support Vector Machine Wang, Wenshuo; Xi, Junqiang; Chong, Alexandre IEEE Transactions on Human-Machine Systems, Vol. 47, Issue 5 https://doi.org/10.1109/THMS.2017.2736948	journal	October 2017
Semiautonomous Vehicular Control Using Driver Modeling Shia, Victor A.; Gao, Yiqi; Vasudevan, Ramanarayan IEEE Transactions on Intelligent Transportation Systems, Vol. 15, Issue 6 https://doi.org/10.1109/TITS.2014.2325776	journal	December 2014
Verifying autonomous systems Fisher, Michael; Dennis, Louise; Webster, Matt Communications of the ACM, Vol. 56, Issue 9 https://doi.org/10.1145/2494558	journal	September 2013
Formal methods for semi-autonomous driving Seshia, Sanjit A.; Sadigh, Dorsa; Sastry, S. Shankar DAC '15: The 52nd Annual Design Automation Conference 2015, Proceedings of the 52nd Annual Design Automation Conference https://doi.org/10.1145/2744769.2747927	conference	June 2015
A Support Vector Clustering Based Approach for Driving Style Classification [A Support Vector Clustering Based Approach for Driving Style Classification] Feng, Yuxiang; Pickering, Simon; Chappell, Edward International Journal of Machine Learning and Computing, Vol. 9, Issue 3 https://doi.org/10.18178/ijmlc.2019.9.3.808	journal	June 2019

Similar Records

Development of the Machine Learning-based Safety Significant Factor Inference Model for Diagnosis in Autonomous Control System

Journal Article · Sun Oct 31 20:00:00 EDT 2021 · Annals of Nuclear Energy (Oxford) · OSTI ID:1812768

Noise-Immune Machine Learning and Autonomous Grid Control

Journal Article · Sat Dec 31 19:00:00 EST 2022 · IEEE Open Access Journal of Power and Energy · OSTI ID:1915681

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach

Citation Formats

References (19)

Similar Records

Related Subjects