137 citations · 525 across the 67 of their papers we have counts for
3 papers · 1 filter
Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic +1
We show that metric temporal logic can be viewed as linear time-invariant filtering, by interpreting addition, multiplication, and their neutral elements, over the (max,min,0,1) id…
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kenan Kalajdzic, Cyrille Jegourel, Ezio Bartocci +3
We introduce feedback-control statistical system checking (FC-SSC), a new approach to statistical model checking that exploits principles of feedback-control for the analysis of cy…
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci +1
We introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cy-ber-physical systems (CPS). DNP replace if and while statements, whose…