会员服务
Continual Backdoor Training in IoT/CPS
Arxiv
0+阅读 · 6月12日
Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
Arxiv
0+阅读 · 5月14日
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Arxiv
0+阅读 · 6月2日
When Agents Control Robots: A Zero Trust Policy Model for Agentic Cyber-Physical Systems
Arxiv
0+阅读 · 5月25日
SDNator is Not Another SDN Controller: Enabling Extensible Data-Driven Control in Cyber-Physical Systems
Arxiv
0+阅读 · 5月22日
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
Arxiv
0+阅读 · 3月26日
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
Arxiv
0+阅读 · 3月24日
Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
Arxiv
0+阅读 · 3月30日
Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems
Arxiv
0+阅读 · 4月13日
Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
Arxiv
0+阅读 · 4月20日
ACT: Automated CPS Testing for Open-Source Robotic Platforms
Arxiv
0+阅读 · 4月13日
Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins
Arxiv
0+阅读 · 2月24日
Type-safe Monitoring of Parameterized Streams
Arxiv
0+阅读 · 3月11日
EntroGD: Scalable Generalized Deduplication for Efficient Direct Analytics on Compressed IoT Data
Arxiv
0+阅读 · 2月10日
Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
Arxiv
0+阅读 · 2月6日
参考链接
微信扫码咨询专知VIP会员
Top