2 citations · 2 across the 1 of their papers we have counts for
4 papers
Parameter Optimization in Control Software using Statistical Fault Localization Techniques
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar +1
Embedded controllers for cyber-physical systems are often parameterized by look-up maps representing discretizations of continuous functions on metric spaces. For example, a non-li…
Logic-based Clustering and Learning for Time-Series Data
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin +1
To effectively analyze and design cyberphysical systems (CPS), designers today have to combat the data deluge problem, i.e., the burden of processing intractably large amounts of d…
Robust Online Monitoring of Signal Temporal Logic
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh +3
Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interactio…
Parallel symbolic state-space exploration is difficult, but what is the alternative?
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model descr…