Ramavarapu S. Sreenivas
Orcid: 0000-0002-8242-0839Affiliations:
- University of Illinois, USA
According to our database1,
Ramavarapu S. Sreenivas
authored at least 53 papers
between 1987 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
IEEE Trans Autom. Sci. Eng., 2023
CoRR, 2023
Voxelized Cut-and-Fill Models for Deadlock-Free Site Excavation Under Accessibility Constraints.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
2021
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., 2021
Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets.
Autom., 2021
2020
IEEE Trans. Autom. Control., 2020
IEEE Control. Syst. Lett., 2020
2019
Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
2017
IEEE Trans. Autom. Control., 2017
2015
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.
IEEE Trans. Autom. Control., 2015
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets.
IEEE Trans. Autom. Control., 2015
A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems.
J. Intell. Manuf., 2015
J. Aerosp. Inf. Syst., 2015
On supervisory policies that enforce liveness in controlled Petri nets that are similar.
Proceedings of the 7th International Conference on Cybernetics and Intelligent Systems, 2015
Assessing an affordable and portable laboratory kit in an undergraduate control systems course.
Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015
Developing a new affordable DC motor laboratory kit for an existing undergraduate controls course.
Proceedings of the American Control Conference, 2015
2014
2013
On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory Policies.
IEEE Trans. Syst. Man Cybern. Syst., 2013
On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets.
IEEE Trans Autom. Sci. Eng., 2013
Phys. Commun., 2013
Paladyn J. Behav. Robotics, 2013
On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013
2012
On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets.
IEEE Trans. Autom. Control., 2012
2011
IEEE Trans. Autom. Control., 2011
2009
Proceedings of the INFOCOM 2009. 28th IEEE International Conference on Computer Communications, 2009
2008
IEEE Trans. Syst. Man Cybern. Part A, 2008
Eur. J. Oper. Res., 2008
Proceedings of the 2008 IEEE Information Theory Workshop, 2008
On a Non-Linear Optimization Approach for Proportional Fairness in Ad-Hoc Wireless Networks.
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008
2007
On Distributed Algorithms that Enforce Proportional Fairness in Ad-hoc Wireless Networks.
Proceedings of the 5th International Symposium on Modeling and Optimization in Mobile, 2007
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
2006
Some observations on supervisory policies that enforce liveness in partially controlled Free-Choice Petri nets.
Math. Comput. Simul., 2006
Token delays and generalized workload balancing for timed event graphs with application to cluster tool operation.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006
2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
Proceedings of the Mobile and Wireless Communications Networks, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
1999
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions.
IEEE Trans. Autom. Control., 1999
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement.
IEEE Trans. Autom. Control., 1999
1998
An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets.
Autom., 1998
1997
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets.
IEEE Trans. Autom. Control., 1997
On Supervisory Policies that Enforce Global Fairness and Bounded Fairness in Partially Controlled Petri Nets.
Discret. Event Dyn. Syst., 1997
1996
IEEE Trans. Autom. Control., 1996
1994
On the existence of finite state supervisors for arbitrary supervisory control problems.
IEEE Trans. Autom. Control., 1994
1993
IEEE Trans. Autom. Control., 1993
1992
Discret. Event Dyn. Syst., 1992
1991
Discret. Event Dyn. Syst., 1991
1987
Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987