Visible to the public Biblio

Filters: Keyword is Software  [Clear All Filters]
2015
P. Nilsson, O. Hussien, A. Balkan, Y. Chen, A. D. Ames, J. W. Grizzle, N. Ozay, H. Peng, P. Tabuada.  2015.  Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology. PP:1-14.
M. Rungger, P. Tabuada.  2015.  A Notion of Robustness for Cyber-Physical Systems. IEEE Transactions on Automatic Control. PP:1-1.
2016
B. Zheng, H. Liang, Q. Zhu, H. Yu, C. W. Lin.  2016.  Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. 2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). :53-58.
B. Zheng, C. W. Lin, H. Yu, H. Liang, Q. Zhu.  2016.  CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles. 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). :1-8.