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.