arXiv ScienceSearch

arXiv subjects

Nima Fathi

Publications and source records attributed to Nima Fathi.

14 recordsLinked to original sources

Explainable AI-Enhanced Supervisory Control for Robust Multi-Agent Robotic Systems

We present an explainable AI-enhanced supervisory control framework for multi-agent robotics that combines (i) a timed-automata supervisor for safe, auditable mode switching, (ii) robust continuous control (Lyapunov-based controller for large-angle maneuver; sliding-mode controller (SMC) with boundary layers for precision and disturbance rejection), and (iii) an explainable predictor that maps mission context to gains and expected performance (energy, error). Monte Carlo-driven optimization provides the training data, enabling transparent real-time trade-offs. We validated the approach in two contrasting domains, spacecraft formation flying and autonomous underwater vehicles (AUVs). Despite different environments (gravity/actuator bias vs. hydrodynamic drag/currents), both share uncertain six degrees of freedom (6-DOF) rigid-body dynamics, relative motion, and tight tracking needs, making them representative of general robotic systems. In the space mission, the supervisory logic selects parameters that meet mission criteria. In AUV leader-follower tests, the same SMC structure maintains a fixed offset under stochastic currents with bounded steady error. In spacecraft validation, the SMC controller achieved submillimeter alignment with 21.7% lower tracking error and 81.4% lower energy consumption compared to Proportional-Derivative PD controller baselines. At the same time, in AUV tests, SMC maintained bounded errors under stochastic currents. These results highlight both the portability and the interpretability of the approach for safety-critical, resource-constrained multi-agent robotics.

cs.RO

Spatio-Temporal Conditional Diffusion Models for Forecasting Future Multiple Sclerosis Lesion Masks Conditioned on Treatments

Image-based personalized medicine has the potential to transform healthcare, particularly for diseases that exhibit heterogeneous progression such as Multiple Sclerosis (MS). In this work, we introduce the first treatment-aware spatio-temporal diffusion model that is able to generate future masks demonstrating lesion evolution in MS. Our voxel-space approach incorporates multi-modal patient data, including MRI and treatment information, to forecast new and enlarging T2 (NET2) lesion masks at a future time point. Extensive experiments on a multi-centre dataset of 2131 patient 3D MRIs from randomized clinical trials for relapsing-remitting MS demonstrate that our generative model is able to accurately predict NET2 lesion masks for patients across six different treatments. Moreover, we demonstrate our model has the potential for real-world clinical applications through downstream tasks such as future lesion count and location estimation, binary lesion activity classification, and generating counterfactual future NET2 masks for several treatments with different efficacies. This work highlights the potential of causal, image-based generative models as powerful tools for advancing data-driven prognostics in MS.

eess.IV

AURA: A Multi-Modal Medical Agent for Understanding, Reasoning & Annotation

Recent advancements in Large Language Models (LLMs) have catalyzed a paradigm shift from static prediction systems to agentic AI agents capable of reasoning, interacting with tools, and adapting to complex tasks. While LLM-based agentic systems have shown promise across many domains, their application to medical imaging remains in its infancy. In this work, we introduce AURA, the first visual linguistic explainability agent designed specifically for comprehensive analysis, explanation, and evaluation of medical images. By enabling dynamic interactions, contextual explanations, and hypothesis testing, AURA represents a significant advancement toward more transparent, adaptable, and clinically aligned AI systems. We highlight the promise of agentic AI in transforming medical image analysis from static predictions to interactive decision support. Leveraging Qwen-32B, an LLM-based architecture, AURA integrates a modular toolbox comprising: (i) a segmentation suite with phase grounding, pathology segmentation, and anatomy segmentation to localize clinically meaningful regions; (ii) a counterfactual image-generation module that supports reasoning through image-level explanations; and (iii) a set of evaluation tools including pixel-wise difference-map analysis, classification, and advanced state-of-the-art components to assess diagnostic relevance and visual interpretability.

cs.CV

Unifying Autoregressive and Diffusion-Based Sequence Generation

We present significant extensions to diffusion-based sequence generation models, blurring the line with autoregressive language models. We introduce hyperschedules, which assign distinct noise schedules to individual token positions, generalizing both autoregressive models (e.g., GPT) and conventional diffusion models (e.g., SEDD, MDLM) as special cases. Second, we propose two hybrid token-wise noising processes that interpolate between absorbing and uniform processes, enabling the model to fix past mistakes, and we introduce a novel inference algorithm that leverages this new feature in a simplified context inspired from MDLM. To support efficient training and inference, we design attention masks compatible with KV-caching. Our methods achieve state-of-the-art perplexity and generate diverse, high-quality sequences across standard benchmarks, suggesting a promising path for autoregressive diffusion-based sequence generation. See code and resources at https://hdlm-colm.github.io/

cs.LG

DeCoDEx: Confounder Detector Guidance for Improved Diffusion-based Counterfactual Explanations

