SearcharxivSearch

arXiv subjects

Karim Cherifi

Publications and source records attributed to Karim Cherifi.

15 recordsLinked to original sources

Target Parameterization in Diffusion Models for Nonlinear Spatiotemporal System Identification

Machine learning is becoming increasingly important for nonlinear system identification, including dynamical systems with spatially distributed outputs. However, classical identification and forecasting approaches become markedly less reliable in turbulent-flow regimes, where the dynamics are high-dimensional, strongly nonlinear, and highly sensitive to compounding rollout errors. Diffusion-based models have recently shown improved robustness in this setting and offer probabilistic inference capabilities, but many current implementations inherit target parameterizations from image generation, most commonly noise or velocity prediction. In this work, we revisit this design choice in the context of nonlinear spatiotemporal system identification. We consider a simple, self-contained patch-based transformer that operates directly on physical fields and use turbulent flow simulation as a representative testbed. Our results show that clean-state prediction consistently improves rollout stability and reduces long-horizon error relative to velocity- and noise-based objectives, with the advantage becoming more pronounced as the per-token dimensionality increases. These findings identify target parameterization as a key modeling choice in diffusion-based identification of nonlinear systems with spatial outputs in turbulent regimes.

eess.SY

PH-KAN: Port-Hamiltonian Kolmogorov-Arnold Network

Data-driven machine learning approaches have become increasingly attractive for nonlinear system identification, but standard models often fail to preserve the underlying physical structure and remain difficult to interpret, especially when no analytical model is available. In this context, port-Hamiltonian (pH) models provide a natural physics-informed representation. However, when these models are parameterized with standard multilayer perceptrons (MLPs), the learned constitutive components often remain poorly interpretable. In this paper, we propose a structure-preserving identification framework for nonlinear port-Hamiltonian systems based on Kolmogorov-Arnold Networks (KANs). The proposed PH-KAN model parameterizes the interconnection matrix, dissipation matrix, Hamiltonian, and input mapping using dedicated KAN blocks, while enforcing the port-Hamiltonian constraints by construction. This yields constitutive representations in which the nonlinear functions defining the identified pH components can be explicitly inspected, leading to a more interpretable model than with standard MLP-based parameterizations.

math.OC

Neural Scaling Laws for Learning-based Identification of Nonlinear Systems

The use of machine learning models in system identification has increased due to their ability to approximate complex nonlinear dynamics with high accuracy. However, often it is not clear how the performance of trained models scales with given resources such as data, compute, and model size. To allow for a better understanding of the scalability of the performance of machine learning models, we verify neural scaling laws (NSLs) in the context of system identification from input-state-output data using different evaluation metrics for accuracy and different system architectures, including input-affine and physics-informed port-Hamiltonian representations. Our verified NSLs can help to forecast performance improvements and guide model design or data acquisition.

math.OC

Finding the nearest bounded-real port-Hamiltonian system

In this paper, we consider linear time-invariant continuous control systems which are bounded real, also known as scattering passive. Our main theoretical contribution is to show the equivalence between such systems and port-Hamiltonian (PH) systems whose factors satisfy certain linear matrix inequalities. Based on this result, we propose a formulation for the problem of finding the nearest bounded-real system to a given system, and design an algorithm combining alternating optimization and Nesterov's fast gradient method. This formulation also allows us to check whether a given system is bounded real by solving a semidefinite program, and provide a PH parametrization for it. We illustrate our proposed algorithms on real and synthetic data sets.

math.OC

Nonlinear port-Hamiltonian system identification from input-state-output data (ISO-pHNN)

In this paper, we introduce a framework called ISO-pHNN for identifying nonlinear port-Hamiltonian systems using input-state-output data. The framework utilizes neural networks' universal approximation capacity to effectively represent complex dynamics in a structured way. We explore different architectures based on MLPs, KANs, and using prior information. The identification technique is validated through examples featuring nonlinearities in either the skew-symmetric terms, the dissipative terms, or the Hamiltonian. We show that incorporating a port-Hamiltonian structure does not lower the accuracy and that using additional prior information improves long-term predictions.

eess.SY

Relationship between dissipativity concepts for linear time-varying port-Hamiltonian systems

The relationship between different dissipativity concepts for linear time-varying systems is studied, in particular between port-Hamiltonian systems, passive systems, and systems with nonnegative supply. It is shown that linear time-varying port-Hamiltonian systems are passive, have nonnegative supply rates, and solve (under different smoothness assumptions) Kalman-Yakubovich-Popov differential and integral inequalities. The converse relations are also studied in detail. In particular, sufficient conditions are presented to obtain a port-Hamiltonian representation starting from any of the other dissipativity concepts. Two applications are presented.

math.OC

Snapshot-driven Rational Interpolation of Parametric Systems

