Copertina

Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tang, Xiaochen, Zhang, Zhenya, Zhang, Miaomiao, An, Jie
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Synthesis of Timed Regular Expressions
di: Wang, Ziran, et al.
Pubblicazione: (2025)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

Continual Reinforcement Learning for Cyber-Physical Systems: Lessons Learned and Open Challenges
di: Nolle, Kim N., et al.
Pubblicazione: (2025)

Online Reinforcement Learning-Based Dynamic Adaptive Evaluation Function for Real-Time Strategy Tasks
di: Yang, Weilong, et al.
Pubblicazione: (2025)

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
di: Liu, Hengjie, et al.
Pubblicazione: (2026)

Estimating Probabilities of Causation with Machine Learning Models
di: Wang, Shuai, et al.
Pubblicazione: (2025)

Representing Time-Continuous Behavior of Cyber-Physical Systems in Knowledge Graphs
di: Gill, Milapji Singh, et al.
Pubblicazione: (2025)

Flowcean - Model Learning for Cyber-Physical Systems
di: Schmidt, Maximilian, et al.
Pubblicazione: (2026)

Graph Contextual Reinforcement Learning for Efficient Directed Controller Synthesis
di: Ubukata, Toshihide, et al.
Pubblicazione: (2025)

Hierarchical Testing with Rabbit Optimization for Industrial Cyber-Physical Systems
di: Hu, Jinwei, et al.
Pubblicazione: (2025)

Correlation or Causation: Analyzing the Causal Structures of LLM and LRM Reasoning Process
di: FU, Zhizhang, et al.
Pubblicazione: (2025)

Survey on Foundation Models for Prognostics and Health Management in Industrial Cyber-Physical Systems
di: Liu, Ruonan, et al.
Pubblicazione: (2023)

A Comparative Evaluation of Teacher-Guided Reinforcement Learning Techniques for Autonomous Cyber Operations
di: Tholl, Konur, et al.
Pubblicazione: (2025)

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
di: Parsert, Julian, et al.
Pubblicazione: (2023)

Deep Reinforcement Learning Guided Improvement Heuristic for Job Shop Scheduling
di: Zhang, Cong, et al.
Pubblicazione: (2022)

Mediation Analysis for Probabilities of Causation
di: Kawakami, Yuta, et al.
Pubblicazione: (2024)

Real Time Control of Tandem-Wing Experimental Platform Using Concerto Reinforcement Learning
di: Minghao, Zhang, et al.
Pubblicazione: (2025)

Learning Probabilities of Causation with Mask-Augmented Data
di: Wang, Shuai, et al.
Pubblicazione: (2025)

Optimizing Cyber Defense in Dynamic Active Directories through Reinforcement Learning
di: Goel, Diksha, et al.
Pubblicazione: (2024)

The Matrix: Infinite-Horizon World Generation with Real-Time Moving Control
di: Feng, Ruili, et al.
Pubblicazione: (2024)

Real-Time Gait Adaptation for Quadrupeds using Model Predictive Control and Reinforcement Learning
di: Kotecha, Prakrut, et al.
Pubblicazione: (2025)

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2019)

T$^2$PO: Uncertainty-Guided Exploration Control for Stable Multi-Turn Agentic Reinforcement Learning
di: Wang, Haixin, et al.
Pubblicazione: (2026)

Actual Causation and Nondeterministic Causal Models
di: Beckers, Sander
Pubblicazione: (2025)

Probabilities of Causation for Continuous and Vector Variables
di: Kawakami, Yuta, et al.
Pubblicazione: (2024)

Controllable and Verifiable Tool-Use Data Synthesis for Agentic Reinforcement Learning
di: Xu, Siyuan, et al.
Pubblicazione: (2026)

Beyond Rewards in Reinforcement Learning for Cyber Defence
di: Bates, Elizabeth, et al.
Pubblicazione: (2026)

Hierarchical Adversarially-Resilient Multi-Agent Reinforcement Learning for Cyber-Physical Systems Security
di: Alqithami, Saad
Pubblicazione: (2025)

Safe Offline Reinforcement Learning with Real-Time Budget Constraints
di: Lin, Qian, et al.
Pubblicazione: (2023)

Reinforcement Learning-Guided Semi-Supervised Learning
di: Heidari, Marzi, et al.
Pubblicazione: (2024)

LoVeC: Reinforcement Learning for Better Verbalized Confidence in Long-Form Generations
di: Zhang, Caiqi, et al.
Pubblicazione: (2025)

Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance using Reinforcement Learning
di: Brugnara, Irene, et al.
Pubblicazione: (2025)

Bounding Probabilities of Causation with Partial Causal Diagrams
di: Xie, Yuxuan, et al.
Pubblicazione: (2026)

Decomposition of Probabilities of Causation with Two Mediators
di: Kawakami, Yuta, et al.
Pubblicazione: (2025)

ASTRO: Adaptive Spatio-Temporal Reinforcement Optimization for GNN Powered Anomly Detection in Cyber Physical Systems
di: Yar, Rai Ali, et al.
Pubblicazione: (2026)

Symmetry-Guided Multi-Agent Inverse Reinforcement Learning
di: Tian, Yongkai, et al.
Pubblicazione: (2025)

Data-Driven Falsification of Cyber-Physical Systems
di: Kundu, Atanu, et al.
Pubblicazione: (2025)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
di: Kantaros, Yiannis, et al.
Pubblicazione: (2024)

Deep Reinforcement Learning in Action: Real-Time Control of Vortex-Induced Vibrations
di: Sababha, Hussam, et al.
Pubblicazione: (2025)

UniCog: Uncovering Cognitive Abilities of LLMs through Latent Mind Space Analysis
di: Liu, Jiayu, et al.
Pubblicazione: (2026)