Real-Time Model Checking for Closed-Loop Robot Reactive Planning
闭环机器人反应式规划的实时模型检查
Christopher Chandler, Bernd Porr, Giulia Lafratta, Alice Miller
机构
*
School of Computing Science University of Glasgow Glasgow Scotland UK(计算科学学院格拉斯哥大学格拉斯哥苏格兰英国)
;
School of Biomedical Engineering University of Glasgow Glasgow Scotland UK(生物医学工程学院格拉斯哥大学格拉斯哥苏格兰英国)
;
University of Glasgow(格拉斯哥大学)
Mosaic: An Extensible Framework for Composing Rule-Based and Learned Motion Planners
Mosaic:一种可扩展的用于规则基和学习型运动规划组合的框架
Nick Le Large, Marlon Steiner, Lingguang Wang, Willi Poh, Jan-Hendrik Pauls, Ömer Şahin Taş, Christoph Stiller
机构
*
Institute of Measurement and Control Systems, Karlsruhe Institute of Technology (KIT)(测量与控制系统的研究所,卡尔斯鲁厄理工学院)
;
FZI Research Center for Information Technology(信息技术研究所以)
Comments16 pages, 8 figures, 5 tables. This paper has been accepted for publication in the IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) copyright 2021 IEEE
机构
*
School of Mechanical Engineering, Southeast University(东南大学机械工程学院)
;
Department of Civil and Environmental Engineering, University of Michigan(密歇根大学土木与环境工程系)
;
Xheart Technology Co., Ltd.(芯驰科技有限公司)
StratMamba: Strategic and Reactive Stream Partitioning for Path-Efficient LiDAR-Based Obstacle Avoidance
StratMamba:用于基于路径高效的激光雷达避障的策略性和反应性流划分
Hung-Chieh Wu, Xiaopan Zhang, Kasra Sinaei, Ryan Abnavi, Kasun Weerakoon, Christopher Bradley, Seyed Fakoorian, Jiachen Li, Donald Ebeigbe
机构
*
The Pennsylvania State University(宾夕法尼亚州立大学)
;
AlphaZ, Inc.(阿尔法兹公司)
;
Georgia Institute of Technology(佐治亚理工学院)
;
Massachusetts Institute of Technology(麻省理工学院)
Toward Trustworthy Autonomous Science: A Two-Year Community Roadmap
迈向可信自主科学:两年社区路线图
Rafael Ferreira da Silva, Milad Abolhasani, Peter Beaucage, Laura Biven, Michael Bussmann, Kyle Chard, Ryan Coffee, Stephen DeWitt, Sagar Dolas, Carrie Eckert, David Elbert, Ian Foster, Tirthankar Ghosal, Anna Giannakou, Tom Gibbs, Leslie Hamilton, Glenn Lockwood, Theresa Mayer, Ben Mintz, Raffi Nazikian, Sal Nimer, Amanda Randles, Woong Shin, Sreenivas Rangan Sukumar, Frédéric Suter, Mitra Taheri, Michela Taufer, Draguna Vrabie
机构
*
U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research(美国能源部科学办公室高级科学计算研究办公室)