Synthesis of Provably Correct, Integrated Protocols for Autonomy and Networking
License:
Creative Commons 2.5 
PDF document- 129.98 KB
- 25 downloads
- Download
- PDF version
- Printer-friendly version
- CPS Domains
- Automotive
- Networked Control
- Avionics
- Communication
- Control
- Wireless Sensing and Actuation
- Transportation
- CPS Technologies
- Foundations
- autonomy
- networking
- Protocols
- synthesis
- CFP Submissions
- CFP Paper Submissions
- 2014 National Workshop on Transportation CPS
- 2014
- Academia
- Position Paper
- Publications