Execution-Time Validation of Context-Carrying Action Intents in Industrial Cyber-Physical Systems

cs.PL, cs.CR, cs.DC, cs.SY, eess.SY

Submitted: 2026-10-20

Updated: 2026-10-20

Comments: 46 pages, 6 figures, 11 tables

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Related papers

• Language-Based Agent Control
• ANEForge: Python for direct computation on the Apple Neural Engine
• Volition Elicitation: Operational Semantics for People and Their Machines
• Griotte: Verified Compartmentalisation via Capabilities
• GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
• Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs