Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Code of Conduct
Program Agenda
Lightning Talks
Poster Sessions
Mini-Workshops
Submit Poster
Submit Slides
Files
CPS-VO
»
NSF CPS PI Meetings
»
2021 NSF Cyber-Physical Systems Principal Investigators' Meeting
» VERIFICATION AND IOT
Verification and IoT
file
CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Submitted by Anonymous on Wed, 06/09/2021 - 1:36pm. Contributors:
Majid Zamani
Eric Frew
Morteza Lahijanian
Poster
Verification and IoT
2039062
CPS PI Meeting 2021
NSF
Poster
file
CPS: Medium: Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
Submitted by Ryan Williams on Wed, 06/09/2021 - 1:36pm. Contributors:
Ryan Williams
Haibo Zeng
Changhee Jung
Jia-Bin Huang
Poster
Verification and IoT
1932074
CPS PI Meeting 2021
Poster
file
CAREER: Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing
Submitted by wangdong on Wed, 06/09/2021 - 1:36pm. Contributor:
Dong Wang
Poster
Verification and IoT
1845639
CPS PI Meeting 2021
NSF
Poster
file
CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems
Submitted by ufuktopcu on Wed, 06/09/2021 - 1:36pm. Contributor:
Ufuk Topcu
Poster
Verification and IoT
1652113
CPS PI Meeting 2021
NSF
Poster
file
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by yshoukry on Wed, 06/09/2021 - 1:36pm. Contributor:
Yasser Shoukry
Poster
Verification and IoT
2002405
CPS PI Meeting 2021
NSF
Poster
file
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security
Submitted by Anonymous on Wed, 06/09/2021 - 1:36pm. Contributors:
Alberto Sangiovanni-Vincentelli
Sanjit Seshia
Poster
Verification and IoT
1739816
CPS PI Meeting 2021
NSF
Poster
file
CPS: Breakthrough: Secure Interactions with Internet of Things
Submitted by kgshin@eecs.umich... on Wed, 06/09/2021 - 1:36pm. Contributor:
Kang Shin
Poster
Verification and IoT
1646130
CPS PI Meeting 2021
U.S. Government
Poster
file
CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems
Submitted by kyrozier on Wed, 06/09/2021 - 1:36pm. Contributors:
Kristin Rozier
Phillip H. Jones
Tichakorn Wongpiromsarn
Poster
Verification and IoT
2038903
CPS PI Meeting 2021
NSF
Poster
file
CPS: Breakthrough: Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things
Submitted by Emre Salman on Wed, 06/09/2021 - 1:36pm. Contributors:
Emre Salman
Milutin Stanacevic
Poster
Verification and IoT
1646318
CPS PI Meeting 2021
NSF
Poster
file
CAREER: Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on Wed, 06/09/2021 - 1:36pm. Contributors:
Pavithra Prabhakar
Peggy Edwards
Garry Edwards
Poster
Verification and IoT
1552668
CPS PI Meeting 2021
NSF
Poster
1
2
3
4
next ›
last »
