arXiv subjects

Daning Huang

Publications and source records attributed to Daning Huang.

At least 19 recordsLinked to original sources

arXiv2026

Diffusion Maps Kernel Ridge Regression

In this paper, we study kernel ridge regression using the data-driven diffusion maps (DM) kernel, which is constructed through algebraic manipulations of the diffusion maps algorithm. Under the assumptions that the data lie on a manifold and are sampled uniformly, we prove that the appropriately scaled DM kernel converges uniformly to the heat kernel on the manifold for sufficiently large times as the dataset size increases and the kernel bandwidth is scaled appropriately. Consequently, the limiting Reproducing Kernel Hilbert Space (RKHS) induced by the DM kernel coincides with the RKHS associated with the heat kernel on the manifold. We further show that the RKHS induced by the DM kernel is isometrically isomorphic to the RKHS of the Gaussian kernel, which is continuously embedded in the RKHS of a Mat\'ern kernel whose norm is equivalent to an appropriate Sobolev norm. This result implies that standard risk bounds for kernel ridge regression applicable to Mat\'ern kernels also apply to the DM kernel. Finally, we provide numerical results that (1) validate the convergence of the heat kernel approximation, (2) demonstrate the greater expressiveness of the DM kernel compared to the Gaussian kernel for supervised learning over a larger class of functions on manifolds with boundary, and (3) demonstrate the advantage of the DM kernel over the Gaussian kernel in learning functions with varying frequencies and co-dimensions.

math.NA↗

arXiv2026

Learning dynamical systems from noisy data with Weak-form Kernel Ridge Regression

Accurate prediction of complex dynamical systems from noisy measurements remains a significant challenge in scientific computing. Kernel ridge regression learning strategies are often effective when applied to clean data, but have limited success with noisy data. Recent work has observed that a weak formulation can act to filter noisy data, and different learning strategies have achieved increased noise robustness with a weak-form framework. In this manuscript, we give an overview of the filtering mechanism behind the weak formulation and provide a bias-variance error decomposition. Using these insights, we combine a weak formulation with a kernel learning strategy to propose Weak-form Kernel Ridge Regression (WKRR) for learning dynamical systems. The proposed framework is simple to implement, effective for both clean and noisy data, and outperforms several baseline methods. We demonstrate the performance of WKRR on chaotic benchmark systems in up to 64 dimensions, as well as 15,000-dimensional real-world fluid data.

cs.LG↗

arXiv2026

Trajectory Optimization of Morphing Aerial Vehicles Based on Mid-Fidelity Aeroservoelastic Models

Morphing aerial vehicles offer enhanced maneuverability and fuel efficiency compared to fixed-wing configurations. However, the trade-off between performance gains and control cost in dynamic, unsteady maneuvers remains under-explored. This paper addresses this by integrating a trajectory optimization framework with a mid-fidelity aeroservoelastic model, coupling nonlinear multi-body structural dynamics with an unsteady vortex lattice method. A physics-based control cost model captures the energy required to overcome instantaneous aerodynamic hinge moments. Applied to an aircraft with flexible, high-aspect-ratio wings and morphing winglets, the framework evaluates trim, maneuver performance, and lateral obstacle avoidance. Results show morphing wings significantly expand the flight envelope by decoupling lift and pitch requirements. In dynamic maneuvers, morphing yields distinct trade-offs: a pull-up maneuver increased altitude gain by 28.95% at a higher control cost, while a banked turn improved lateral displacement by 8.62% while reducing control cost by 13.40%. Notably, in obstacle avoidance, morphing reduced total control cost by 65.65%. This efficiency stems from exploiting aero-mechanical coupling via trajectory optimization to identify coordinated control strategies that offload aerodynamic loads. These findings underscore wing morphing's potential for achieving extreme maneuvers with superior energy efficiency.

eess.SY↗

arXiv2025

Learning solution operator of dynamical systems with diffusion maps kernel ridge regression

