3 citations · 6 across the 6 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022★ 1 cited
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…
eess.SY2022
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
We consider the problem of predictive monitoring (PM), i.e., predicting at runtime the satisfaction of a desired property from the current system's state. Due to its relevance for…