37 citations · 108 across the 19 of their papers we have counts for
3 papers · 1 filter
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap
Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam +14
Cyberphysical systems (CPS) are ubiquitous in our personal and professional lives, and they promise to dramatically improve micro-communities (e.g., urban farms, hospitals), macro-…
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Radoslav Ivanov, Taylor J. Carpenter, James Weimer +3
This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been proposed over t…
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency
Luan Viet Nguyen, Gautam Mohan, James Weimer +3
Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a de…