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
1552668
video
CAREER: Robust Verification of Cyber-Physical Systems
Submitted by Anonymous on Fri, 09/03/2021 - 12:48pm
Short Talk
1552668
CPS PI Meeting 2021
NSF
file
Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on Fri, 06/18/2021 - 10:37am. Contributors:
Pavithra Prabhakar
Peggy Edwards
Garry Edwards
Short Talk
Verification and IoT
1552668
CPS PI Meeting 2021
NSF
Presentation
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
file
Robust Verification of Cyber Physical Systems
Submitted by Pavithra Prabhakar on Tue, 01/22/2019 - 7:46pm. Contributor:
Pavithra Prabhakar
formal verification
Uncertain CPS
Posters (Sessions 8 & 11)
1552668
CPS-PI Meeting 2018
2018
Poster
biblio
Human-inspired walking via unified pd and impedance control
Submitted by el_wehby on Sun, 05/27/2018 - 6:55pm
1552668
biblio
Human-inspired multi-contact locomotion with AMBER2
Submitted by el_wehby on Sun, 05/27/2018 - 6:55pm
1552668
biblio
Highly robust running of articulated bipeds in unobserved terrain
Submitted by el_wehby on Sun, 05/27/2018 - 6:55pm
1552668
biblio
Incremental synthesis of switching protocols via abstraction refinement
Submitted by el_wehby on Sun, 05/27/2018 - 6:55pm
1552668
biblio
Dynamic multi-domain bipedal walking with atrias through slip based human-inspired control
Submitted by el_wehby on Sun, 05/27/2018 - 6:54pm
1552668
biblio
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control
Submitted by el_wehby on Sun, 05/27/2018 - 6:54pm
1552668
1
2
3
4
5
6
next ›
last »