Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Ramavarapu S. Sreenivas"'
Publikováno v:
Discrete Event Dynamic Systems. 31:373-405
A set of non-negative integral vectors is said to be right-closed if the presence of a vector in the set implies all term-wise larger vectors also belong to the set. A set of markings is control invariant with respect to a Petri Net (PN) structure if
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c14dacdec54ad5938895dd631dd4886a
https://doi.org/10.1007/s10626-021-00340-6
https://doi.org/10.1007/s10626-021-00340-6
Publikováno v:
IEEE Transactions on Automatic Control. 65:5236-5247
Neither the existence nor the nonexistence of a liveness enforcing supervisory policy (LESP) for an arbitrary Petri net (PN) is semidecidable. In an attempt to identify decidable instances, we explore the decidability of certain properties of the set
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04459ae6ef29e618d39fbff83f8a635b
https://doi.org/10.1109/tac.2020.2970060
https://doi.org/10.1109/tac.2020.2970060
Autor:
Arun Raman, Ramavarapu S. Sreenivas
Publikováno v:
IEEE Control Systems Letters. 4:674-679
A supervisory policy controls a Discrete-Event System (DES) by appropriately disabling a subset of events, known as controllable events , based on the observed event string generated by the supervised DES thus far. We consider supervisory control of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c88b6466ca28fbdd3a47e3f143c9c43d
https://doi.org/10.1109/lcsys.2020.2991192
https://doi.org/10.1109/lcsys.2020.2991192
Autor:
Kenneth Blocker, Ki Lim, Husna Hussaini, Kyreon Williams, Ramavarapu S Sreenivas, Wendy Rogers
Publikováno v:
Innovation in Aging. 6:307-307
Digital home assistants (e.g., Amazon Echo devices) hold great potential for supporting older adults in completing a wide range of daily living activities and improving their overall quality of life. As these devices can wirelessly connect with other
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b947e34e814a6fc50618b72408f33e76
https://doi.org/10.1093/geroni/igac059.1215
https://doi.org/10.1093/geroni/igac059.1215
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030412982
ACPR (2)
ACPR (2)
This paper explores the use of convolutional LSTMs to simultaneously learn spatial- and temporal-information in videos. A deep network of convolutional LSTMs allows the model to access the entire range of temporal information at all spatial scales. W
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6481054f7cbcf912b88b77f8b54f7aa5
https://doi.org/10.1007/978-3-030-41299-9_24
https://doi.org/10.1007/978-3-030-41299-9_24
Publikováno v:
IEEE Transactions on Automatic Control. 62:961-966
A timed discrete event system, which repeats identical work cycles, has task delays due to synchronization between work cycles. Real such systems tend to operate mostly in a K-cyclic timing regime, where a sequence of identical timing patterns is rep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e93aee1f19c074ff7ac27e9b96c0b91
https://doi.org/10.1109/tac.2016.2570122
https://doi.org/10.1109/tac.2016.2570122
Autor:
Ehsan Salimi, Ramavarapu S. Sreenivas
Publikováno v:
British Journal of Mathematics & Computer Science. 20:1-11
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::36cf99df23a1c7570b2191ca3a02e8d3
https://doi.org/10.9734/bjmcs/2017/30348
https://doi.org/10.9734/bjmcs/2017/30348
Autor:
Lyndsie M. Koon, Kenneth A. Blocker, Wendy A. Rogers, Travis Kadylak, Widya A. Ramadhani, Chris Kovac, Ramavarapu S. Sreenivas, Roshanak Khaleghi
Publikováno v:
Innovation in Aging
The aim of the current study was to understand how to integrate digital home assistant technologies and smart appliances into older adults’ homes by developing supportive user guides that facilitate adoption and continued use. We conducted a series
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b198326425a5de7635d78773a4139bf2
https://doi.org/10.1093/geroni/igaa057.2220
https://doi.org/10.1093/geroni/igaa057.2220
Autor:
Ramavarapu S. Sreenivas, Arun Raman
Publikováno v:
SMC
It is often of interest to synthesize a supervisory policy for enforcing complex properties on the behaviour of a Discrete-Event System (DES). One way of doing this is by decomposing complex properties into simpler objectives and then synthesizing su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1661182324fb3ce741b15e7fba6bcc24
https://doi.org/10.1109/smc.2019.8914207
https://doi.org/10.1109/smc.2019.8914207
Autor:
Arun Raman, Ramavarapu S. Sreenivas
Publikováno v:
2019 Fifth Indian Control Conference (ICC).
We present a tutorial-introduction to the synthesis of Liveness Enforcing Supervisory Policies (LESPs) for Discrete-Event Dynamic Systems (DEDS) modeled by Petri-Nets (PNs). The tutorial is aimed at researchers unfamiliar with the area, and the objec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8824c2fe7d6050115016c995ccaf5c70
https://doi.org/10.1109/indiancc.2019.8715597
https://doi.org/10.1109/indiancc.2019.8715597