Index Catalog // 蹄兔

清除筛选

筛选: 关键词 Cyber-physical Systems

ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic

关键词:

Differential dynamic logic, Hybrid systems, Cyber-physical Systems, Safety-critical Systems, Surgical-robots, and Theorem provers

创造者:

McClain, Natalie

Advisor:

Fichera, Loris and Bohrer, Rose

出版者:

Worcester Polytechnic Institute

创建日期:

2023-04-24

Resource Type:

Major Qualifying Project