25 citations · 67 across the 48 of their papers we have counts for
3 papers · 1 filter
Joint Probability Distribution of Prediction Errors of ARIMA
Xin Qin, Jyotirmoy V. Deshmukh
Producing probabilistic guarantee for several steps of a predicted signal follow a temporal logic defined behavior has its rising importance in monitoring. In this paper, we derive…
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito +1
We present a simulation-based approach for generating barrier certificate functions for safety verification of cyber-physical systems (CPS) that contain neural network-based contro…
Time Series Learning using Monotonic Logical Properties
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh +2
Cyber-physical systems of today are generating large volumes of time-series data. As manual inspection of such data is not tractable, the need for learning methods to help discover…