4 citations · 9 across the 6 of their papers we have counts for
3 papers · 1 filter
CarFi: Rider Localization Using Wi-Fi CSI
Sirajum Munir, Hongkai Chen, Shiwei Fang +3
With the rise of hailing services, people are increasingly relying on shared mobility (e.g., Uber, Lyft) drivers to pick up for transportation. However, such drivers and riders hav…
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…