67 citations · 173 across the 30 of their papers we have counts for
3 papers · 1 filter
An STL-based Approach to Resilient Control for Cyber-Physical Systems
Hongkai Chen, Scott A. Smolka, Nicola Paoletti +1
We present ResilienC, a framework for resilient control of Cyber-Physical Systems subject to STL-based requirements. ResilienC utilizes a recently developed formalism for specifyin…
An STL-based Formulation of Resilience in Cyber-Physical Systems
Hongkai Chen, Shan Lin, Scott A. Smolka +1
Resiliency is the ability to quickly recover from a violation and avoid future violations for as long as possible. Such a property is of fundamental importance for Cyber-Physical S…
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller +2
We introduce the novel concept of Spatial Predictive Control (SPC) to solve the following problem: given a collection of agents (e.g., drones) with positional low-level controllers…