J. G. Thistle

Available identifiers

zbMath Open thistle.john-gMaRDI QIDQ1128703

List of research outcomes

Publication	Date of Publication	Type
Blocking in Fully Connected Networks of Arbitrary Size	2017-09-08	Paper
Deadlock Analysis of Parameterized-Chain Networks	2017-07-27	Paper
Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks	2017-05-16	Paper
Effective control synthesis for partially observed discrete-event systems	2010-06-10	Paper
Undecidability in decentralized supervision	2006-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4240486	1999-09-15	Paper
Control of \(\omega\)-automata under state fairness assumptions	1998-08-13	Paper
Supervisory control of discrete event systems	1997-01-22	Paper
On control of systems modelled as deterministic Rabin automata	1995-11-22	Paper
Control of Infinite Behavior of Finite Automata	1994-08-14	Paper
Supervision of Infinite Behavior of Discrete-Event Systems	1994-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4202958	1993-09-06	Paper
Control problems in a temporal logic framework	1986-01-01	Paper

Research outcomes over time

This page was built for person: J. G. Thistle