In this work, we propose a simple kernel ridge regression (KRR) framework with a dynamic-aware validation strategy for long-term prediction of complex dynamical systems. By employing a data-driven kernel derived from diffusion maps, the proposed Diffusion Maps Kernel Ridge Regression (DM-KRR) method implicitly adapts to the intrinsic geometry of the system's invariant set, without requiring explicit manifold reconstruction or attractor modeling, procedures that often limit predictive performance. Across a broad range of systems, including smooth manifolds, chaotic attractors, and high-dimensional spatiotemporal flows, DM-KRR consistently outperforms state-of-the-art random feature, neural-network and operator-learning methods in both accuracy and data efficiency. These findings underscore that long-term predictive skill depends not only on model expressiveness, but critically on respecting the geometric constraints encoded in the data through dynamically consistent model selection. Together, simplicity, geometry awareness, and strong empirical performance point to a promising path for reliable and efficient learning of complex dynamical systems.

cs.LG↗

arXiv2025

Low-Order $\mathcal{H}_2 / \mathcal{H}_\infty$ Controller Design for Aeroelastic Vibration Suppression

This paper presents an $\mathcal{H}_2 / \mathcal{H}_\infty$ minimization-based output-feedback controller for active aeroelastic vibration suppression in a cantilevered beam. First, a nonlinear structural model incorporating moderate deflection and aerodynamic loading is derived and discretized using the finite element method (FEM). Then, a low-order linear model is identified from random gaussian input response data from the FEM model to synthesize an output-feedback controller using the $\mathcal{H}_2 / \mathcal{H}_\infty$ framework. A frequency-weighted dynamic filter is introduced to emphasize disturbance frequencies of interest, enabling the controller to target dominant vibration modes. Simulation results demonstrate the effectiveness of the proposed technique for vibration suppression and study its robustness to system parameter variations, including actuator placement.

eess.SY↗

arXiv2025

A model-free method for discovering symmetry in differential equations

Symmetry in differential equations reveals invariances and offers a powerful means to reduce model complexity. Lie group analysis characterizes these symmetries through infinitesimal generators, which provide a local, linear criterion for invariance. However, identifying Lie symmetries directly from scattered data, without explicit knowledge of the governing equations, remains a significant challenge. This work introduces a numerical scheme that approximates infinitesimal generators from data sampled on an unknown smooth manifold, enabling the recovery of continuous symmetries without requiring the analytical form of the differential equations. We employ a manifold learning technique, Generalized Moving Least Squares, to prolongate the data, from which a linear system is constructed whose null space encodes the infinitesimal generators representing the symmetries. Convergence bounds for the proposed approach are derived. Several numerical experiments, including ordinary and partial differential equations, demonstrate the method's accuracy, robustness, and convergence, highlighting its potential for data-driven discovery of symmetries in dynamical systems.

math.NA↗

arXiv2025

Adjoint-based Hopf-bifurcation Instability Suppression via First Lyapunov Coefficient

Many physical systems exhibit limit cycle oscillations induced by Hopf bifurcations. In aerospace engineering, limit cycle oscillations arise from undesirable Hopf bifurcation phenomena such as aeroelastic flutter and transonic buffet. In some cases, the resulting limit cycle oscillations can themselves be unstable, leading to amplitude divergence or hysteretic transitions that threaten structural integrity and performance. Avoiding such phenomena when performing gradient based design optimization requires a constraint that quantifies the stability of the bifurcations and the derivative of that constraint with respect to the design variables. To capture the local stability of bifurcations, we leverage the first Lyapunov coefficient, which predicts whether the resulting limit cycle oscillation is stable or unstable. We develop an accurate and efficient method for computing derivatives of the first Lyapunov coefficient. We leverage the adjoint method and reverse algorithmic differentiation to efficiently compute the derivative of the first Lyapunov coefficient. We demonstrate the efficacy of the proposed adjoint method in three design optimization problems that suppress unstable bifurcation: an algebraic Hopf bifurcation model, an aeroelastic model of a typical section, and a nonlinear problem based on the complex Ginzburg-Landau partial differential equation. While the current formulation addresses only a single bifurcation mode, the proposed adjoint shows great potential for efficiently handling Hopf bifurcation constraints in large scale nonlinear problems governed by partial differential equations. Its accuracy, versatility and scalability make it a promising tool for aeroelastic and aerodynamic design optimization as well as other engineering problems involving Hopf bifurcation instabilities.

