paper-with-me

홈 › Papers

Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems

2026-07-02 · Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi arxiv

Recent advances in agentic AI are producing increasingly complex autonomous systems that integrate large language models, world models, optimization engines, specialized neural architectures, autonomous platforms, and human operators. While much current research focuses on improving reasoning capabilities, safety-critical real-time deployment also requires bounded and verifiable coordination among heterogeneous components operating concurrently under uncertainty. Software-mediated coordination presents fundamental limitations in domains where bounded latency, deterministic coordination, and enforceable safety guarantees are essential. Hence, we propose a hardware-enforced semantic coordination architecture in which selected coordination semantics are implemented directly at the hardware level via field-programmable gate arrays (FPGAs). The approach builds on the Topic-Based Communication Space Petri Net (TB-CSPN) framework, which separates semantic reasoning from interaction management. In this approach, selected TB-CSPN coordination mechanisms are mapped onto FPGA primitives, creating a hardware-native semantic coordination layer. Focus is not on acceleration, but on enforcing temporal synchronization, semantic gating, authorization constraints, and bounded coordination behavior directly in hardware. Semantic reasoning remains adaptive and software-driven, while embedded coordination semantics become deterministic.

📄 PDF Abstract BibTeX arXiv:2607.02376

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Sensor-Driven Mission Synthesis for UAV/UGV Swarms: A TB-CSPN Coordination Architecture with Hardware-Enforced Safety

2026-08-14 · Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi arxiv

This paper presents a coordination architecture for heterogeneous UAV/UGV swarms that synthesises mission actions from uncertain, multi-modal sensor evidence while preserving hardware-enforced safety at the actuation bou…

Jiao: Bridging Isolation and Customization in Mixed Criticality Robotics

2026-05-05 · James Yen, Zhibai Huang, Zhixiang Wei, Tinghao Yi 외 arxiv

Consumer robotics demands consolidation of safety-critical control, perception pipelines, and user applications on shared multicore platforms. While static partitioning hypervisors provide hardware-enforced isolation, di…

Coordinated Frequency Regulation in Grid-Forming Storage Network via Safety-Consensus

2024-10-18 · Ramij Raja Hossain, Kaustav Chatterjee, Sai Pushpak Nandanoori, Soumya Kundu 외

Inverter-based storages are poised to play a prominent role in future power grids with massive renewable generation. Grid-forming inverters (GFMs) are emerging as a dominant technology with synchronous generators (SG)-li…

Governance-Constrained Agentic AI: Blockchain-Enforced Human Oversight for Safety-Critical Wildfire Monitoring

2026-04-05 · Ali Akarma, Toqeer Ali Syed, Salman Jan, Hammad Muneer 외 arxiv

The AI-based sensing and autonomous monitoring have become the main components of wildfire early detection, but current systems do not provide adaptive inter-agent coordination, structurally defined human control, and cr…

A Safety-Driven Architectural Framework for Fail-Operational Drone Swarms in Critical Missions

2026-08-21 · Luiz Giacomossi, Zafer Yigit, Marwan Shakarna, Shoaib Saleemi 외 arxiv

The certification of Unmanned Aerial Vehicle (UAV) swarms for safety-critical operations requires verifiable design assurance. Airworthiness standards demand deterministic reliability, whereas multi-agent coordination al…