Copertina

Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Amri, Omar, Seatzu, Carla, Giua, Alessandro, Lefebvre, Dimitri
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

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems
di: Deplano, Diego, et al.
Pubblicazione: (2019)

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
di: Cui, Bohan, et al.
Pubblicazione: (2025)

Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks
di: Deplano, Diego, et al.
Pubblicazione: (2020)

Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
di: Deplano, Diego, et al.
Pubblicazione: (2023)

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

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
di: Mestres, Pol, et al.
Pubblicazione: (2025)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
di: Zhang, Kuize, et al.
Pubblicazione: (2024)

Deterministic Trajectory Optimization through Probabilistic Optimal Control
di: Filabadi, Mohammad Mahmoudi, et al.
Pubblicazione: (2024)

Probabilistic Latent Variable Modeling for Dynamic Friction Identification and Estimation
di: Vantilborgh, Victor, et al.
Pubblicazione: (2024)

Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
di: Zhao, Wenjie, et al.
Pubblicazione: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
di: Schön, Oliver, et al.
Pubblicazione: (2025)

Resilient State Estimation for Discrete-Time Linear Systems
di: Kircher, Alexandre, et al.
Pubblicazione: (2019)

Probabilistic Control Barrier Functions for Systems with State Estimation Uncertainty using Sub-Gaussian Concentration
di: Echigo, Kazuya, et al.
Pubblicazione: (2026)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
di: Karam, Carlo, et al.
Pubblicazione: (2025)

Reinforcement Learning and Graph Neural Networks for Probabilistic Risk Assessment
di: Grimstad, Joachim, et al.
Pubblicazione: (2024)

Distributed State Estimation of Discrete-Time LTI Systems via Jordan Canonical Representation
di: Fattore, Giulio, et al.
Pubblicazione: (2026)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
di: Cui, Bohan, et al.
Pubblicazione: (2025)

Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
di: Cui, Bohan, et al.
Pubblicazione: (2026)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
di: Badings, Thom, et al.
Pubblicazione: (2025)

Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets
di: He, Zhou, et al.
Pubblicazione: (2025)

Analytical Probabilistic Power Flow Approximation Using Invertible Neural Networks
di: Xia, Weijie, et al.
Pubblicazione: (2026)

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
di: Basu, Ahan, et al.
Pubblicazione: (2025)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
di: Serry, Mohamed, et al.
Pubblicazione: (2026)

Task Allocation of UAVs for Monitoring Missions via Hardware-in-the-Loop Simulation and Experimental Validation
di: Chakraa, Hamza, et al.
Pubblicazione: (2025)

Timed Discrete-Event Systems are Synchronous Product Structures
di: Lin, Liyong
Pubblicazione: (2018)

A Differentially Private Quantum Neural Network for Probabilistic Optimal Power Flow
di: Cao, Yuji, et al.
Pubblicazione: (2024)

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

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

Distributed State Estimation for Discrete-Time Systems With Unknown Inputs: An Optimization Approach
di: Zhao, Ruixuan, et al.
Pubblicazione: (2026)

Probabilistic Assessment of Rare Transient Instability Events via Kriging-based Active Learning Framework
di: Liu, Jingyu, et al.
Pubblicazione: (2026)

Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
di: Zhang, Renyuan, et al.
Pubblicazione: (2024)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
di: Serry, Mohamed, et al.
Pubblicazione: (2025)

Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics
di: Frauenknecht, Bernd, et al.
Pubblicazione: (2026)

Discrete-Time Event-Triggered Extremum Seeking
di: Rodrigues, Victor Hugo Pereira, et al.
Pubblicazione: (2026)

Covariance Stabilization for a class of Stochastic Discrete-time Linear Systems using the S-Variable Approach
di: Moussa, Kaouther, et al.
Pubblicazione: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
di: Gu, Chao, et al.
Pubblicazione: (2020)

Probabilistically Input-to-State Stable Stochastic Model Predictive Control
di: Pfefferkorn, Maik, et al.
Pubblicazione: (2024)

Probabilistic Prediction of Ship Maneuvering Motion using Ensemble Learning with Feedforward Neural Networks
di: Wakita, Kouki, et al.
Pubblicazione: (2024)

Probabilistic Robustness in the Gap Metric
di: Renganathan, Venkatraman
Pubblicazione: (2025)