Model-Based Design and Verification of Automotive CPS

pdf

Xenofon Koutsoukos is an Associate Professor in the Department of Electrical Engineering and Computer Science at Vanderbilt University. He is also a Senior Research Scientist in the Institute for Software Integrated Systems (ISIS). ). Before joining Vanderbilt, Dr. Koutsoukos was a Member of Research Staff in the Xerox Palo Alto Research Center (PARC) (2000-2002), working in the Embedded Collaborative Computing Area. He received his PhD in Electrical Engineering from the University of Notre Dame in 2000.

  • model based design
  • CPS Domains
  • Transportation
  • Automotive
  • Avionics
  • CPS Technologies
  • Design Automation Tools
  • Foundations
  • Modeling
  • Hybrid Models
  • Validation and Verification
  • 2014
  • 2014 National Workshop on Transportation CPS
  • Presentation
  • Academia
  • Invited Talks
  • Invited Talks
Submitted by Xenofon Koutsoukos on