129 citations · 211 across the 78 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
Pushpak Jagtap, Fardin Abdi, Matthias Rungger +2
The paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller…
eess.SY2018
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
This paper presents a methodology for temporal logic verification of discrete-time stochastic systems. Our goal is to find a lower bound on the probability that a complex temporal…