Copertina

Efficient Discovery of Actual Causality in Stochastic Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rafieioskouei, Arshia, Rogale, Kenneth, Bonakdarpour, Borzoo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Discovery of Actual Causality using Abstraction-Refinement
di: Rafieioskouei, Arshia, et al.
Pubblicazione: (2024)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
di: Hsu, Tzu-Han, et al.
Pubblicazione: (2025)

An Exact Theory of Causal Emergence for Linear Stochastic Iteration Systems
di: Liu, Kaiwei, et al.
Pubblicazione: (2024)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
di: Gracia, Ibon, et al.
Pubblicazione: (2025)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
di: Gracia, Ibon, et al.
Pubblicazione: (2022)

An Optimized Density-Based Lane Keeping System for A Cost-Efficient Autonomous Vehicle Platform: AurigaBot V1
di: Younesi, Farbod, et al.
Pubblicazione: (2025)

HyperQB: A Bounded Model Checker for Hyperproperties
di: Hsu, Tzu-Han, et al.
Pubblicazione: (2021)

Distance Between Stochastic Linear Systems
di: Renganathan, Venkatraman, et al.
Pubblicazione: (2025)

Stabilizing Rate of Stochastic Control Systems
di: Jia, Hui, et al.
Pubblicazione: (2025)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
di: Nishimura, Yuki, et al.
Pubblicazione: (2022)

Probabilistic Reachability Analysis of Stochastic Control Systems
di: Jafarpour, Saber, et al.
Pubblicazione: (2024)

Formal Entropy-Regularized Control of Stochastic Systems
di: van Zutphen, Menno, et al.
Pubblicazione: (2026)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
di: Sivaramakrishnan, Vignesh, et al.
Pubblicazione: (2024)

Explainable Online Unsupervised Anomaly Detection for Cyber-Physical Systems via Causal Discovery from Time Series
di: Meli, Daniele
Pubblicazione: (2024)

Communication-Efficient Stochastic Distributed Learning
di: Ren, Xiaoxing, et al.
Pubblicazione: (2025)

Fractional Risk Analysis of Stochastic Systems with Jumps and Memory
di: Sun, Yimeng, et al.
Pubblicazione: (2026)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
di: Liu, Zishun, et al.
Pubblicazione: (2024)

On Approximate Opacity of Stochastic Control Systems
di: Liu, Siyuan, et al.
Pubblicazione: (2024)

Incentive Compatibility in Stochastic Dynamic Systems
di: Ma, Ke, et al.
Pubblicazione: (2019)

Hierarchical Decentralized Stochastic Control for Cyber-Physical Systems
di: Kaza, Kesav, et al.
Pubblicazione: (2025)

An Efficient Sparse Identification Algorithm For Stochastic Systems With General Observation Sequences
di: Wang, Ziming, et al.
Pubblicazione: (2024)

Uncertainty Propagation in Stochastic Hybrid Systems with Dimension-Varying Resets
di: C., Tejaswi K., et al.
Pubblicazione: (2026)

Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
di: Liu, Zishun, et al.
Pubblicazione: (2026)

Optimal Covariance Steering of Linear Stochastic Systems with Hybrid Transitions
di: Yu, Hongzhe, et al.
Pubblicazione: (2024)

Scenario Reduction with Guarantees for Stochastic Optimal Control of Linear Systems
di: Cordiano, Francesco, et al.
Pubblicazione: (2024)

Piecewise Control Barrier Functions for Stochastic Systems
di: Mazouz, Rayan, et al.
Pubblicazione: (2025)

Layered Control of Partially Observed Stochastic Systems
di: Stamouli, Charis, et al.
Pubblicazione: (2026)

Regret Optimal Control for Uncertain Stochastic Systems
di: Martin, Andrea, et al.
Pubblicazione: (2023)

Small-Covariance Noise-to-State Stability of Stochastic Systems and Its Applications to Stochastic Gradient Dynamics
di: Cui, Leilei, et al.
Pubblicazione: (2025)

On Kernel Design for Regularized Non-Causal System Identification
di: Fang, Xiaozhu, et al.
Pubblicazione: (2023)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
di: Oumer, Mohammed Adib, et al.
Pubblicazione: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

Second Moment Polytopic Systems: Generalization of Uncertain Stochastic Linear Dynamics
di: Ito, Yuji, et al.
Pubblicazione: (2022)

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
di: Lee, Kooktae
Pubblicazione: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

Finite Sample Analysis of Subspace Identification for Stochastic Systems
di: Sun, Shuai, et al.
Pubblicazione: (2025)

Almost Sure Reachability in Continuous-time Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2026)

Stochastic Carbon Footprint Tracing Methods in Power Systems
di: Hu, Jiashuo, et al.
Pubblicazione: (2024)

Control of the Power Flows of a Stochastic Power System
di: Wang, Zhen, et al.
Pubblicazione: (2023)

Contingency Detection in Modern Power Systems: A Stochastic Hybrid System Method
di: Yuan, Shuo, et al.
Pubblicazione: (2024)