Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Parola chiave Cyber-physical Systems

ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic

Parola chiave:

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

Creatore:

McClain, Natalie

Advisor:

Fichera, Loris and Bohrer, Rose

Editore:

Worcester Polytechnic Institute

data di creazione:

2023-04-24

Resource Type:

Major Qualifying Project