R. Sreenivas

Available identifiers

zbMath Open sreenivas.ramavarapu-sMaRDI QIDQ1295010

List of research outcomes

Publication	Date of Publication	Type
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net	2021-12-09	Paper
Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets	2021-04-20	Paper
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets	2021-03-12	Paper
On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets	2017-09-08	Paper
On Tractable Instances of Modular Supervisory Control	2017-08-25	Paper
On Minimal Representations of Petri Net Languages	2017-07-27	Paper
Characterizing Token Delays of Timed Event Graphs for $K$- Cyclic Schedules	2017-06-08	Paper
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets	2017-05-16	Paper
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets	2017-05-16	Paper
On the Varshamov-Tenengolts construction on binary strings	2014-01-17	Paper
Managing the exchange of information in product development	2007-10-05	Paper
Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4668587	2005-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4782035	2002-11-27	Paper
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions	2000-10-17	Paper
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement	2000-10-17	Paper
An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets	1999-12-05	Paper
On asymptotically efficient solutions for a class of supervisory control problems	1998-11-05	Paper
On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets	1998-08-12	Paper
On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets	1998-07-22	Paper
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets	1997-12-14	Paper
On the existence of finite state supervisors for arbitrary supervisory control problems	1995-03-12	Paper
On a weaker notion of controllability of a language K with respect to a language L	1994-05-15	Paper
A note on deciding the controllability of a language K with respect to a language L	1993-08-22	Paper
Augmented infinitesimal perturbation analysis: An alternate explanation	1993-01-17	Paper
Ordinal optimization of DEDS	1993-01-16	Paper
On condition/event systems with discrete state realizations	1992-06-28	Paper

Research outcomes over time

This page was built for person: R. Sreenivas