math.DS↗

arXiv2025

Efficient MPC-Based Energy Management System for Secure and Cost-Effective Microgrid Operations

Model predictive control (MPC)-based energy management systems (EMS) are essential for ensuring optimal, secure, and stable operation in microgrids with high penetrations of distributed energy resources. However, due to the high computational cost for the decision-making, the conventional MPC-based EMS typically adopts a simplified integrated-bus power balance model. While this simplification is effective for small networks, large-scale systems require a more detailed branch flow model to account for the increased impact of grid power losses and security constraints. This work proposes an efficient and reliable MPC-based EMS that incorporates power-loss effects and grid-security constraints. %, while adaptively shaping the battery power profile in response to online renewable inputs, achieving reduced operational costs. It enhances system reliability, reduces operational costs, and shows strong potential for online implementation due to its reduced computational effort. Specifically, a second-order cone program (SOCP) branch flow relaxation is integrated into the constraint set, yielding a convex formulation that guarantees globally optimal solutions with high computational efficiency. Owing to the radial topology of the microgrid, this relaxation is practically tight, ensuring equivalence to the original problem. Building on this foundation, an online demand response (DR) module is designed to further reduce the operation cost through peak shaving. To the best of our knowledge, no prior MPC-EMS framework has simultaneously modeled losses and security constraints while coordinating flexible loads within a unified architecture. The developed framework enables secure operation with effective peak shaving and reduced total cost. The effectiveness of the proposed method is validated on 10-bus, 18-bus, and 33-bus systems.

eess.SY↗

arXiv2025

Physics-Infused Reduced-Order Modeling for Analysis of Multi-Layered Hypersonic Thermal Protection Systems

This work presents a physics-infused reduced-order modeling (PIROM) framework for efficient and accurate prediction of transient thermal behavior in multi-layered hypersonic thermal protection systems (TPS). The PIROM architecture integrates a reduced-physics backbone, based on the lumped-capacitance model (LCM), with data-driven correction dynamics formulated via a coarse-graining approach rooted in the Mori-Zwanzig formalism. While the LCM captures the dominant heat transfer mechanisms, the correction terms compensate for residual dynamics arising from higher-order non-linear interactions and heterogeneities across material layers. The proposed PIROM is benchmarked against two non-intrusive reduced-order models (ROMs): Operator Inference (OpInf) and Neural Ordinary Differential Equations (NODE). The PIROM consistently achieves errors below 1% for a wide range of extrapolative settings involving time- and space-dependent boundary conditions and temperature-varying material property perturbations. In contrast, OpInf exhibits moderate degradation, and NODE suffers substantial loss in accuracy due to its lack of embedded physics. Despite higher training costs, PIROM delivers online evaluations of two orders of magnitude faster than the full-order model. These results demonstrate that PIROM effectively reconciles the trade-offs between accuracy, generalizability, and efficiency, providing a robust framework for thermal modeling of TPS under diverse operating conditions.

physics.comp-ph↗

arXiv2025

Global Description of Flutter Dynamics via Koopman Theory

This paper presents a novel parametrization approach for aeroelastic systems utilizing Koopman theory, specifically leveraging the Koopman Bilinear Form (KBF) model. To address the limitations of linear parametric dependence in the KBF model, we introduce the Extended KBF (EKBF) model, which enables a global linear representation of aeroelastic dynamics while capturing stronger nonlinear dependence on, e.g., the flutter parameter. The effectiveness of the proposed methodology is demonstrated through two case studies: a 2D academic example and a panel flutter problem. Results show that EKBF effectively interpolates and extrapolates principal eigenvalues, capturing flutter mechanisms, and accurately predicting the flutter boundary even when the data is corrupted by noise. Furthermore, parameterized isostable and isochron identified by EKBF provides valuable insights into the nonlinear flutter system.

physics.flu-dyn↗

arXiv2025

Data-Enabled Predictive Control for Flexible Spacecraft