Parametric data-driven modeling is relevant for many applications in which the model depends on parameters that can potentially vary in both space and time. In this paper, we present a method to obtain a global parametric model based on snapshots of the parameter space. The parameter snapshots are interpolated using the classical univariate Loewner framework and the global bivariate transfer function is extracted using a linear fractional transformation (LFT). Rank bounds for the minimal order of the global realization are also derived. The results are supported by various numerical examples.

math.DS

Hierarchical modeling for an industrial implementation of a Digital Twin for electrical drives

Digital twins have become popular for their ability to monitor and optimize a process or a machine, ideally through its complete life cycle using simulations and sensor data. In this paper, we focus on the challenge of accurate and real-time simulations for digital twins in the context of electrical machines. To build such a digital twin involves not only computational models for the electromagnetic aspects, but also mechanical and thermal effects need to be taken into account. We address mathematical tools that can be employed to carry out the required simulations based on physical laws as well as surrogate or data-driven models. One of those tools is a model hierarchy of very fine to very coarse models as well as reduced order models for obtaining real-time simulations. The required software tools to carry out simulations in the digital twin are also discussed. The simulation models are implemented in a pipeline that allows for the automatic modeling of new machines and the automatic configuration of new digital twins. Finally, the overall implemented digital twin is tested and implemented in a physical demonstrator.

eess.SY

On discrete-time dissipative port-Hamiltonian (descriptor) systems

Port-Hamiltonian (pH) systems have been studied extensively for linear continuous-time dynamical systems. This manuscript presents a discrete-time pH descriptor formulation for linear, completely causal, scattering passive dynamical systems based on the system coefficients. The relation of this formulation to positive and bounded real systems and the characterization via positive semidefinite solutions of Kalman-Yakubovich-Popov inequalities is also studied.

math.OC

A geometric framework for discrete time port-Hamiltonian systems

Port-Hamiltonian systems provide an energy-based formulation with a model class that is closed under structure preserving interconnection. For continuous-time systems these interconnections are constructed by geometric objects called Dirac structures. In this paper, we derive this geometric formulation and the interconnection properties for scattering passive discrete-time port-Hamiltonian systems.

math.OC

The difference between port-Hamiltonian, passive and positive real descriptor systems

The relation between passive and positive real systems has been extensively studied in the literature. In this paper, we study their connection to the more recently used notion of port-Hamiltonian descriptor systems. It is well-known that port-Hamiltonian systems are passive and that passive systems are positive real. Hence it is studied under which assumptions the converse implications hold. Furthermore, the relationship between passivity, KYP inequalities and a~finite available storage is investigated.

math.OC

A Greedy Data Collection Scheme For Linear Dynamical Systems

Mathematical models are essential to analyze and understand the dynamics of complex systems. Recently, data-driven methodologies have got a lot of attention which is leveraged by advancements in sensor technology. However, the quality of obtained data plays a vital role in learning a good and reliable model. Therefore, in this paper, we propose an efficient heuristic methodology to collect data both in the frequency domain and time-domain, aiming at the best possible information gain from limited experimental data. The efficiency of the proposed methodology is illustrated by means of several examples, and also, its robustness in the presence of noisy data is shown.

eess.SY

A Non-Intrusive Method to Inferring Linear Port-Hamiltonian Realizations using Time-Domain Data

Port-Hamiltonian systems have gained a lot of attention in recent years due to their inherent valuable properties in modeling and control. In this paper, we are interested in constructing linear port-Hamiltonian systems from time-domain input-output data. We discuss a non-intrusive methodology that is comprised of two main ingredients -- (a) inferring frequency response data from time-domain data and (b) constructing an underlying port-Hamiltonian realization using the inferred frequency response data. We illustrate the proposed methodology by means of two numerical examples and also compare it with two other system identification methods to infer the frequency response from the input-output data.

eess.SY

Solvents based model reduction of linear systems

Model order reduction is the approximation of dynamical systems into equivalent systems with smaller order. Model reduction has been studied extensively for different types of systems. In this paper, we present two methods for multi input multi output linear systems. These methods are based on solvents, also called block poles. These methods are particularly suitable if the given system is in matrix transfer function form. The first method eliminates solvents one by one whereas, the second method can eliminate multiple solvents at the same time. The two presented methods are implemented in MATLAB in order to provide a systematic method for the model order reduction of MIMO linear systems.

eess.SY

Numerical methods to compute a minimal realization of a port-Hamiltonian system

Port-Hamiltonian (pH) systems are a very important modeling tool in almost all areas of systems and control, in particular in network based model of multi-physics multi-scale systems. They lead to remarkably robust models that can be easily interconnected. This paper discusses the derivation of pH models from time-domain input-output data. While a direct construction of pH models is still an open problem, we present three different indirect numerical methods for the realization of pH systems. The algorithms are implemented in MATLAB and their performance is illustrated via several numerical examples.

math.OC