Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Raman, Vasumathi"'
Autor:
Vazquez-Chanlatte, Marcell, Ghosh, Shromona, Raman, Vasumathi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs. Given a finite horizon, we define a reactive hierarchy of control prob
Externí odkaz:
http://arxiv.org/abs/1707.03529
Autor:
Raman, Vasumathi, Donzé, Alexandre, Maasoumy, Mehdi, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, includ
Externí odkaz:
http://arxiv.org/abs/1703.09563
We consider task and motion planning in complex dynamic environments for problems expressed in terms of a set of Linear Temporal Logic (LTL) constraints, and a reward function. We propose a methodology based on reinforcement learning that employs dee
Externí odkaz:
http://arxiv.org/abs/1703.07887
Autor:
Ghosh, Shromona, Sadigh, Dorsa, Nuzzo, Pierluigi, Raman, Vasumathi, Donze, Alexandre, Sangiovanni-Vincentelli, Alberto, Sastry, S. Shankar, Seshia, Sanjit A.
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis of controllers in a model predictive control (MPC) framework. We build
Externí odkaz:
http://arxiv.org/abs/1602.01883
Autor:
Raman, Vasumathi, Kress-Gazit, Hadas
With the increasing ubiquity of multi-capable, general-purpose robots arises the need for enabling non-expert users to command these robots to perform complex high-level tasks. To this end, high-level robot control has seen the application of formal
Externí odkaz:
http://arxiv.org/abs/1409.1455
Autor:
Ehlers, Rüdiger, Raman, Vasumathi
Publikováno v:
EPTCS 157, 2014, pp. 117-133
Reactive synthesis deals with the automated construction of implementations of reactive systems from their specifications. To make the approach feasible in practice, systems engineers need effective and efficient means of debugging these specificatio
Externí odkaz:
http://arxiv.org/abs/1407.5399
Autor:
Vazquez-Chanlatte, Marcell J., Ghosh, Shromona, Raman, Vasumathi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Publikováno v:
In IFAC PapersOnLine 2018 51(16):7-12
Publikováno v:
In IFAC PapersOnLine 2015 48(27):323-328
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Automated Reasoning, vol 60, iss 1
We consider the problem of privacy enforcement for dynamic systems using the technique of obfuscation. Our approach captures the trade-off between privacy and utility, in a formal reactive framework. Specifically, we model a dynamic system as an auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::46ae28f999e65964e2d46d8edbf0fce5
https://escholarship.org/uc/item/0p21098v
https://escholarship.org/uc/item/0p21098v