Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Short Talk

file

A Convex Framework for Control of Interconnected Systems over Delayed Networks

Submitted by Matthew Peet on Fri, 06/18/2021 - 10:01am. Contributor:

Matthew Peet

file

A Compositional Approach to Modular Cyber-Physical Control System Design

Submitted by necozay on Fri, 06/18/2021 - 10:01am. Contributor:

Necmiye Ozay

file

Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems

Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:

file

Support for Security and Safety of Programmable IoT Systems

Submitted by Atul Prakash on Fri, 06/18/2021 - 9:37am. Contributors:

file

Syntax-Guided Synthesis for Cyber-Physical Systems

Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributor:

Hadas Kress Gazit

file

Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing.pdf

Submitted by wangdong on Fri, 06/18/2021 - 9:37am. Contributor:

Dong Wang

file

Sound Invariant Generation for Continuous and Hybrid Systems

Submitted by Andre Platzer on Fri, 06/18/2021 - 9:37am. Contributors:

file

Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems

Submitted by Harpreet Dhillon on Fri, 06/18/2021 - 9:37am. Contributors:

file

Spatio-Temporal Logics for Analyzing and Querying Perception Systems

Submitted by fainekos on Fri, 06/18/2021 - 9:37am. Contributors:

file

Self-Improving Cyber-Physical Systems

Submitted by susmitj on Fri, 06/18/2021 - 9:37am. Contributor:

Susmit Jha

Terms of Use | ©2023. CPS-VO