Resilient Control and Safety for Cyber-Physical Systems

Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu

Abstract: Many Cyber-Physical Systems (CPSs) are comprising a multitude of computing entities that can collectively exhibit an emergent behavior. A compelling example of such systems is the drone swarm, which are beginning to see increasing application in battlefield surveillance and reconnaissance. The emergent behavior they exhibit is that of flight formation. A particularly interesting flight configuration is V-formation, especially for long-range missions. V-formation is emblematic of migratory birds such as Canada geese, where a bird flying in the upwash region of the bird in front of it can enjoy significant energy savings. In addition, the V-formation offers a clear view benefit, as no bird's field of vision is obstructed by another bird in the formation. Hence, it is important to quantify the resiliency of the control algorithms underlying this class of CPSs to various kinds of attacks. This question provides the motivation for the investigation put forth in this abstract and detailed in [4].