15 citations · 28 across the 12 of their papers we have counts for
7 papers · 1 filter
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…
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances
Samira S. Farahani, Rupak Majumdar, Vinayak Prabhu +1
We present Shrinking Horizon Model Predictive Control (SHMPC) for discrete-time linear systems with Signal Temporal Logic (STL) specification constraints under stochastic disturban…
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar +2
We propose a new model for formalizing reward collection problems on graphs with dynamically generated rewards which may appear and disappear based on a stochastic model. The *robo…
Computing Distances between Reach Flowpipes
Rupak Majumdar, Vinayak S. Prabhu
We investigate quantifying the difference between two hybrid dynamical systems under noise and initial-state uncertainty. While the set of traces for these systems is infinite, it…
Quantifying Conformance using the Skorokhod Metric (full version)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are "close" to each other. In the semi-…
Computing the Skorokhod Distance between Polygonal Traces (Full Paper)
Rupak Majumdar, Vinayak S. Prabhu
The \emph{Skorokhod distance} is a natural metric on traces of continuous and hybrid systems. For two traces, from to values in a metric space , it measures the best mat…
Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version)
Krishnendu Chatterjee, Vinayak S. Prabhu
We introduce quantatitive timed refinement and timed simulation (directed) metrics, incorporating zenoness check s, for timed systems. These metrics assign positive real numbers be…