Deep learning classifiers are prone to latching onto dominant confounders present in a dataset rather than on the causal markers associated with the target class, leading to poor generalization and biased predictions. Although explainability via counterfactual image generation has been successful at exposing the problem, bias mitigation strategies that permit accurate explainability in the presence of dominant and diverse artifacts remain unsolved. In this work, we propose the DeCoDEx framework and show how an external, pre-trained binary artifact detector can be leveraged during inference to guide a diffusion-based counterfactual image generator towards accurate explainability. Experiments on the CheXpert dataset, using both synthetic artifacts and real visual artifacts (support devices), show that the proposed method successfully synthesizes the counterfactual images that change the causal pathology markers associated with Pleural Effusion while preserving or ignoring the visual artifacts. Augmentation of ERM and Group-DRO classifiers with the DeCoDEx generated images substantially improves the results across underrepresented groups that are out of distribution for each class. The code is made publicly available at https://github.com/NimaFathi/DeCoDEx.

cs.CV

Debiasing Counterfactuals In the Presence of Spurious Correlations

Deep learning models can perform well in complex medical imaging classification tasks, even when basing their conclusions on spurious correlations (i.e. confounders), should they be prevalent in the training dataset, rather than on the causal image markers of interest. This would thereby limit their ability to generalize across the population. Explainability based on counterfactual image generation can be used to expose the confounders but does not provide a strategy to mitigate the bias. In this work, we introduce the first end-to-end training framework that integrates both (i) popular debiasing classifiers (e.g. distributionally robust optimization (DRO)) to avoid latching onto the spurious correlations and (ii) counterfactual image generation to unveil generalizable imaging markers of relevance to the task. Additionally, we propose a novel metric, Spurious Correlation Latching Score (SCLS), to quantify the extent of the classifier reliance on the spurious correlation as exposed by the counterfactual images. Through comprehensive experiments on two public datasets (with the simulated and real visual artifacts), we demonstrate that the debiasing method: (i) learns generalizable markers across the population, and (ii) successfully ignores spurious correlations and focuses on the underlying disease pathology.

cs.CV

SwinCheX: Multi-label classification on chest X-ray images with transformers

According to the considerable growth in the avail of chest X-ray images in diagnosing various diseases, as well as gathering extensive datasets, having an automated diagnosis procedure using deep neural networks has occupied the minds of experts. Most of the available methods in computer vision use a CNN backbone to acquire high accuracy on the classification problems. Nevertheless, recent researches show that transformers, established as the de facto method in NLP, can also outperform many CNN-based models in vision. This paper proposes a multi-label classification deep model based on the Swin Transformer as the backbone to achieve state-of-the-art diagnosis classification. It leverages Multi-Layer Perceptron, also known as MLP, for the head architecture. We evaluate our model on one of the most widely-used and largest x-ray datasets called "Chest X-ray14," which comprises more than 100,000 frontal/back-view images from over 30,000 patients with 14 famous chest diseases. Our model has been tested with several number of MLP layers for the head setting, each achieves a competitive AUC score on all classes. Comprehensive experiments on Chest X-ray14 have shown that a 3-layer head attains state-of-the-art performance with an average AUC score of 0.810, compared to the former SOTA average AUC of 0.799. We propose an experimental setup for the fair benchmarking of existing methods, which could be used as a basis for the future studies. Finally, we followed up our results by confirming that the proposed method attends to the pathologically relevant areas of the chest.

cs.CV

Numerical Study on Flow and Heat Transfer of Water and Liquid Metals Within Micro-Scale Heat Sinks for High Heat Dissipation Rate Applications

Compact and small-scale heat exchangers can handle high heat dissipation rates due to their large surface area to volume ratios. Applications involving high heat dissipation rates include, but are not limited to, compact microelectronic processing units, high power laser arrays, fuel cells, as well as fission batteries. Low maintenance cost, small size and dimensions, as well as high convective heat transfer coefficients, make micro-scale heat sinks an efficient and reliable cooling solution for applications with high heat dissipation rates. Despite these advantages, the large pressure drop that occurs within micro-scale heat sinks has restricted their utilization. Slip at the walls of microchannels has been reported to reduce friction factor up to 30%, depending on the hydraulic diameter of the microchannel. Numerical investigations are conducted to comprehensively investigate the effect of slip at walls on friction factor and Nusselt number of liquid flows in micro-scale heat sinks. At the same mass flow rate and inlet Reynolds number, obtained results suggest that slip length on the order of 2 microns enhances the overall thermalhydraulic performance of micro heat sinks by almost 6% in comparison with no-slip boundary conditions. 4% increase is observed in channel average Nusselt number while pumping power reduces by 8% in comparison with no-slip boundary condition.

physics.flu-dyn

Computational-Experimental Investigation of a Fission Thermal Probe in TREAT

