Imagen de Portada

Bayesian Diagnosability and Active Fault Identification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kong, Chun-Wei, McMahon, Jay, Lahijanian, Morteza
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
por: Kong, Chun-Wei, et al.
Publicado: (2026)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
por: Kong, Chun-Wei, et al.
Publicado: (2024)

A Control Framework for CUBESAT Rendezvous and Proximity Operations using Electric Propulsion
por: Lin, Bo-Chuan, et al.
Publicado: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
por: Amorese, Peter, et al.
Publicado: (2025)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
por: Amorese, Peter, et al.
Publicado: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
por: Gracia, Ibon, et al.
Publicado: (2025)

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

On the Optimality of Uncertain MDP Abstractions
por: Gracia, Ibon, et al.
Publicado: (2026)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
por: Laurenti, Luca, et al.
Publicado: (2023)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
por: Amorese, Peter, et al.
Publicado: (2025)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
por: Amorese, Peter, et al.
Publicado: (2026)

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
por: Reed, Robert, et al.
Publicado: (2024)

Optimal Rank-1 Directional State Transition Tensors
por: Calkins, Grace E., et al.
Publicado: (2025)

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

Improved Directional State Transition Tensors for Accurate Aerocapture Performance Analysis
por: Calkins, Grace E., et al.
Publicado: (2025)

Batch Estimation of a Steady, Uniform, Flow-Field from Ground Velocity and Heading Measurements
por: Wolek, Artur, et al.
Publicado: (2024)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
por: Mazouz, Rayan, et al.
Publicado: (2026)

Promises of Deep Kernel Learning for Control Synthesis
por: Reed, Robert, et al.
Publicado: (2023)

Risk-Aware Aerocapture Guidance Through a Probabilistic Indicator Function
por: Calkins, Grace E., et al.
Publicado: (2025)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
por: Gracia, Ibon, et al.
Publicado: (2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
por: Figueiredo, Eduardo, et al.
Publicado: (2024)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
por: Mazouz, Rayan, et al.
Publicado: (2026)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
por: Mathiesen, Frederik Baymler, et al.
Publicado: (2024)

Active Fault Identification and Robust Control for Unknown Bounded Faults via Volume-Based Costs
por: Daniels, Annalena, et al.
Publicado: (2025)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
por: Skovbekk, John, et al.
Publicado: (2021)

Provably Safe Motion Planning Under Unknown Disturbances
por: Gracia, Ibon, et al.
Publicado: (2026)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
por: Gracia, Ibon, et al.
Publicado: (2024)

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

Interval Markov Decision Processes with Continuous Action-Spaces
por: Delimpaltadakis, Giannis, et al.
Publicado: (2022)

Falsification of Autonomous Systems in Rich Environments
por: Elimelech, Khen, et al.
Publicado: (2024)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
por: Mazouz, Rayan, et al.
Publicado: (2022)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
por: Cauchi, Nathalie, et al.
Publicado: (2019)

Observer-Based Active Fault/Disturbance Compensation Control for Fully Actuated Systems
por: Ren, Weijie, et al.
Publicado: (2026)

Active Estimation of Multiplicative Faults in Dynamical Systems
por: Gleizer, Gabriel de Albuquerque, et al.
Publicado: (2025)

Active Islanding Detection Using Pulse Compression Probing
por: Piaquadio, Nicholas, et al.
Publicado: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
por: Mazouz, Rayan, et al.
Publicado: (2024)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
por: Graebener, Josefine B., et al.
Publicado: (2025)

Bayesian and Classical Feature Ranking for Interpretable BLDC Fault Diagnosis
por: Bauer, Waldemar, et al.
Publicado: (2026)

NMPC-based Unified Posture Manipulation and Thrust Vectoring for Fault Recovery
por: Salagame, Adarsh, et al.
Publicado: (2025)

Joint Observer Gain and Input Design for Asymptotic Active Fault Diagnosis
por: Xu, Feng, et al.
Publicado: (2024)