Explorations in Cyber-Physical Systems Education

被引：0
作者：
Seshia, Sanjit A. [1 ]
机构：
[1] Univ Calif Berkeley, Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
COMMUNICATIONS OF THE ACM | 2022年 / 65卷 / 05期
关键词：
CHALLENGES;
D O I：
10.1145/3490442
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：60 / 69
页数：10
相关论文
共 37 条
[31]  
Seshia S.A., CPSGRADER
[32]   Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities [J].
Seshia, Sanjit A. ;
Hu, Shiyan ;
Li, Wenchao ;
Zhu, Qi .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2017, 36 (09) :1421-1434
[33]  
Vardi M.Y., A LOV S 2015 CEL 200, P2
[34]   The Moral Imperative of Artificial Intelligence [J].
Vardi, Moshe Y. .
COMMUNICATIONS OF THE ACM, 2016, 59 (05) :5-5
[35]   Logical Clustering and Learning for Time-Series Data [J].
Vazquez-Chanlatte, Marcell ;
Deshmukh, Jyotirmoy V. ;
Jin, Xiaoqing ;
Seshia, Sanjit A. .
COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 :305-325
[36]   The Robotarium: Globally Impactful Opportunities, Challenges, and Lessons Learned in Remote-Access, Distributed Control of Multirobot Systems [J].
Wilson, Sean ;
Glotfelter, Paul ;
Wang, Li ;
Mayya, Siddharth ;
Notomista, Gennaro ;
Mote, Mark ;
Egerstedt, Magnus .
IEEE CONTROL SYSTEMS MAGAZINE, 2020, 40 (01) :26-44
[37]   A SPECIFIERS INTRODUCTION TO FORMAL METHODS [J].
WING, JM .
COMPUTER, 1990, 23 (09) :8-&
1234