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

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: J. G. Thistle