File
A Convex Framework for Control of Interconnected Systems over Delayed Networks
Submitted by Matthew Peet on June 18th, 2021
File
A Compositional Approach to Modular Cyber-Physical Control System Design
Submitted by Necmiye Ozay on June 18th, 2021
File
Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems
Submitted by Anonymous on June 18th, 2021
File
Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing.pdf
Submitted by Dong Wang on June 18th, 2021
File
Syntax-Guided Synthesis for Cyber-Physical Systems
Submitted by Anonymous on June 18th, 2021
File
Support for Security and Safety of Programmable IoT Systems
Submitted by Atul Prakash on June 18th, 2021
File
Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Submitted by Harpreet Dhillon on June 18th, 2021
File
Spatio-Temporal Logics for Analyzing and Querying Perception Systems
Georgios Fainekos Submitted by Georgios Fainekos on June 18th, 2021
File
Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer Submitted by Andre Platzer on June 18th, 2021
File
Self-Improving Cyber-Physical Systems
Submitted by Susmit Jha on June 18th, 2021
Subscribe to CPS PI Meeting 2021