Visible to the public Biblio

Filters: Keyword is Software  [Clear All Filters]
2018-05-27
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.
2018-05-25
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.