Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
Fuente:
arXiv
Saved in:
| Main Authors: | Blohm, Pauline, Schulz, Felix, Willemsen, Lisa, Remke, Anne, Herber, Paula |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
by: Delicaris, Joanna, et al.
Published: (2026)
by: Delicaris, Joanna, et al.
Published: (2026)
Python-Based Reinforcement Learning on Simulink Models
by: Schäfer, Georg, et al.
Published: (2024)
by: Schäfer, Georg, et al.
Published: (2024)
Uncertainty Propagation in Stochastic Hybrid Systems with Dimension-Varying Resets
by: C., Tejaswi K., et al.
Published: (2026)
by: C., Tejaswi K., et al.
Published: (2026)
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)
by: Cauchi, Nathalie, et al.
Published: (2019)
RotorSuite: A MATLAB/Simulink Toolbox for Tilt Multi-Rotor UAV Modeling
by: Cigarini, Nicola, et al.
Published: (2026)
by: Cigarini, Nicola, et al.
Published: (2026)
Modeling, Translation, and Analysis of Different examples using Simulink, Stateflow, SpaceEx, and FlowStar
by: Gajula, Yogesh, et al.
Published: (2025)
by: Gajula, Yogesh, et al.
Published: (2025)
A Co-simulation Framework for Quadrotor Control System Design using ROS 2 and MATLAB/Simulink
by: Teng, Hangyu
Published: (2025)
by: Teng, Hangyu
Published: (2025)
Stability in Isolated Grids: Implementation and Analysis of the Dead-Zone Virtual Oscillator Control in Simulink and Typhoon HIL
by: Sapkota, Dixant Bikal, et al.
Published: (2024)
by: Sapkota, Dixant Bikal, et al.
Published: (2024)
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
by: Figueiredo, Eduardo, et al.
Published: (2024)
by: Figueiredo, Eduardo, et al.
Published: (2024)
ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)
by: Abate, Alessandro, et al.
Published: (2025)
Two-Timescale Asymptotic Simulations of Hybrid Inclusions with Applications to Stochastic Hybrid Optimization
by: Crisafulli, Max F., et al.
Published: (2026)
by: Crisafulli, Max F., et al.
Published: (2026)
Nonlinear Stochastic Model Predictive Control with Generative Uncertainty in Homogeneous Charge Compression Ignition
by: Chen, Xu, et al.
Published: (2026)
by: Chen, Xu, et al.
Published: (2026)
Offline Uncertainty Sampling in Data-driven Stochastic MPC
by: Teutsch, Johannes, et al.
Published: (2023)
by: Teutsch, Johannes, et al.
Published: (2023)
Using Hybrid System Dynamics and Discrete Event Simulations to Identify High Leverage Targets for Process Improvement in a Skill-based Organizational Structure
by: Enos, Eric, et al.
Published: (2024)
by: Enos, Eric, et al.
Published: (2024)
Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
by: Adams, Steven, et al.
Published: (2025)
by: Adams, Steven, et al.
Published: (2025)
Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
by: Gracia, Ibon, et al.
Published: (2022)
by: Gracia, Ibon, et al.
Published: (2022)
Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
by: Black, Mitchell, et al.
Published: (2024)
by: Black, Mitchell, et al.
Published: (2024)
On the Robotic Uncertainty of Fully Autonomous Traffic: From Stochastic Car-Following to Mobility-Safety Trade-Offs
by: Li, Hangyu, et al.
Published: (2023)
by: Li, Hangyu, et al.
Published: (2023)
Optimal Covariance Steering of Linear Stochastic Systems with Hybrid Transitions
by: Yu, Hongzhe, et al.
Published: (2024)
by: Yu, Hongzhe, et al.
Published: (2024)
Combining Belief Function Theory and Stochastic Model Predictive Control for Multi-Modal Uncertainty in Autonomous Driving
by: Benciolini, Tommaso, et al.
Published: (2024)
by: Benciolini, Tommaso, et al.
Published: (2024)
Tractable Stochastic Hybrid Model Predictive Control using Gaussian Processes for Repetitive Tasks in Unseen Environments
by: D'Souza, Leroy, et al.
Published: (2025)
by: D'Souza, Leroy, 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)
Stochastic COLREGs Evaluation for Safe Navigation under Uncertainty
by: Hansen, Peter Nicholas, et al.
Published: (2024)
by: Hansen, Peter Nicholas, et al.
Published: (2024)
Stochastic Economic Dispatch with Battery Energy Storage considering Wind and Load Uncertainty
by: Lamichhane, Shishir, et al.
Published: (2025)
by: Lamichhane, Shishir, et al.
Published: (2025)
A Stochastic Hybrid Approach to Decentralized Networked Control: Stochastic Network Delays and Poisson Pulsing Attacks
by: Zhang, Dandan, et al.
Published: (2024)
by: Zhang, Dandan, et al.
Published: (2024)
Exact Covariance Characterization for Controlled Linear Systems subject to Stochastic Parametric and Additive Uncertainties
by: Moussa, Kaouther, et al.
Published: (2025)
by: Moussa, Kaouther, et al.
Published: (2025)
Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
by: Zaker, Mahdieh, et al.
Published: (2024)
by: Zaker, Mahdieh, et al.
Published: (2024)
Sampling-based Stochastic Data-driven Predictive Control under Data Uncertainty - Extended Version
by: Teutsch, Johannes, et al.
Published: (2024)
by: Teutsch, Johannes, et al.
Published: (2024)
Stochastic Co-design of Storage and Control for Water Distribution Systems
by: Wang, Ye, et al.
Published: (2023)
by: Wang, Ye, et al.
Published: (2023)
Aspiration-based Perturbed Learning Automata in Games with Noisy Utility Measurements. Part B: Stochastic Stability in Weakly Acyclic Games
by: Chasparis, Georgios C.
Published: (2025)
by: Chasparis, Georgios C.
Published: (2025)
A Data-Driven Surrogate Modeling and Sensor/Actuator Placement Framework for Flexible Spacecraft
by: Hilsenrath, Matthew, et al.
Published: (2026)
by: Hilsenrath, Matthew, et al.
Published: (2026)
Uncertainty-Aware Flexibility of Buildings: From Quantification to Provision
by: Rousseau, Julie, et al.
Published: (2025)
by: Rousseau, Julie, et al.
Published: (2025)
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)
Multi-contact Stochastic Predictive Control for Legged Robots with Contact Locations Uncertainty
by: Gazar, Ahmad, et al.
Published: (2023)
by: Gazar, Ahmad, et al.
Published: (2023)
Beyond Bounded Noise: Stochastic Set-Membership Estimation for Nonlinear Systems
by: Brändle, Felix, et al.
Published: (2026)
by: Brändle, Felix, et al.
Published: (2026)
Ontological Definition of Seamless Digital Engineering Based on ISO/IEC 25000-Series SQuaRE Product Quality Model
by: Wheaton, James S., et al.
Published: (2025)
by: Wheaton, James S., et al.
Published: (2025)
Variational Quantum Eigensolver Models of Molecular Quantum Dot Cellular Automata
by: Gautam, Nischal Binod, et al.
Published: (2025)
by: Gautam, Nischal Binod, et al.
Published: (2025)
An OPF-based Control Framework for Hybrid AC-MTDC Power Systems under Uncertainty
by: Du, Hongjin, et al.
Published: (2025)
by: Du, Hongjin, et al.
Published: (2025)
Decentralized PI-control and Anti-windup in Resource Sharing Networks
by: Agner, Felix, et al.
Published: (2023)
by: Agner, Felix, et al.
Published: (2023)
Comparison of Data-Driven Modeling Approaches for Control Optimization of Floating Offshore Wind Turbines
by: Sundarrajan, Athul K., et al.
Published: (2025)
by: Sundarrajan, Athul K., et al.
Published: (2025)
Similar Items
-
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
by: Delicaris, Joanna, et al.
Published: (2026) -
Python-Based Reinforcement Learning on Simulink Models
by: Schäfer, Georg, et al.
Published: (2024) -
Uncertainty Propagation in Stochastic Hybrid Systems with Dimension-Varying Resets
by: C., Tejaswi K., et al.
Published: (2026) -
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019) -
RotorSuite: A MATLAB/Simulink Toolbox for Tilt Multi-Rotor UAV Modeling
by: Cigarini, Nicola, et al.
Published: (2026)