Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Vitale, Francesco, Zoppi, Tommaso, Flammini, Francesco, Mazzocca, Nicola |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Adaptive Identification and Modeling of Clinical Pathways with Process Mining
par: Vitale, Francesco, et autres
Publié: (2025)
par: Vitale, Francesco, et autres
Publié: (2025)
Architecting software monitors for control-flow anomaly detection through large language models and conformance checking
par: Vitale, Francesco, et autres
Publié: (2025)
par: Vitale, Francesco, et autres
Publié: (2025)
Enhancing Anomaly-Based Intrusion Detection Systems with Process Mining
par: Vitale, Francesco, et autres
Publié: (2026)
par: Vitale, Francesco, et autres
Publié: (2026)
Network Traffic Analysis with Process Mining: The UPSIDE Case Study
par: Vitale, Francesco, et autres
Publié: (2025)
par: Vitale, Francesco, et autres
Publié: (2025)
Dynamic Risk Assessment by Bayesian Attack Graphs and Process Mining
par: Vitale, Francesco, et autres
Publié: (2026)
par: Vitale, Francesco, et autres
Publié: (2026)
Process mining-driven modeling and simulation to enhance fault diagnosis in cyber-physical systems
par: Vitale, Francesco, et autres
Publié: (2025)
par: Vitale, Francesco, et autres
Publié: (2025)
Control-flow anomaly detection by process mining-based feature extraction and dimensionality reduction
par: Vitale, Francesco, et autres
Publié: (2025)
par: Vitale, Francesco, et autres
Publié: (2025)
Fast Abstracts and Student Forum Proceedings -- EDCC 2024 -- 19th European Dependable Computing Conference
par: Bernardi, Simona, et autres
Publié: (2024)
par: Bernardi, Simona, et autres
Publié: (2024)
ROSpace: Intrusion Detection Dataset for a ROS2-Based Cyber-Physical System
par: Puccetti, Tommaso, et autres
Publié: (2024)
par: Puccetti, Tommaso, et autres
Publié: (2024)
The Rate-Distortion-Polysemanticity Tradeoff in SAEs
par: Mencattini, Tommaso, et autres
Publié: (2026)
par: Mencattini, Tommaso, et autres
Publié: (2026)
MicroFlow: An Efficient Rust-Based Inference Engine for TinyML
par: Carnelos, Matteo, et autres
Publié: (2024)
par: Carnelos, Matteo, et autres
Publié: (2024)
Empirical Analysis of Asynchronous Federated Learning on Heterogeneous Devices: Efficiency, Fairness, and Privacy Trade-offs
par: Mohammadi, Samaneh, et autres
Publié: (2025)
par: Mohammadi, Samaneh, et autres
Publié: (2025)
Fast and Effective GNN Training through Sequences of Random Path Graphs
par: Bonchi, Francesco, et autres
Publié: (2023)
par: Bonchi, Francesco, et autres
Publié: (2023)
Algebraic Reduction of Hidden Markov Models
par: Grigoletto, Tommaso, et autres
Publié: (2022)
par: Grigoletto, Tommaso, et autres
Publié: (2022)
Markov Persuasion Processes: Learning to Persuade from Scratch
par: Bacchiocchi, Francesco, et autres
Publié: (2024)
par: Bacchiocchi, Francesco, et autres
Publié: (2024)
Flow matching on homogeneous spaces
par: Ruscelli, Francesco
Publié: (2026)
par: Ruscelli, Francesco
Publié: (2026)
Learning Constrained Markov Decision Processes With Non-stationary Rewards and Constraints
par: Stradi, Francesco Emanuele, et autres
Publié: (2024)
par: Stradi, Francesco Emanuele, et autres
Publié: (2024)
Low-Pass Flow Matching
par: Ruscio, Francesco M., et autres
Publié: (2026)
par: Ruscio, Francesco M., et autres
Publié: (2026)
Exploratory Causal Inference in SAEnce
par: Mencattini, Tommaso, et autres
Publié: (2025)
par: Mencattini, Tommaso, et autres
Publié: (2025)
Federated Unlearning Made Practical: Seamless Integration via Negated Pseudo-Gradients
par: Mora, Alessio, et autres
Publié: (2025)
par: Mora, Alessio, et autres
Publié: (2025)
Self-Directed Learning of Convex Labelings on Graphs
par: Sokolov, Georgy, et autres
Publié: (2024)
par: Sokolov, Georgy, et autres
Publié: (2024)
Phase-aware Training Schedule Simplifies Learning in Flow-Based Generative Models
par: Aranguri, Santiago, et autres
Publié: (2024)
par: Aranguri, Santiago, et autres
Publié: (2024)
Weighted Wasserstein Barycenter of Gaussian Processes for exotic Bayesian Optimization tasks
par: Candelieri, Antonio, et autres
Publié: (2026)
par: Candelieri, Antonio, et autres
Publié: (2026)
Generating the Traces You Need: A Conditional Generative Model for Process Mining Data
par: Graziosi, Riccardo, et autres
Publié: (2024)
par: Graziosi, Riccardo, et autres
Publié: (2024)
Expressive Temporal Specifications for Reward Monitoring
par: Adalat, Omar, et autres
Publié: (2025)
par: Adalat, Omar, et autres
Publié: (2025)
A Random-Matrix Criterion for Initializing Gated Recurrent Neural Networks
par: Fioratti, Tommaso, et autres
Publié: (2026)
par: Fioratti, Tommaso, et autres
Publié: (2026)
FlowSymm: Physics Aware, Symmetry Preserving Graph Attention for Network Flow Completion
par: Demirci, Ege, et autres
Publié: (2026)
par: Demirci, Ege, et autres
Publié: (2026)
Controlling Transient Amplification Improves Long-horizon Rollouts
par: Pervez, Adeel, et autres
Publié: (2026)
par: Pervez, Adeel, et autres
Publié: (2026)
EncCluster: Scalable Functional Encryption in Federated Learning through Weight Clustering and Probabilistic Filters
par: Tsouvalas, Vasileios, et autres
Publié: (2024)
par: Tsouvalas, Vasileios, et autres
Publié: (2024)
Learning Discrete Diffusion of Graphs via Free-Energy Gradient Flows
par: Rancati, Dario, et autres
Publié: (2026)
par: Rancati, Dario, et autres
Publié: (2026)
Certified Guidance for Planning with Deep Generative Models
par: Giacomarra, Francesco, et autres
Publié: (2025)
par: Giacomarra, Francesco, et autres
Publié: (2025)
Causal Learning with the Invariance Principle
par: Montagna, Francesco, et autres
Publié: (2026)
par: Montagna, Francesco, et autres
Publié: (2026)
Targeted synthetic data generation for tabular data via hardness characterization
par: Ferracci, Tommaso, et autres
Publié: (2024)
par: Ferracci, Tommaso, et autres
Publié: (2024)
Predicting fermionic densities using a Projected Quantum Kernel method
par: Perciavalle, Francesco, et autres
Publié: (2025)
par: Perciavalle, Francesco, et autres
Publié: (2025)
Sample-Near-Optimal Agnostic Boosting with Improved Running Time
par: da Cunha, Arthur, et autres
Publié: (2026)
par: da Cunha, Arthur, et autres
Publié: (2026)
Random Controlled Differential Equations
par: Piatti, Francesco, et autres
Publié: (2025)
par: Piatti, Francesco, et autres
Publié: (2025)
All Rivers Run to the Sea: Private Learning with Asymmetric Flows
par: Niu, Yue, et autres
Publié: (2023)
par: Niu, Yue, et autres
Publié: (2023)
Learning Adversarial MDPs with Stochastic Hard Constraints
par: Stradi, Francesco Emanuele, et autres
Publié: (2024)
par: Stradi, Francesco Emanuele, et autres
Publié: (2024)
Optimal Strong Regret and Violation in Constrained MDPs via Policy Optimization
par: Stradi, Francesco Emanuele, et autres
Publié: (2024)
par: Stradi, Francesco Emanuele, et autres
Publié: (2024)
Flows on convex polytopes
par: Diederen, Tomek, et autres
Publié: (2025)
par: Diederen, Tomek, et autres
Publié: (2025)
Documents similaires
-
Adaptive Identification and Modeling of Clinical Pathways with Process Mining
par: Vitale, Francesco, et autres
Publié: (2025) -
Architecting software monitors for control-flow anomaly detection through large language models and conformance checking
par: Vitale, Francesco, et autres
Publié: (2025) -
Enhancing Anomaly-Based Intrusion Detection Systems with Process Mining
par: Vitale, Francesco, et autres
Publié: (2026) -
Network Traffic Analysis with Process Mining: The UPSIDE Case Study
par: Vitale, Francesco, et autres
Publié: (2025) -
Dynamic Risk Assessment by Bayesian Attack Graphs and Process Mining
par: Vitale, Francesco, et autres
Publié: (2026)