:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Xia, Yuan, Deshmukh, Jyotirmoy V., Raghothaman, Mukund, Ravi, Srivatsan
Format:	Preprint
Published:	2023
Subjects:	Programming Languages Systems and Control
Online Access:	https://arxiv.org/abs/2312.17527
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Superflows: A New Tool for Forensic Network Flow Analysis
by: Collins, Michael, et al.
Published: (2024)

Generative Explanations for Program Synthesizers
by: Nazari, Amirmohammad, et al.
Published: (2024)

Provenance Guided Rollback Suggestions
by: Zhao, David, et al.
Published: (2025)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
by: Rahaman, Kaizer, et al.
Published: (2026)

Membership Testing for Semantic Regular Expressions
by: Huang, Yifei, et al.
Published: (2024)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
by: She, Junpeng, et al.
Published: (2026)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
by: Hashemi, Navid, et al.
Published: (2024)

Sistemas de control basados en el estandar grafcet para la alteracion de bombas centrifugas
by: Guevara, Andres, et al.
Published: (2024)

TickTalk -- Timing API for Dynamically Federated Cyber-Physical Systems
by: Iannucci, Bob, et al.
Published: (2019)

Formal Simulation and Visualisation of Hybrid Programs
by: Mendes, Pedro, et al.
Published: (2024)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
by: Lin, Shaokai, et al.
Published: (2024)

Conformal Predictive Programming for Chance Constrained Optimization
by: Zhao, Yiqi, et al.
Published: (2024)

Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA
by: Gamage, Thoshitha, et al.
Published: (2026)

On Online Control of Opinion Dynamics
by: Paul, Sheryl, et al.
Published: (2026)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Derivative-Free Data-Driven Control of Continuous-Time Linear Time-Invariant Systems
by: Bosso, Alessandro, et al.
Published: (2024)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
by: Gatherer, Alan, et al.
Published: (2024)

Dual-Use Commercial and Military Communications on a Single Platform using RAN Domain Specific Language
by: Gatherer, Alan, et al.
Published: (2024)

$\partial$CBDs: Differentiable Causal Block Diagrams
by: Beckers, Thomas, et al.
Published: (2026)

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
by: Wan, Hanlong, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
by: Cai, Junyang, et al.
Published: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
by: Xu, Kangwei, et al.
Published: (2025)

Robust Data-Driven Invariant Sets for Nonlinear Systems
by: Kiani, Sahand, et al.
Published: (2025)

Data-Driven Synthesis of Robust Positively Invariant Sets from Noisy Data
by: Wang, Chi, et al.
Published: (2026)

Data-Driven Abstractions for Control Systems via Random Exploration
by: Coppola, Rudi, et al.
Published: (2024)

Full LTL Synthesis over Infinite-state Arenas
by: Azzopardi, Shaun, et al.
Published: (2023)

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot
by: Yıldırım, İhsan Ozan, et al.
Published: (2024)

Don't Vibe Code, Do Skele-Code: Interactive No-Code Notebooks for Subject Matter Experts to Build Lower-Cost Agentic Workflows
by: Gopalakrishnan, Sriram
Published: (2026)

Data-Driven Synthesis of Probabilistic Controlled Invariant Sets for Linear MDPs
by: Hashimoto, Kazumune, et al.
Published: (2026)

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
by: Casadei, Roberto
Published: (2022)

Robust Data-Driven Predictive Control for Unknown Linear Time-Invariant Systems
by: Hu, Kaijian, et al.
Published: (2024)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
by: Balakrishnan, Anand, et al.
Published: (2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Retrieval Augmented (Knowledge Graph), and Large Language Model-Driven Design Structure Matrix (DSM) Generation of Cyber-Physical Systems
by: Bank, H. Sinan, et al.
Published: (2026)

Data-Driven Fault Isolation in Linear Time-Invariant Systems: A Subspace Classification Approach
by: Sheikhi, Mohammad Amin, et al.
Published: (2025)

A Model-Free Data-Driven Algorithm for Continuous-Time Control
by: Bowerfind, Sean R., et al.
Published: (2025)

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
by: Harapanahalli, Akash, et al.
Published: (2024)