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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
1552668
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
CPS-PI Meeting 2018
2018
Poster
Posters (Sessions 8 & 11)
1552668
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
biblio
Abstracting and refining robustness for cyber-physical systems
Submitted by
el_wehby
on Sun, 05/27/2018 - 6:54pm
1552668
biblio
Control barrier function based quadratic programs with application to adaptive cruise control
Submitted by
el_wehby
on Sun, 05/27/2018 - 6:54pm
1552668
biblio
First steps toward formal controller synthesis for bipedal robots
Submitted by
el_wehby
on Sun, 05/27/2018 - 6:54pm
1552668
1
2
3
4
5
6
next ›
last »
