| 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
Discrete Event Dynamic Systems | 2021-12-09 | Paper |
Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
Automatica | 2021-04-20 | Paper |
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
On Tractable Instances of Modular Supervisory Control
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
On Minimal Representations of Petri Net Languages
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Characterizing Token Delays of Timed Event Graphs for $K$- Cyclic Schedules
IEEE Transactions on Automatic Control | 2017-06-08 | Paper |
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
On the Varshamov-Tenengolts construction on binary strings
Discrete Mathematics | 2014-01-17 | Paper |
Managing the exchange of information in product development
European Journal of Operational Research | 2007-10-05 | Paper |
Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
Mathematics and Computers in Simulation | 2006-04-28 | Paper |
| scientific article; zbMATH DE number 2159031 (Why is no real title available?) | 2005-04-19 | Paper |
| scientific article; zbMATH DE number 1836365 (Why is no real title available?) | 2002-11-27 | Paper |
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
IEEE Transactions on Automatic Control | 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
Automatica | 1999-12-05 | Paper |
On asymptotically efficient solutions for a class of supervisory control problems
IEEE Transactions on Automatic Control | 1998-11-05 | Paper |
On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets
Discrete Event Dynamic Systems | 1998-08-12 | Paper |
On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
Systems & Control Letters | 1998-07-22 | Paper |
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
IEEE Transactions on Automatic Control | 1997-12-14 | Paper |
On the existence of finite state supervisors for arbitrary supervisory control problems
IEEE Transactions on Automatic Control | 1995-03-12 | Paper |
On a weaker notion of controllability of a language K with respect to a language L
IEEE Transactions on Automatic Control | 1994-05-15 | Paper |
A note on deciding the controllability of a language K with respect to a language L
IEEE Transactions on Automatic Control | 1993-08-22 | Paper |
Augmented infinitesimal perturbation analysis: An alternate explanation
Discrete Event Dynamic Systems | 1993-01-17 | Paper |
Ordinal optimization of DEDS
Discrete Event Dynamic Systems | 1993-01-16 | Paper |
On condition/event systems with discrete state realizations
Discrete Event Dynamic Systems | 1992-06-28 | Paper |
