nonlinear system

Universal Learning of Stochastic Dynamics for Exact Belief Propagation Using Bernstein Normalizing Flows AAAI 2026 Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures L4DC 2026 Data-Driven Near-Optimal Control of Nonlinear Systems Over Finite Horizon L4DC 2025 MamKO: Mamba-based Koopman operator for modeling and predictive control ICLR 2025 ParaSolver: A Hierarchical Parallel Integral Solver for Diffusion Models ICLR 2025 Phase transitions for the existence of unregularized M-estimators in single index models ICML 2025 Convergence guarantees for adaptive model predictive control with kinky inference L4DC 2024 Data-driven bifurcation analysis via learning of homeomorphism L4DC 2024 Data driven verification of positive invariant sets for discrete, nonlinear systems L4DC 2024 Deep model-free KKL observer: A switching approach L4DC 2024 Exploring the Low-Pass Filtering Behavior in Image Super-Resolution ICML 2024 Causal Discovery for Non-stationary Non-linear Time Series Data Using Just-In-Time Modeling CLeaR 2023 DRCFS: Doubly Robust Causal Feature Selection ICML 2023 Learning Robust State Observers using Neural ODEs L4DC 2023 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023 Task-Oriented Koopman-Based Control with Contrastive Encoder CoRL 2023 The Power of Learned Locally Linear Models for Nonlinear Policy Optimization ICML 2023 Adaptive Variants of Optimal Feedback Policies L4DC 2022 A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees L4DC 2022 Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates L4DC 2022 Dynamic Nonlinear Matrix Completion for Time-Varying Data Imputation AAAI 2022 Safe Control Under Input Limits with Neural Control Barrier Functions CoRL 2022 Adaptive-Control-Oriented Meta-Learning for Nonlinear Systems RSS 2021 Data-Driven Reachability Analysis Using Matrix Zonotopes L4DC 2021 Learning Recurrent Neural Net Models of Nonlinear Systems L4DC 2021