Formal Synthesis of Discrete Control Logic for Safe Transportation Systems
License:
Creative Commons 2.5 
PDF document- 56.01 KB
- 77 downloads
- Download
- PDF version
- Printer-friendly version
- CPS Domains
- Transportation Systems Sector
- Automotive
- Architectures
- Control
- Modeling
- Critical Infrastructure
- Transportation
- Validation and Verification
- CPS Technologies
- Foundations
- logic
- safety systems
- synthesis
- CFP Submissions
- CFP Paper Submissions
- 2014 National Workshop on Transportation CPS
- 2014
- Academia
- Position Paper
- Publications