[HTML][HTML] Fundamental understanding of heat and mass transfer processes for physics-informed machine learning-based drying modelling

MIH Khan, CP Batuwatta-Gamage, MA Karim, YT Gu - Energies, 2022 - mdpi.com
Drying is a complex process of simultaneous heat, mass, and momentum transport
phenomena with continuous phase changes. Numerical modelling is one of the most …

Safety assurance of artificial intelligence-based systems: A systematic literature review on the state of the art and guidelines for future work

AVS Neto, JB Camargo, JR Almeida… - IEEE Access, 2022 - ieeexplore.ieee.org
The objective of this research is to present the state of the art of the safety assurance of
Artificial Intelligence (AI)-based systems and guidelines on future correlated work. For this …

[HTML][HTML] Artificial intelligence and software modeling approaches in autonomous vehicles for safety management: a systematic review

S Abbasi, AM Rahmani - Information, 2023 - mdpi.com
Autonomous vehicles (AVs) have emerged as a promising technology for enhancing road
safety and mobility. However, designing AVs involves various critical aspects, such as …

Steering prediction via a multi-sensor system for autonomous racing

Z Zhou, Z Wu, F Bolli, R Boutteau, F Yang… - arxiv preprint arxiv …, 2024 - arxiv.org
Autonomous racing has rapidly gained research attention. Traditionally, racing cars rely on
2D LiDAR as their primary visual system. In this work, we explore the integration of an event …

Mobile robot monocular vision-based obstacle avoidance algorithm using a deep neural network

N Rezaei, S Darabi - Evolutionary Intelligence, 2023 - Springer
In recent decades, obstacle avoidance has been one of the main challenges in autonomous
vehicle navigation, which has been used in a wide range of different autonomous devices …

[HTML][HTML] Design and Assurance of Safety-Critical Systems with Artificial Intelligence in FPGAs: The Safety ArtISt Method and a Case Study of an FPGA-Based …

AV Silva Neto, HL Silva, JB Camargo Jr, JR Almeida Jr… - Electronics, 2023 - mdpi.com
With the advancements in utilizing Artificial Intelligence (AI) in embedded safety-critical
systems based on Field-Programmable Gate Arrays (FPGAs), assuring that these systems …

Verifying quantized neural networks using SMT-based model checking

L Sena, X Song, E Alves, I Bessa, E Manino… - arxiv preprint arxiv …, 2021 - arxiv.org
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-
critical applications, including autonomous cars and medical diagnosis. However, concerns …

Steering Angle Estimation for Automated Driving on Approach to Analytical Redundancy for Fail-Operational Mode

P Simonik, V Snasel, V Ojha, J Platoš… - Available at SSRN …, 2024 - papers.ssrn.com
We present a novel fail-operational approach for autonomous vehicles (AVs) based on
machine learning (ML). The fail-operational approach is critical for ensuring the continuous …

Ray-based Elastic Distributed Data Parallel Framework with Distributed Data Cache

H Lin, X Qin, S Qiu, Y Sun, Z Yin… - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
With the development of large-scale machine learning, distributed data parallel has become
the de facto standard strategy for model training. However, when training model using …

Automated verification and refutation of quantized neural networks

LHC Sena - 2022 - tede.ufam.edu.br
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-
critical applications, including autonomous cars and medical diagnosis. However, con-cerns …