Ramavarapu S. Sreenivas

45 papers A* 4B 2C 2Journal 30Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
LDLT L-Lipschitz Network Weight Parameterization Initialization.
CoRR
Marius F. R. Juston, Ramavarapu S. Sreenivas, Dustin Nottage, Ahmet Soylemezoglu
2026 J jnl
Neuro-Symbolic Generation of Explanations for Robot Policies With Weighted Signal Temporal Logic.
IEEE Robotics Autom. Lett.
Mikihisa Yuasa, Ramavarapu S. Sreenivas, Huy T. Tran
2025 J jnl
LDLT ℒ-Lipschitz Network: Generalized Deep End-To-End Lipschitz Network Construction.
CoRR
Marius F. R. Juston, Ramavarapu S. Sreenivas, Dustin Nottage, Ahmet Soylemezoglu
2025 J jnl
Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic.
CoRR
Mikihisa Yuasa, Ramavarapu S. Sreenivas, Huy T. Tran
2025 J jnl
Robust Task Allocations by Distributing the Risk Among Agents: Theory and Algorithms.
IEEE Trans Autom. Sci. Eng.
Raunak Sengupta, Rakesh Nagi, Ramavarapu S. Sreenivas
2025 J jnl
Safety Monitor for Off-Road Planning with Uncertainty Bounded Bekker Costs.
CoRR
Akshay Naik, Ramavarapu S. Sreenivas, William R. Norris, Albert E. Patterson, Ahmet Soylemezoglu, Dustin Nottage
2024 J jnl
On Generating Explanations for Reinforcement Learning Policies: An Empirical Study.
IEEE Control. Syst. Lett.
Mikihisa Yuasa, Huy T. Tran, Ramavarapu S. Sreenivas
2023 J jnl
Equitable Allocation of Operations and Makespan Minimization for Autonomous Agents.
IEEE Trans Autom. Sci. Eng.
Raunak Sengupta, Rakesh Nagi, Ramavarapu S. Sreenivas
2023 J jnl
On Generating Explanations for Reinforcement Learning Policies: An Empirical Study.
CoRR
Mikihisa Yuasa, Huy T. Tran, Ramavarapu S. Sreenivas
2023 — conf
Voxelized Cut-and-Fill Models for Deadlock-Free Site Excavation Under Accessibility Constraints.
CASE
Rami Fouani, Raunak Sengupta, Rakesh Nagi, Ramavarapu S. Sreenivas
2021 J jnl
Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets.
Autom.
Arun Raman, Ramavarapu S. Sreenivas
2021 J jnl
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net.
Discret. Event Dyn. Syst.
Roshanak Khaleghi, Ramavarapu S. Sreenivas
2020 J jnl
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets.
IEEE Trans. Autom. Control.
Chen Chen, Arun Raman, Hesuan Hu, Ramavarapu S. Sreenivas
2019 B conf
Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets.
SMC
Arun Raman, Ramavarapu S. Sreenivas
2017 J jnl
Characterizing Token Delays of Timed Event Graphs for K-Cyclic Schedules.
IEEE Trans. Autom. Control.
Tae-Eog Lee, Hyun-Jung Kim, Dong-Hyun Roh, Ramavarapu S. Sreenivas
2015 C conf
Assessing an affordable and portable laboratory kit in an undergraduate control systems course.
FIE
Rebecca M. Reck, Ramavarapu S. Sreenivas, Michael C. Loui
2015 J jnl
Autonomous Navigation and Localization of a Quadrotor in an Indoor Environment.
J. Aerosp. Inf. Syst.
Young-Min Ahn, Daniel J. Block, Ramavarapu S. Sreenivas
2015 C conf
Developing a new affordable DC motor laboratory kit for an existing undergraduate controls course.
ACC
Rebecca M. Reck, Ramavarapu S. Sreenivas
2015 — conf
On supervisory policies that enforce liveness in controlled Petri nets that are similar.
RAM/CIS
E. Salimi, N. Somnath, Ramavarapu S. Sreenivas
2014 J jnl
On the Varshamov-Tenengolts construction on binary strings.
Discret. Math.
Ankur A. Kulkarni, Negar Kiyavash, Ramavarapu S. Sreenivas
2013 J jnl
Application of the Novint Falcon haptic device as an actuator in real-time control.
Paladyn J. Behav. Robotics
Daniel J. Block, Mark B. Michelotti, Ramavarapu S. Sreenivas
2013 J jnl
The role of coding in the choice between routing and coding for wireless unicast.
Phys. Commun.
Ramakrishna Gummadi, Laurent Massoulié, Ramavarapu S. Sreenivas
2011 J jnl
On Tractable Instances of Modular Supervisory Control.
IEEE Trans. Autom. Control.
Ramakrishna Gummadi, Nikhil Singh, Ramavarapu S. Sreenivas
2009 A* conf
Computing the Capacity Region of a Wireless Network.
INFOCOM
Ramakrishna Gummadi, Kyomin Jung, Devavrat Shah, Ramavarapu S. Sreenivas
2008 A* conf
Feasible Rate Allocation in Wireless Networks.
INFOCOM
Ramakrishna Gummadi, Kyomin Jung, Devavrat Shah, Ramavarapu S. Sreenivas
2008 J jnl
Managing the exchange of information in product development.
Eur. J. Oper. Res.
Ali A. Yassine, Ramavarapu S. Sreenivas, Jian Zhu
2008 A* conf
On a Non-Linear Optimization Approach for Proportional Fairness in Ad-Hoc Wireless Networks.
INFOCOM
Nikhil Singh, Ramavarapu S. Sreenivas
2007 B conf
Approximating Flow-Based Proportional Fairness in Ad-hoc Wireless Networks.
WCNC
Nikhil Singh, Ramavarapu S. Sreenivas
2007 — conf
Decentralized modular control of concurrent discrete event systems.
CDC
Changyan Zhou, Ratnesh Kumar, Ramavarapu S. Sreenivas
2006 J jnl
On minimal representations of Petri net languages.
IEEE Trans. Autom. Control.
Ramavarapu S. Sreenivas
2006 J jnl
Some observations on supervisory policies that enforce liveness in partially controlled Free-Choice Petri nets.
Math. Comput. Simul.
Ramavarapu S. Sreenivas
2004 — conf
Fault detection and identification in Petri net controllers.
CDC
Lingxi Li, Christoforos N. Hadjicostis, Ramavarapu S. Sreenivas
2003 — conf
On partially controlled Petri nets that can be made live by supervision.
CDC
Ramavarapu S. Sreenivas
2001 — conf
Protocols for media access control and power control in wireless networks.
CDC
Vikas Kawadia, Swetha Narayanaswamy, Robert Rozovsky, Ramavarapu S. Sreenivas, Panganamala R. Kumar
2000 — conf
On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets.
CDC
Ramavarapu S. Sreenivas
1999 J jnl
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement.
IEEE Trans. Autom. Control.
Ramavarapu S. Sreenivas
1999 J jnl
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions.
IEEE Trans. Autom. Control.
Ramavarapu S. Sreenivas
1998 J jnl
An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets.
Autom.
Ramavarapu S. Sreenivas
1997 J jnl
On Supervisory Policies that Enforce Global Fairness and Bounded Fairness in Partially Controlled Petri Nets.
Discret. Event Dyn. Syst.
Ramavarapu S. Sreenivas
1997 J jnl
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets.
IEEE Trans. Autom. Control.
Ramavarapu S. Sreenivas
1996 J jnl
On asymptotically efficient solutions for a class of supervisory control problems.
IEEE Trans. Autom. Control.
Ramavarapu S. Sreenivas
1994 J jnl
On the existence of finite state supervisors for arbitrary supervisory control problems.
IEEE Trans. Autom. Control.
Ramavarapu S. Sreenivas
1993 J jnl
A note on deciding the controllability of a language K with respect to a language L.
IEEE Trans. Autom. Control.
Ramavarapu S. Sreenivas
1992 J jnl
Augmented infinitesimal perturbation analysis: An alternate explanation.
Discret. Event Dyn. Syst.
Alexei A. Gaivoronski, Leyuan Y. Shi, Ramavarapu S. Sreenivas
1987 A* conf
Essentially decision free Petri nets for real-time resource allocation.
ICRA
Bruce H. Krogh, Ramavarapu S. Sreenivas
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling