@INPROCEEDINGS{ChenMitra:ICCPS14,
  author={Chen, Hongxu and Mitra, Sayan},
  booktitle={2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)}, 
  title={Synthesis and verification of motor-transmission shift controller for electric vehicles}, 
  year={2014},
  volume={},
  number={},
  pages={25-35},
  keywords={Gears;Mathematical model;Torque;Shafts;Predictive models;Equations;Computational modeling;Safety Verification;Hybrid System;Model Predictive Control;Motor-Transmission Drive System;Gear Shift;Impact;Meshing Duration;Automotive Control System},
  doi={10.1109/ICCPS.2014.6843708}}