Spacecraft are vital to space exploration and are often equipped with lightweight, flexible appendages to meet strict weight constraints. These appendages pose significant challenges for modeling and control due to their inherent nonlinearity. Data-driven control methods have gained traction to address such challenges. This paper introduces, to the best of the authors' knowledge, the first application of the data-enabled predictive control (DeePC) framework to boundary control for flexible spacecraft. Leveraging the fundamental lemma, DeePC constructs a non-parametric model by utilizing recorded past trajectories, eliminating the need for explicit model development. The developed method also incorporates dimension reduction techniques to enhance computational efficiency. Through comprehensive numerical simulations, this study compares the proposed method with Lyapunov-based control, demonstrating superior performance and offering a thorough evaluation of data-driven control for flexible spacecraft.

eess.SY↗

arXiv2024

A reference frame-based microgrid primary control for ensuring global convergence to a periodic orbit

Power systems with a high penetration of renewable generation are vulnerable to frequency oscillation and voltage instability. Traditionally, the stability of power systems is considered either in terms of local stability or as an angle oscillator synchronization problem with the simplifying assumption that the dynamics of the amplitudes are on much shorter time scales. Without this assumption, however, the steady state being studied is essentially a limit cycle with the convergence of its orbit in question. In this paper, we present a method to analyze the orbital stability of a microgrid and propose a voltage controller for the inverter-interfaced renewable generators. The main hurdle to the problem lies in the constant terms in the rotating internal reference frames of each generator. We extend the shifted passivity of port-Hamiltonian systems to the analysis of limit cycles and prove that, if the system is shifted passive without considering these constant terms, then the periodic orbit is globally attractive. To the best of our knowledge, this is the first global stability result for non-nominal steady states of the microgrid in the full state space, which provides new insights into the synchronization phenomenon where the dissipativity of the system ensures convergence. The proposed controller is verified with a test microgrid, demonstrating its stability and transient smoothness compared to the standard droop control.

eess.SY↗

arXiv2024

Learning Networked Dynamical System Models with Weak Form and Graph Neural Networks

This paper presents a sequence of two approaches for the data-driven control-oriented modeling of networked systems, i.e., the systems that involve many interacting dynamical components. First, a novel deep learning approach named the weak Latent Dynamics Model (wLDM) is developed for learning generic nonlinear dynamics with control. Leveraging the weak form, the wLDM enables more numerically stable and computationally efficient training as well as more accurate prediction, when compared to conventional methods such as neural ordinary differential equations. Building upon the wLDM framework, we propose the weak Graph Koopman Bilinear Form (wGKBF) model, which integrates geometric deep learning and Koopman theory to learn latent space dynamics for networked systems, especially for the challenging cases having multiple timescales. The effectiveness of the wLDM framework and wGKBF model are demonstrated on three example systems of increasing complexity - a controlled double pendulum, the stiff Brusselator dynamics, and an electrified aircraft energy system. These numerical examples show that the wLDM and wGKBF achieve superior predictive accuracy and training efficiency as compared to baseline models. Parametric studies provide insights into the effects of hyperparameters in the weak form. The proposed framework shows the capability to efficiently capture control-dependent dynamics in these systems, including stiff dynamics and multi-physics interactions, offering a promising direction for learning control-oriented models of complex networked systems.

eess.SY↗

arXiv2024

Learning Coarse-Grained Dynamics on Graph

We consider a Graph Neural Network (GNN) non-Markovian modeling framework to identify coarse-grained dynamical systems on graphs. Our main idea is to systematically determine the GNN architecture by inspecting how the leading term of the Mori-Zwanzig memory term depends on the coarse-grained interaction coefficients that encode the graph topology. Based on this analysis, we found that the appropriate GNN architecture that will account for $K$-hop dynamical interactions has to employ a Message Passing (MP) mechanism with at least $2K$ steps. We also deduce that the memory length required for an accurate closure model decreases as a function of the interaction strength under the assumption that the interaction strength exhibits a power law that decays as a function of the hop distance. Supporting numerical demonstrations on two examples, a heterogeneous Kuramoto oscillator model and a power system, suggest that the proposed GNN architecture can predict the coarse-grained dynamics under fixed and time-varying graph topologies.

math.NA↗

arXiv2024

Modal Analysis of Spatiotemporal Data via Multivariate Gaussian Process Regression

