Derivative-Agnostic Inference of Nonlinear Hybrid Systems
Fuente:
arXiv
Saved in:
| Main Authors: | Yu, Hengzhi, Ma, Bohan, Chen, Mingshuai, Dong, Huangying, An, Jie, Gu, Bin, Zhan, Naijun, Yin, Jianwei |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
by: Su, Han, et al.
Published: (2023)
by: Su, Han, et al.
Published: (2023)
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
by: Su, Han, et al.
Published: (2024)
by: Su, Han, et al.
Published: (2024)
Exact Moment Estimation of Stochastic Differential Dynamics
by: Feng, Shenghua, et al.
Published: (2026)
by: Feng, Shenghua, et al.
Published: (2026)
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023)
by: Wu, Hao, et al.
Published: (2023)
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
by: Cui, Bohan, et al.
Published: (2025)
by: Cui, Bohan, et al.
Published: (2025)
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
by: Cui, Bohan, et al.
Published: (2024)
by: Cui, Bohan, et al.
Published: (2024)
Runtime Enforcement of CPS against Signal Temporal Logic
by: Su, Han, et al.
Published: (2025)
by: Su, Han, et al.
Published: (2025)
Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
by: Cui, Bohan, et al.
Published: (2026)
by: Cui, Bohan, et al.
Published: (2026)
Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
by: Cui, Bohan, et al.
Published: (2026)
by: Cui, Bohan, et al.
Published: (2026)
Kernel-Based Learning of Stable Nonlinear Systems
by: Scandella, Matteo, et al.
Published: (2024)
by: Scandella, Matteo, et al.
Published: (2024)
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025)
by: Cui, Bohan, et al.
Published: (2025)
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
by: Zhong, Bingzhuo, et al.
Published: (2024)
by: Zhong, Bingzhuo, et al.
Published: (2024)
The Singular Angle of Nonlinear Systems
by: Chen, Chao, et al.
Published: (2021)
by: Chen, Chao, et al.
Published: (2021)
Layered Nonlinear Model Predictive Control for Robust Stabilization of Hybrid Systems
by: Olkin, Zachary, et al.
Published: (2025)
by: Olkin, Zachary, et al.
Published: (2025)
Nonlinear Model Predictive Control of a Hybrid Thermal Management System
by: Gulewicz, Demetrius, et al.
Published: (2024)
by: Gulewicz, Demetrius, et al.
Published: (2024)
Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2025)
by: Liu, Zishun, et al.
Published: (2025)
Hybrid Event-triggered Control of Nonlinear System with Full State Constraints and Disturbance
by: Wang, Ziming
Published: (2024)
by: Wang, Ziming
Published: (2024)
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)
by: Zhang, Hang, et al.
Published: (2023)
Hybrid Feedback for Affine Nonlinear Systems with Application to Global Obstacle Avoidance (Extended Version)
by: Wang, Miaomiao, et al.
Published: (2023)
by: Wang, Miaomiao, et al.
Published: (2023)
TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
by: Zhao, Xinkui, et al.
Published: (2025)
by: Zhao, Xinkui, et al.
Published: (2025)
Optimal Covariance Steering of Linear Stochastic Systems with Hybrid Transitions
by: Yu, Hongzhe, et al.
Published: (2024)
by: Yu, Hongzhe, et al.
Published: (2024)
Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)
by: Liu, Zishun, et al.
Published: (2024)
Discrete Homogeneity and Quantizer Design for Nonlinear Homogeneous Control Systems
by: Zhou, Yu, et al.
Published: (2026)
by: Zhou, Yu, et al.
Published: (2026)
Inference and Learning of Nonlinear LFR State-Space Models
by: Floren, Merijn, et al.
Published: (2025)
by: Floren, Merijn, et al.
Published: (2025)
On Koopman Resolvents and Frequency Response of Nonlinear Systems
by: Susuki, Yoshihiko, et al.
Published: (2026)
by: Susuki, Yoshihiko, et al.
Published: (2026)
Robust Adaptive Learning Control for a Class of Non-affine Nonlinear Systems
by: Gao, Shuai, et al.
Published: (2026)
by: Gao, Shuai, et al.
Published: (2026)
Learning Local Control Barrier Functions for Hybrid Systems
by: Yang, Shuo, et al.
Published: (2024)
by: Yang, Shuo, et al.
Published: (2024)
Contingency Detection in Modern Power Systems: A Stochastic Hybrid System Method
by: Yuan, Shuo, et al.
Published: (2024)
by: Yuan, Shuo, et al.
Published: (2024)
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)
by: Ma, Liqian, et al.
Published: (2026)
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
by: Li, Haoyu, et al.
Published: (2025)
by: Li, Haoyu, et al.
Published: (2025)
Initial State Privacy of Nonlinear Systems on Riemannian Manifolds
by: Liu, Le, et al.
Published: (2025)
by: Liu, Le, et al.
Published: (2025)
Resilient Distributed Control for Uncertain Nonlinear Interconnected Systems under Network Anomaly
by: Wang, Youqing, et al.
Published: (2025)
by: Wang, Youqing, et al.
Published: (2025)
Stochastic Hybrid System Modeling and State Estimation of Modern Power Systems under Contingency
by: Yuan, Shuo, et al.
Published: (2024)
by: Yuan, Shuo, et al.
Published: (2024)
Nonlinear Control Synchronization Method for Fractional-order Time Derivatives Chaotic Systems
by: Mishra, Vivek, et al.
Published: (2026)
by: Mishra, Vivek, et al.
Published: (2026)
Hybrid System Stability Analysis of Multi-Lane Mixed-Autonomy Traffic
by: Li, Sirui, et al.
Published: (2023)
by: Li, Sirui, et al.
Published: (2023)
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
by: Xu, Xiong, et al.
Published: (2025)
by: Xu, Xiong, et al.
Published: (2025)
Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)
by: Kumar, Saurabh, et al.
Published: (2025)
Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables
by: Wang, Sen, et al.
Published: (2024)
by: Wang, Sen, et al.
Published: (2024)
Learning Hybrid Policies for MPC with Application to Drone Flight in Unknown Dynamic Environments
by: Feng, Zhaohan, et al.
Published: (2024)
by: Feng, Zhaohan, et al.
Published: (2024)
A General Tikhonov Regularized Second-Order Dynamical System for Convex-Concave Bilinear Saddle Point Problems
by: Zhang, Bohan, et al.
Published: (2026)
by: Zhang, Bohan, et al.
Published: (2026)
Similar Items
-
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
by: Su, Han, et al.
Published: (2023) -
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
by: Su, Han, et al.
Published: (2024) -
Exact Moment Estimation of Stochastic Differential Dynamics
by: Feng, Shenghua, et al.
Published: (2026) -
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023) -
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
by: Cui, Bohan, et al.
Published: (2025)