arXiv subjects

Ali Aminzadeh

Publications and source records attributed to Ali Aminzadeh.

3 recordsLinked to original sources

arXiv2026

Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints

This work addresses the critical challenge of guaranteeing safety for complex dynamical systems where precise mathematical models are uncertain and data measurements are corrupted by noise. We develop a physics-guided, direct data-driven framework for synthesizing robust safety controllers for discrete-time nonlinear polynomial systems that are subject to unknown-but-bounded disturbances. To do so, we introduce a notion of safety through robust control barrier certificates, which ensure avoidance of unsafe regions, offering a less conservative alternative to existing methods based on robust invariant sets. To achieve data efficiency, we further integrate physical information, formulated as quadratic constraints on system and control matrices, with observed noisy data. This integration drastically reduces data requirements, enabling robust safety analysis with significantly shorter trajectories compared to purely data-driven methods. The proposed synthesis procedure is formulated as a sum-of-squares optimization program that systematically designs the barrier and its associated controller by leveraging both collected data and underlying physical laws. The efficacy of our framework is demonstrated on three benchmark systems, confirming its ability to offer robust safety guarantees with reduced data demands.

eess.SY↗

arXiv2026

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems

This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain within safe regions over an infinite time horizon. Designing BCs often relies on an accurate dynamics model; however, such models are often imprecise due to the model complexity involved, particularly when dealing with highly nonlinear systems. In such cases, while scenario approaches effectively address the safety problem using collected data to construct a guaranteed BC for the unknown dynamical system, they often require solving an optimization problem with substantial amounts of data. To address this, we propose a physics-informed scenario approach that selects data samples such that the outputs of the physics-based model and the observed data are sufficiently close. This approach guides the scenario optimization process to eliminate redundant samples and potentially reduce the required dataset size. We validate our approach through three case studies, showcasing its practical application in reducing the required data.

eess.SY↗

arXiv2025

Ultrasonic sensing of the mechanical fingerprint of reactive transport in rock

Mineral carbon storage in rock formations has gained significant interest in recent years. In principle, changes in mechanical rock properties driven by carbon mineralization could be quantified using seismic methods, opening the door toward field monitoring of (the progress of) carbon storage. However, these changes may vary spatially within a rock mass when reactive transport occurs. In this vein, full-field ultrasonic characterization of reacted specimens can help shed light on the process. We use a 3D Scanning Laser Doppler Vibrometer to perform full-field monitoring of one-dimensional (1D) ultrasonic waves in rod-shaped sandstone specimens exposed to NaCl-rich fluid. Our initial experiments were conducted on intact sandstone specimens with high aspect ratio (length/diameter $\simeq 15$) to cater for 1D axial wave propagation. To investigate the evolution of the Young's modulus and attenuation of rock due to reactive transport, we exposed the specimens to an under-saturated NaCl solution, achieving supersaturation -- and so mineralization -- through evaporation. The upward movement of the fluid, supplied at the bottom of each specimen, was achieved through capillary action. We deploy an elastography-type approach to back-analysis, known as modified-error-in-constitutive-relation (MECR) approach, to expose the spatially-heterogeneous evolution of mechanical rock properties due to reactive transport. Our results consistently demonstrate (i) degradation of the Young's modulus, and (ii) increase in attenuation due to mineralization. To better understand the root causes of these changes, we made use of the X-ray micro-computed tomography ($μ$CT) and scanning electron microscopy (SEM) of selected cross-sections. The grain-scale information suggests that microcracking (resp. pore filling) is predominantly (resp. partly) responsible for the observed macroscopic changes.

physics.geo-ph↗