Video
CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Sponsor(s)
National Science Foundation
Contributor(s)
Majid Zamani
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Kristin Rozier
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
James Anderson
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Batteryless Sensors Enabling Smart Green Infrastructure
Sponsor(s)
National Science Foundation
Contributor(s)
Josiah Hester
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Yasser Shoukry
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Detecting and Controlling Unwanted Data Flows in the Internet of Things
Sponsor(s)
National Science Foundation
Contributor(s)
Nicholas Feamster
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CAREER: Formal Methods for Human-Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Lu Feng
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Parasara Duggirala
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: Collaborative Research: A Secure Communication Framework with Verifiable Authenticity for Immutable Services in Industrial IoT Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Chen Qian
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: Real-time spatial audio on the Internet of Things
Sponsor(s)
National Science Foundation
Contributor(s)
Robert LiKamWa
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Subscribe to CPS PI Meeting 2021