Skip to main content
PRL Project

From Replicated Databases to Ensembles of Collaborating Robots

by Abhishek Anand, Mark Bickford

We are extending our logic of events framework to support development of correct-by-construction controller-software for cyber-physical systems. We view such systems as distributed systems where agents have sensing and/or actuation capabilities. Abhishek and Mark will give an overview of our approach and outline some challenges. In particular they will explain how using constructive real analysis results in programs that use only feasible computations over reals and respect physical limitations such as finite accuracy of measurement devices and time synchronization.