4 papers
MuCol Milestone Report No. 7: Consolidated Parameters
Rebecca Taylor, Antoine Chancé, Dario Augusto Giove +459
This document is comprised of a collection of consolidated parameters for the key parts of the muon collider. These consolidated parameters follow on from the October 2024 Prelimin…
Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
Tao Han, Shaoyuan Li, Xiang Yin
This paper investigates the online monitoring problem for cyber-physical systems under signal temporal logic (STL) specifications. The objective is to design an online monitor that…
Optimizing Case-Based Reasoning System for Functional Test Script Generation with Large Language Models
Siyuan Guo, Huiwu Liu, Xiaolong Chen +6
In this work, we explore the potential of large language models (LLMs) for generating functional test scripts, which necessitates understanding the dynamically evolving code struct…
Efficient Circuit Cutting and Scheduling in a Multi-Node Quantum System with Dynamic EPR Pairs
Zefan Du, Wenrui Zhang, Wenqi Wei +4
Despite advancements, current quantum hardware faces significant challenges, including limited qubit counts and high susceptibility to noise, which hinder the execution of large, c…