Modal analysis has become an essential tool to understand the coherent structure of complex flows. The classical modal analysis methods, such as dynamic mode decomposition (DMD) and spectral proper orthogonal decomposition (SPOD), rely on a sufficient amount of data that is regularly sampled in time. However, often one needs to deal with sparse temporally irregular data, e.g., due to experimental measurements and simulation algorithm. To overcome the limitations of data scarcity and irregular sampling, we propose a novel modal analysis technique using multi-variate Gaussian process regression (MVGPR). We first establish the connection between MVGPR and the existing modal analysis techniques, DMD and SPOD, from a linear system identification perspective. Next, leveraging this connection, we develop a MVGPR-based modal analysis technique that addresses the aforementioned limitations. The capability of MVGPR is endowed by its judiciously designed kernel structure for correlation function, that is derived from the assumed linear dynamics. Subsequently, the proposed MVGPR method is benchmarked against DMD and SPOD on a range of examples, from academic and synthesized data to unsteady airfoil aerodynamics. The results demonstrate MVGPR as a promising alternative to classical modal analysis methods, especially in the scenario of scarce and temporally irregular data.

stat.ME↗

arXiv2023

Learning Koopman Operators with Control Using Bi-level Optimization

The accurate modeling and control of nonlinear dynamical effects are crucial for numerous robotic systems. The Koopman formalism emerges as a valuable tool for linear control design in nonlinear systems within unknown environments. However, it still remains a challenging task to learn the Koopman operator with control from data, and in particular, the simultaneous identification of the Koopman linear dynamics and the mapping between the physical and Koopman states. Conventionally, the simultaneous learning of the dynamics and mapping is achieved via single-level optimization based on one-step or multi-step discrete-time predictions, but the learned model may lack model robustness, training efficiency, and/or long-term predictive accuracy. This paper presents a bi-level optimization framework that jointly learns the Koopman embedding mapping and Koopman dynamics with exact long-term dynamical constraints. Our formulation allows back-propagation in standard learning framework and the use of state-of-the-art optimizers, yielding more accurate and stable system prediction in long-time horizon over various applications compared to conventional methods.

eess.SY↗

arXiv2023

PyPose v0.6: The Imperative Programming Interface for Robotics

PyPose is an open-source library for robot learning. It combines a learning-based approach with physics-based optimization, which enables seamless end-to-end robot learning. It has been used in many tasks due to its meticulously designed application programming interface (API) and efficient implementation. From its initial launch in early 2022, PyPose has experienced significant enhancements, incorporating a wide variety of new features into its platform. To satisfy the growing demand for understanding and utilizing the library and reduce the learning curve of new users, we present the fundamental design principle of the imperative programming interface, and showcase the flexible usage of diverse functionalities and modules using an extremely simple Dubins car example. We also demonstrate that the PyPose can be easily used to navigate a real quadruped robot with a few lines of code.

cs.RO↗

arXiv2022

Physics-Infused Reduced Order Modeling of Aerothermal Loads for Hypersonic Aerothermoelastic Analysis

This paper presents a novel physics-infused reduced-order modeling (PIROM) methodology for efficient and accurate modeling of non-linear dynamical systems. The PIROM consists of a physics-based analytical component that represents the known physical processes, and a data-driven dynamical component that represents the unknown physical processes. The PIROM is applied to the aerothermal load modeling for hypersonic aerothermoelastic (ATE) analysis and is found to accelerate the ATE simulations by two-three orders of magnitude while maintaining an accuracy comparable to high-fidelity solutions based on computational fluid dynamics (CFD). Moreover, the PIROM-based solver is benchmarked against the conventional POD-kriging surrogate model, and is found to significantly outperform the accuracy, generalizability and sampling efficiency of the latter in a wide range of operating conditions and in the presence of complex structural boundary conditions. Finally, the PIROM-based ATE solver is demonstrated by a parametric study on the effects of boundary conditions and rib-supports on the ATE response of a compliant and heat-conducting panel structure. The results not only reveal the dramatic snap-through behavior with respect to spring constraints of boundary conditions, but also demonstrates the potential of PIROM to facilitate the rapid and accurate design and optimization of multi-disciplinary systems such as hypersonic structures.

physics.flu-dyn↗