Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Presentation

file

Robust Verification of Cyber-Physical Systems

Submitted by Pavithra Prabhakar on Fri, 06/18/2021 - 10:37am. Contributors:

file

Rethinking Communication and Control for Low-Latency, High Reliability loT Devices

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

file

Quantitative Contract-Based Synthesis and Verification for CPS Security

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

file

Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems

Submitted by kyrozier on Fri, 06/18/2021 - 10:37am. Contributors:

file

Real-time spatial audio on the Internet of Things

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

Robert LiKamWa

file

Provably Correct Shared Control for Human-Embedded Autonomous Systems

Submitted by ufuktopcu on Fri, 06/18/2021 - 10:37am. Contributor:

Ufuk Topcu

file

Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems

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

file

Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems

Submitted by psduggirala on Fri, 06/18/2021 - 10:37am. Contributor:

Parasara Duggirala

file

Formal Methods for Human-Cyber-Physical Systems

Submitted by Lu Feng on Fri, 06/18/2021 - 10:37am. Contributor:

Lu Feng

file

Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints

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

Terms of Use | ©2023. CPS-VO