Formal Synthesis of Discrete Control Logic for Safe Transportation Systems

  • logic
  • safety systems
  • synthesis
  • CPS Domains
  • Critical Infrastructure
  • Transportation Systems Sector
  • Transportation
  • Automotive
  • CPS Technologies
  • Architectures
  • Foundations
  • Control
  • Modeling
  • Validation and Verification
  • 2014
  • 2014 National Workshop on Transportation CPS
  • Publications
  • Position Paper
  • Academia
  • CFP Submissions
  • CFP Paper Submissions
Submitted by Stephane Lafortune on