Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata. - John G. Thistle; Walter Murray Wonham (CSL, 1991)

On control of systems modelled as deterministic Rabin automata. - John G. Thistle (Discret. Event Dyn. Syst., 1995)

Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach. - John G. Thistle; Roland P. Malhamé; Hai Hoc Hoang; Stéphane Lafortune (FIW, 1997)

Effective control synthesis for DES under partial observations. - Hichem Lamouchi; John G. Thistle (CDC, 2000)

Supervisory Control of Distributed Systems: Conflict Resolution. - K. C. Wong 003; John G. Thistle; Roland P. Malhamé; Hai Hoc Hoang (Discret. Event Dyn. Syst., 2000)

Synthesis of Supervisory Controls for Discrete Event Systems. - John G. Thistle (ACSD, 2004)

Analysis of Arbitrarily Large Networks of Discrete-Event Systems. - John G. Thistle; Siamak Nazari (CDC/ECC, 2005)

Uncomputability of Supremal Local Supports in Distributed Diagnosis. - John G. Thistle; Rong Su 001 (CDC/ECC, 2005)

Undecidability in decentralized supervision. - John G. Thistle (Syst. Control. Lett., 2005)

Blocking in Parameterized Networks of Discrete-Event-Systems. - Siamak Nazari; John G. Thistle (ACC, 2007)

Structural Conditions for Model-checking of Parameterized Networks. - Siamak Nazari; John G. Thistle (ACSD, 2007)

On Effective Computation of Supremal Local Supports. - John G. Thistle; Rong Su 001 (IEEE Trans. Autom. Control., 2007)

Effective Control Synthesis for Partially Observed Discrete-Event Systems. - John G. Thistle; H. M. Lamouchi (SIAM J. Control. Optim., 2009)

Invariant weak simulation and analysis of parameterized networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (ACC, 2012)

Blocking in Fully Connected Networks of Arbitrary Size. - Siamak Nazari; John G. Thistle (IEEE Trans. Autom. Control., 2012)

Weak invariant simulation: Properties and algorithms. - Mohammad Hadi Zibaeenejad; John G. Thistle (ACC, 2013)

Deadlock Analysis of Generalized Parameterized Discrete Event Systems. - Mohammad Hadi Zibaeenejad; John G. Thistle (WODES, 2014)

Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (IEEE Trans. Autom. Control., 2014)

Dependency graph: An algorithm for analysis of generalized parameterized networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (ACC, 2015)

Graph transformation as a modelling framework for supervisory control. - Jeremie Benhamron; John G. Thistle (WODES, 2016)

Study of Parameterized-Chain networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (CoRR, 2016)

Deadlock Analysis of Parameterized-Chain Networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (IEEE Trans. Autom. Control., 2017)

Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems. - Mohammad Hossein Basiri; John G. Thistle; John W. Simpson-Porco; Sebastian Fischmeister (ACC, 2019)