CPS: TTP Option: Synergy: Safe and Secure Open-Access Multi-Robot Systems

The Robotarium is a remotely accessible multi-robot platform. And, safety is of central importance to the successful realization of any remote-access test-bed and failure to enforce safety could result in injury in local operators and damaged equipment. To guarantee safe operation, while allowing users to test algorithms remotely, new science is required in the domain of safety-critical control. To address this need, the work in this project addresses (1) development and use of novel types of barrier certificates in the context of minimally invasive, optimization-based controllers with provable safety properties, (2) formal methods for verification of safety- critical control code for networked cyber-physical systems, and (3) novel methods for protecting against machine-to-machine cyber attacks.