The development of nuclear fuels requires unsteady/transient testing for design process and qualification under postulated accident conditions. Breach, rupture, fracture, melting, and other fuel failure modes may occur during the use of nuclear fuels or when they are exposed to extreme overpower conditions. Therefore, it is crucial for the fuel to retain reasonable structural integrity and coolable geometry. The experimental facility of Transient Reactor Test (TREAT) was designed and constructed in November 1958 to conduct transient testing of fuels and structural materials. The magnitude of nuclear heating is one of the most important key parameters in test design, analysis, and data interpretation in TREAT. Some steady-state tests are able to measure heating directly via enthalpy rise of coolant in thermally-isolated loops, but an enormous number of important tests must rely upon nuclear modeling to correlate core operating parameters to specimen nuclear heating. Uncertainties of these models and their inputs can prevent experimenters from achieving desired conditions and hamper advanced models from describing the phenomena to the level of confidence needed. The situation can be even more difficult for unsteady/transient tests where nuclear heating is intentionally varied over short time scales. This research develops a novel nuclear heating sensor technology which directly measures the parameters of interest using spatially-resolved real-time thermometry of fissionable instrument materials, demonstrate the instruments' use in TREAT, and perform data comparisons to nuclear models to facilitate an advanced understanding of transient power coupling. Here we present our results of the designed probe and its testing outcome.

physics.ins-det

Experimental and computational investigation of single particle behavior in low Reynolds number linear shear flows

Trajectories of a buoyant spherical solid particle in a linear shear flow were investigated at low Reynolds numbers. A two-dimensional CFD analysis was performed to simulate the solid-fluid flows. Our numerical model, the discrete phase element method, was used to model and simulate the fluid domain and particle motion as the solid phase. The reliability of the computational results was evaluated for the particle trajectory. The agreement between the numerical results with the experimental data was quantified.

physics.flu-dyn

Verification and Validation of a Numerical Wave Tank Using Waves2FOAM

Clean energy systems have been investigated recently by the researchers of the University of New Mexico to increase the efficiency specifically in the solar tower technology. Similar to solar energy, wave power harnesses energy that comes from the sun. Solar irradiation causes wind by changing the pressure, and wind gives its momentum to the ocean surface which produces waves. Modeling and simulation (M&S) of free surface flow can be a very useful tool for the wave energy industry. However, if these tools are to be relied upon, their accuracy must be tested and shown to be sound. In this investigation, we focus on verification and validation (V&V) of wave tank flow M&S. The Volume of Fluid (VOF) model was applied to perform transient computational fluid dynamics (CFD) analysis using the numerical simulation software OpenFOAM. To assess V&V, the height of the free surface flow was considered as the system response quantity (SRQ). Stokes theory (fifth order) was utilized as the most accurate available approximation of the exact solution to measure the order of accuracy of the discretized mathematical model which is known as code verification. Data collected during model-scale testing at the Naval Surface Warfare Center, Carderock Division (NSWCCD) Maneuvering and Seakeeping (MASK) basin were utilized to validate the computational results. The CFD domain consists of a two-dimensional plane representing the region of interest of the wave basin which has several wave height measurement probes. Our simulation results were compared to the data from one of these probes in order to conduct the V&V analysis. Code verification and comparison with experimental values demonstrate the accuracy and efficiency of our model.

physics.flu-dyn

Feasibility of Direct Disposal of Salt Waste from Electochemical Processing of Spent Nuclear Fuel

The US Department of Energy decided in 2000 to treat its sodium-bonded spent nuclear fuel, produced for experiments on breeder reactors, with an electrochemical process. The metallic waste produced is to be cast into ingots and the salt waste further processed to form a ceramic waste form for disposal in a mined repository. However, alternative disposal pathways for metallic and salt waste streams are being investigated that may reduce the processing complexity. As summarized here, performance assessments analyzing the direct disposal the salt waste demonstrate that both mined repositories in salt and deep boreholes in basement crystalline rock can easily accommodate the salt waste. Also summarized here is an analysis of the feasibility of transporting the salt waste in a proposed vessel. The vessel is viable for transport to and disposal in a generic mined repository in salt or deep borehole but a portion of the salt waste would need to be diluted for disposal in the Waste Isolation Pilot Plant. The generally positive results continue to demonstrate the feasibility of direct disposal of salt waste after electrochemical processing of spent nuclear fuel.

physics.app-ph

On the form of the power equation for modeling solar chimney power plant systems

Recently several mathematical models of a solar chimney power plant were derived, studied for a variety of boundary conditions, and compared against CFD calculations. The importance of these analyses is about the accuracy of the derived pressure drop and output power equation for solar chimney power plant systems (SCPPS). We examine the assumptions underlying the derivation and present reasons to believe that some of the derived equations, specifically the power equation in this model, may require a correction to be applicable in more realistic conditions. The analytical resutls are compared against the available experimental data from the Manzanares power plant.

physics.flu-dyn

Comment on "The role of wetting heterogeneities in the meandering instability of a partial wetting rivulet"

Rivulets and their meandering on a partially wetting surface present an interesting problem, as complex behavior arises from a deceptively simple setup. Recently Couvreur and Daerr suggested that meandering is caused by an instability developing as the flow rate $Q$ increases to a critical value $Q_c$, with stationary (pinned) meandering being the final state of the flow. We tried to verify this assertion experimentally, but instead produced results contradicting the claim of Couvreur and Daerr. The likely reason behind the discrepancy is the persistence of flow-rate perturbations. Moreover, the theory presented in this paper cannot reproduce the states as considered and disagrees with other theories.

physics.flu-dyn