Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Prabhu, Vinayak A."'
Autor:
Tercan, Alperen, Prabhu, Vinayak S.
Lexicographic multi-objective problems, which impose a lexicographic importance order over the objectives, arise in many real-life scenarios. Existing Reinforcement Learning work directly addressing lexicographic tasks has been scarce. The few propos
Externí odkaz:
http://arxiv.org/abs/2408.13493
Autor:
Ghorbel, Bassem, Prabhu, Vinayak S.
Researchers have previously proposed augmenting Signal Temporal Logic (STL) with the value freezing operator in order to express engineering properties that cannot be expressed in STL. This augmented logic is known as STL*. The previous algorithms fo
Externí odkaz:
http://arxiv.org/abs/2408.02460
Publikováno v:
EPTCS 286, 2019, pp. 31-33
We present a comprehensive language theoretic causality analysis framework for explaining safety property violations in the setting of concurrent reactive systems. Our framework allows us to uniformly express a number of causality notions studied in
Externí odkaz:
http://arxiv.org/abs/1901.00589
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-linear control action may be represented as a table of pre-computed valu
Externí odkaz:
http://arxiv.org/abs/1710.02073
We present Shrinking Horizon Model Predictive Control (SHMPC) for discrete-time linear systems with Signal Temporal Logic (STL) specification constraints under stochastic disturbances. The control objective is to maximize an optimization function und
Externí odkaz:
http://arxiv.org/abs/1705.02152
Autor:
Dimitrova, Rayna, Gavran, Ivan, Majumdar, Rupak, Prabhu, Vinayak S., Soudjani, Sadegh Esmaeil Zadeh
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 *robot routing problem* is modeled as a graph whose nodes are stochastic pr
Externí odkaz:
http://arxiv.org/abs/1704.05303
Autor:
Majumdar, Rupak, Prabhu, Vinayak S.
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 is possible to symbolically approximate trace sets using \emph{reachpi
Externí odkaz:
http://arxiv.org/abs/1602.03266
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-formal approach to conformance testing, the two systems are simulated
Externí odkaz:
http://arxiv.org/abs/1505.05832
Ergonomic evaluation on the manufacturing shop floor: A review of hardware and software technologies
Publikováno v:
In CIRP Journal of Manufacturing Science and Technology August 2020 30:68-78
Autor:
Majumdar, Rupak, Prabhu, Vinayak S.
The \emph{Skorokhod distance} is a natural metric on traces of continuous and hybrid systems. For two traces, from $[0,T]$ to values in a metric space $O$, it measures the best match between the traces when allowed continuous bijective timing distort
Externí odkaz:
http://arxiv.org/abs/1410.6075