{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T06:57:25Z","timestamp":1772953045783,"version":"3.50.1"},"reference-count":40,"publisher":"MDPI AG","issue":"7","license":[{"start":{"date-parts":[[2020,6,28]],"date-time":"2020-06-28T00:00:00Z","timestamp":1593302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-15-CE24-0022-01"],"award-info":[{"award-number":["ANR-15-CE24-0022-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithms"],"abstract":"<jats:p>Bayesian Networks (BN) are probabilistic models that are commonly used for the diagnosis in numerous domains (medicine, finance, transport, robotics, \u2026). In the case of autonomous vehicles, they can contribute to elaborate intelligent monitors that can take the environmental context into account. We show in this paper some main abilities of BN that can help in the elaboration of fault detection isolation and recovery (FDIR) modules. One of the main difficulty with the BN model is generally to elaborate these ones according to the case of study. Then, we propose some automatic generation techniques from failure mode and effects analysis (FMEA)-like tables using the pattern design approach. Once defined, these modules have to operate online for autonomous vehicles. In a second part, we propose a design methodology to embed the real-time and non-intrusive implementations of the BN modules using FPGA-SoC support. We show that the FPGA implementation can offer an interesting speed-up with very limited energy cost. Lastly, we show how these BN modules can be incorporated into the decision-making model for the mission planning of unmanned aerial vehicles (UAVs). We illustrate the integration by means of two models: the Decision Network model that is a straightforward extension of the BN model, and the BFM model that is an extension of the Markov Decision Process (MDP) decision-making model incorporating a BN. We illustrate the different proposals with realistic examples and show that the hybrid implementation on FPGA-SoC can offer some benefits.<\/jats:p>","DOI":"10.3390\/a13070155","type":"journal-article","created":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T03:40:07Z","timestamp":1593402007000},"page":"155","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Embedded Bayesian Network Contribution for a Safe Mission Planning of Autonomous Vehicles"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8857-6079","authenticated-orcid":false,"given":"Catherine","family":"Dezan","sequence":"first","affiliation":[{"name":"Laboratoire des Sciences et Technologies de l\u2019Information, de la Communication et de la Connaissance (Lab-STICC), National Center for Scientific Research (CNRS), Universit\u00e9 de Brest, 29200 Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8334-6346","authenticated-orcid":false,"given":"Sara","family":"Zermani","sequence":"additional","affiliation":[{"name":"Espace pour le D\u00e9veloppement (Espace-Dev), Universit\u00e9 de Guyane, 97300 Cayenne, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8138-1006","authenticated-orcid":false,"given":"Chabha","family":"Hireche","sequence":"additional","affiliation":[{"name":"Laboratoire des Sciences et Technologies de l\u2019Information, de la Communication et de la Connaissance (Lab-STICC), National Center for Scientific Research (CNRS), Universit\u00e9 de Brest, 29200 Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,6,28]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","article-title":"Basic concepts and taxonomy of dependable and secure computing","volume":"1","author":"Avizienis","year":"2004","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"1329","DOI":"10.1177\/0954410011421717","article-title":"Model-based fault diagnosis for aerospace systems: A survey","volume":"226","author":"Marzat","year":"2012","journal-title":"Proc. Inst. Mech. Eng. Part G J. Aerosp. Eng."},{"key":"ref_3","unstructured":"Wander, A., and F\u00f6rstner, R. (2013). Innovative Fault Detection, Isolation and Recovery Strategies on-Board Spacecraft: State of the Art and Research Challenges, Deutsche Gesellschaft f\u00fcr Luft-und Raumfahrt-Lilienthal-Oberth eV."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.ress.2012.04.003","article-title":"Dynamic risk analysis using bow-tie approach","volume":"104","author":"Khakzad","year":"2012","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1016\/j.ress.2011.03.012","article-title":"Safety analysis in process facilities: Comparison of fault tree and Bayesian network approaches","volume":"96","author":"Khakzad","year":"2011","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S0951-8320(00)00077-6","article-title":"Improving the analysis of dependable systems by mapping fault trees into Bayesian networks","volume":"71","author":"Bobbio","year":"2001","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_7","first-page":"021","article-title":"Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems","volume":"6","author":"Schumann","year":"2015","journal-title":"Int. J. Progn. Health Manag."},{"key":"ref_8","unstructured":"Portinale, L., and Codetta-Raiteri, D. (2011, January 16\u201322). Arpha: An Fdir Architecture for Autonomous Spacecrafts Based On Dynamic Probabilistic Graphical Models. Proceedings of the IJCAI workshop on AI on Space, Barcelona, Spain."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/TSMC.2014.2323212","article-title":"Dynamic Bayesian networks for fault detection, identification, and recovery in autonomous spacecraft","volume":"45","author":"Portinale","year":"2015","journal-title":"Syst. Man Cybern. Syst. IEEE Trans."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Schumann, J., Moosbrugger, P., and Rozier, K.Y. (2015). R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems, Springer.","DOI":"10.1007\/978-3-319-23820-3_15"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Muniraj, D., and Farhood, M. (2017, January 13\u201316). A framework for detection of sensor attacks on small unmanned aircraft systems. Proceedings of the 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, FL, USA.","DOI":"10.1109\/ICUAS.2017.7991465"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1017\/S0269888910000251","article-title":"Learning Bayesian networks: Approaches and issues","volume":"26","author":"Daly","year":"2011","journal-title":"Knowl. Eng. Rev."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Grossman, D., and Domingos, P. (2004, January 4\u20138). Learning Bayesian Network Classifiers by Maximizing Conditional Likelihood. Proceedings of the Twenty-first International Conference on Machine Learning, Banff, AB, Canada.","DOI":"10.1145\/1015330.1015339"},{"key":"ref_14","unstructured":"Friedman, N. (1998, January 24\u201326). The Bayesian Structural EM Algorithm. Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, Madison, WI, USA."},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Chenini, H., Heller, D., Dezan, C., Diguet, J.P., and Campbell, D. (2015, January 19\u201324). Embedded real-time localization of UAV based on an hybrid device. Proceedings of the 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), South Brisbane, QLD, Australia.","DOI":"10.1109\/ICASSP.2015.7178229"},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Schumann, J., Mengshoel, O., and Mbaya, T. (2011, January 19\u201323). Integrated Software and Sensor Health Management for Small Spacecraft. Proceedings of the 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology, Pasadena, CA, USA.","DOI":"10.1109\/SMC-IT.2011.25"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Geist, J., Rozier, K.Y., and Schumann, J. (2014, January 22\u201325). Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. Proceedings of the Runtime Verification\u20145th International Conference, RV 2014, Toronto, ON, Canada.","DOI":"10.1007\/978-3-319-11164-3_18"},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/765568.765570","article-title":"A differential approach to inference in Bayesian networks","volume":"50","author":"Darwiche","year":"2003","journal-title":"J. ACM"},{"key":"ref_19","unstructured":"Cowell, R.G. (2006). Probabilistic Networks and Expert Systems: Exact Computational Methods for Bayesian Networks, Springer Science & Business."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.micpro.2017.04.013","article-title":"Embedded context aware diagnosis for a UAV SoC platform","volume":"51","author":"Zermani","year":"2017","journal-title":"Microprocess. Microsyst."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Zermani, S., Dezan, C., Diguet, J., and Euler, R. (2015, January 18\u201320). Bayesian Network-Based Framework for the design of Reconfigurable Health Management Monitors. Proceedings of the NASA\/ESA Conference on Adaptive Hardware and systems (AHS-15), Zhangjiajie, China.","DOI":"10.1109\/AHS.2015.7231163"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Zermani, S., Dezan, C., Chenini, H., Diguet, J., and Euler, R. (2015, January 22\u201325). FPGA implementation of Bayesian network inference for an embedded diagnosis. Proceedings of the 2015 IEEE Conference on Prognostics and Health Management (PHM), Austin, TX, USA.","DOI":"10.1109\/ICPHM.2015.7245057"},{"key":"ref_23","unstructured":"(2020, April 30). Xilinx. Available online: https:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/ug998-vivado-intro-fpga-design-hls.pdf."},{"key":"ref_24","unstructured":"Chavira, M., and Darwiche, A. (2020, April 30). Compiling Bayesian Networks with Local Structure. Available online: https:\/\/www.ijcai.org\/Proceedings\/05\/Papers\/0931.pdf."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"3893","DOI":"10.1109\/JSYST.2017.2720682","article-title":"A survey on model-based mission planning and execution for autonomous spacecraft","volume":"12","author":"Tipaldi","year":"2017","journal-title":"IEEE Syst. J."},{"key":"ref_26","unstructured":"Druzdzel, M.J. (2020, April 30). SMILE: Structural Modeling, Inference, and Learning Engine and GeNIe: A Development Environment for Graphical Decision-Theoretic Models. Available online: https:\/\/www.aaai.org\/Papers\/AAAI\/1999\/AAAI99-129.pdf."},{"key":"ref_27","first-page":"2001","article-title":"The Bayes Net Toolbox for MATLAB","volume":"33","author":"Murphy","year":"2001","journal-title":"Comput. Sci. Stat."},{"key":"ref_28","first-page":"1","article-title":"Planning with Markov decision processes: An AI perspective","volume":"6","author":"Kolobov","year":"2012","journal-title":"Synth. Lect. Artif. Intell. Mach. Learn."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Hireche, C., Dezan, C., Diguet, J.P., and Mejias, L. (2018, January 21\u201325). BFM: A Scalable and Resource-Aware Method for Adaptive Mission Planning of UAVs. Proceedings of the 2018 IEEE International Conference on Robotics and Automation (ICRA), Brisbane, Australia.","DOI":"10.1109\/ICRA.2018.8460944"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Hireche, C., Dezan, C., Mocanu, S., Heller, D., and Diguet, J.P. (2018). Context\/Resource-Aware Mission Planning Based on BNs and Concurrent MDPs for Autonomous UAVs. Sensors, 18.","DOI":"10.3390\/s18124266"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Zermani, S., Dezan, C., Hireche, C., Euler, R., and Diguet, J.P. (2016, January 12\u201316). Embedded and probabilistic health management for the GPS of autonomous vehicles. Proceedings of the 2016 5th Mediterranean Conference on Embedded Computing (MECO), Bar, Montenegro.","DOI":"10.1109\/MECO.2016.7525792"},{"key":"ref_32","first-page":"51","article-title":"The GPS error budget","volume":"8","author":"Langley","year":"1997","journal-title":"GPS World"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Sal\u00f3s, D., Macabiau, C., Martineau, A., Bonhoure, B., and Kubrak, D. (2010, January 4\u20136). Nominal GNSS pseudorange measurement model for vehicular urban applications. Proceedings of the Position Location and Navigation Symposium (PLANS), 2010 IEEE\/ION, Indian Wells, CA, USA.","DOI":"10.1109\/PLANS.2010.5507319"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"2357","DOI":"10.1109\/JSAC.2015.2430513","article-title":"A Run-Time Method Based on Observable Data for the Quality Assessment of GNSS Positioning Solutions","volume":"33","author":"Dovis","year":"2015","journal-title":"Sel. Areas Commun. IEEE J."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/MITS.2013.2252058","article-title":"Reliable positioning domain computation for urban navigation","volume":"5","author":"Drevelle","year":"2013","journal-title":"Intell. Transp. Syst. Mag. IEEE"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"1409","DOI":"10.1109\/TPAMI.2011.239","article-title":"Tracking-Learning-Detection","volume":"34","author":"Kalal","year":"2012","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"ref_37","unstructured":"(2020, April 30). ZedBoard. Available online: http:\/\/zedboard.org\/product\/zedboard."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Tembo, S.R., Vaton, S., Courant, J.L., and Gosselin, S. (2016, January 5\u20139). A tutorial on the EM algorithm for Bayesian networks: Application to self-diagnosis of GPON-FTTH networks. Proceedings of the 2016 International Wireless Communications and Mobile Computing Conference (IWCMC), Paphos, Cyprus.","DOI":"10.1109\/IWCMC.2016.7577086"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Hireche, C., Dezan, C., and Diguet, J.P. (2017, January 11\u201315). Online diagnosis updates for embedded health management. Proceedings of the 2017 6th Mediterranean Conference on Embedded Computing (MECO), Bar, Montenegro.","DOI":"10.1109\/MECO.2017.7977150"},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0167-9473(93)E0056-A","article-title":"The EM algorithm for graphical association models with missing data","volume":"19","author":"Lauritzen","year":"1995","journal-title":"Comput. Stat. Data Anal."}],"container-title":["Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-4893\/13\/7\/155\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T09:43:58Z","timestamp":1760175838000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-4893\/13\/7\/155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,28]]},"references-count":40,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2020,7]]}},"alternative-id":["a13070155"],"URL":"https:\/\/doi.org\/10.3390\/a13070155","relation":{},"ISSN":["1999-4893"],"issn-type":[{"value":"1999-4893","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,28]]}}}