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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO » 2011 HCSS Conference Proceedings » Theme: Cyber-Physical Systems

Visible to the public Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security

  • View
  • Properties
Submitted by pappasg on Sat, 05/14/2011 - 5:58pm. Contributor:
  • George Pappas

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security
Switch to normal viewerSwitch to experimental viewer
‹ Time for High-Confidence Software Systems up Applying Formal Methods to Prove Correctness of Surgical Robot Software ›
  • PDF document
  • 9.73 MB
  • 250 downloads
  • Download
  • Printer-friendly version
  • University of Pennsylvania
  • National HCSS Conference 2011
  • Academia
  • Presentation
  • HCSS '11
  • Cyber-Physical Systems (HCSS'11)

Terms of Use  |  ©2023. CPS-VO