Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks von Zibaeenejad, M. H., Thistle, J. G.

Volltext

Undecidability in decentralized supervision von Thistle, J.G.

Volltext

Effective Control Synthesis for Partially Observed Discrete-Event Systems von Thistle, J. G., Lamouchi, H. M.

Volltext

Control of infinite behavior of finite automata von THISTLE, J. G, WONHAM, W. M

Volltext

Deadlock Analysis of Parameterized-Chain Networks von Zibaeenejad, M. H., Thistle, J. G.

Volltext

Supervision of infinite behavior of discrete-event systems von THISTLE, J. G, WONHAM, W. M

Volltext

Blocking in Fully Connected Networks of Arbitrary Size von Nazari, S., Thistle, J. G.

Volltext

Control of ω-automata under state fairness assumptions von Thistle, J.G., Malhamé, R.P.

Volltext

Control problems in a temporal logic framework von THISTLE, J. G., WONHAM, W. M.

Volltext

Supervisory control of discrete event systems von Thistle, J.G.

Volltext

Study of Parameterized-Chain networks von Zibaeenejad, M H, Thistle, J G

Volltext

EFFECTIVE CONTROL SYNTHESIS FOR PARTIALLY OBSERVED DISCRETE-EVENT SYSTEMS von THISTLE, J. G, LAMOUCHI, H. M

Volltext

On Effective Computation of Supremal Local Supports von Thistle, J.G., Su, R.

Volltext

On control of systems modelled as deterministic Rabin automata von Thistle, J. G.

Volltext

A Tool for Deadlock Analysis of Parameterized-chain Networks von Moodi, M., Zibaeenejad, M.H., Thistle, J.G.

Volltext

Control of ω-automata, Church's problem, and the emptiness problem for tree ω-automata von Thistle, J. G., Wonham, W. M.

Volltext

Supervisory control of discrete event systems: Recent advances in discrete event systems von THISTLE, J. G

Volltext

Weak invariant simulation: Properties and algorithms von Zibaeenejad, M. H., Thistle, J. G.

Volltext

Deadlock Analysis of Generalized Parameterized Discrete Event Systems with Ring Topology von Zibaeenejad, M.H., Thistle, J.G.

Volltext

Invariant weak simulation and analysis of parameterized networks von Zibaeenejad, M. H., Thistle, J. G.

Volltext