Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Presentation
file
High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts
Submitted by nuzzo on Fri, 06/18/2021 - 9:37am. Contributor:
Pierluigi Nuzzo
Short Talk
Verification and IoT
1846524
CPS PI Meeting 2021
NSF
Presentation
file
Detecting and Controlling Unwanted Data Flows in the Internet of Things
Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:
Nicholas Feamster
Samory Kpotufe
Arvind Narayanan
Short Talk
Verification and IoT
1953740
CPS PI Meeting 2021
NSF
Presentation
file
Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by yshoukry on Fri, 06/18/2021 - 9:37am. Contributor:
Yasser Shoukry
Short Talk
Verification and IoT
2002405
CPS PI Meeting 2021
NSF
Presentation
file
Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Submitted by Jim Anderson on Fri, 06/18/2021 - 9:37am. Contributors:
James Anderson
Don Smith
Ron Alterovitz
Prakash Sarathy
Short Talk
Verification and IoT
2038855
CPS PI Meeting 2021
NSF
Presentation
file
Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:
Majid Zamani
Eric Frew
Morteza Lahijanian
Short Talk
Verification and IoT
2039062
CPS PI Meeting 2021
NSF
Presentation
file
Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
Submitted by Ryan Williams on Fri, 06/18/2021 - 9:37am. Contributors:
Ryan Williams
Haibo Zeng
Changhee Jung
Jia-Bin Huang
Short Talk
Verification and IoT
1932074
CPS PI Meeting 2021
NSF
Presentation
file
Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things
Submitted by Emre Salman on Fri, 06/18/2021 - 9:37am. Contributors:
Emre Salman
Milutin Stanacevic
Short Talk
Verification and IoT
1646318
CPS PI Meeting 2021
NSF
Presentation
file
Certifiable reinforcement learning for cyber-physical systems
Submitted by scoogan3 on Fri, 06/18/2021 - 9:37am. Contributors:
Sam Coogan
Sam Burden
Lillian Ratliff
Short Talk
Verification and IoT
1836819
CPS PI Meeting 2021
NSF
Presentation
file
Batteryless Sensors Enabling Smart Green Infrastructure
Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:
Josiah Hester
George Wells
Qi Zhu
William Miller
Aaron Packman
Short Talk
Verification and IoT
2038853
CPS PI Meeting 2021
NSF
Presentation
file
A Unified Framework for IoT Privacy
Submitted by Hossein Pishro-Nik on Fri, 06/18/2021 - 9:37am. Contributors:
Dennis L. Goeckel
Hossein Pishro-Nik
Amir Houmansadr
Short Talk
Verification and IoT
1739462
CPS PI Meeting 2021
NSF
Presentation
« first
‹ previous
…
34
35
36
37
38
39
40
41
42
…
next ›
last »
