Ramavarapu S. 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 Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets	2017-05-16	Paper
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of 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 a class of completely controlled Petri nets obtained via refinement	2000-10-17	Paper
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ramavarapu S. Sreenivas