John G. Thistle

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 4

Top Topics

Fully Connected

Discrete Event Systems

Mathematical Analysis

Top Venues

IEEE Trans. Autom. Control.

Publications

Mohammad Hossein Basiri, John G. Thistle, John W. Simpson-Porco, Sebastian Fischmeister
Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems. ACC (2019)
Mohammad Hadi Zibaeenejad, John G. Thistle
Deadlock Analysis of Parameterized-Chain Networks. IEEE Trans. Autom. Control. 62 (4) (2017)
Mohammad Hadi Zibaeenejad, John G. Thistle
Study of Parameterized-Chain networks. CoRR (2016)
Jeremie Benhamron, John G. Thistle
Graph transformation as a modelling framework for supervisory control. WODES (2016)
Mohammad Hadi Zibaeenejad, John G. Thistle
Dependency graph: An algorithm for analysis of generalized parameterized networks. ACC (2015)
Mohammad Hadi Zibaeenejad, John G. Thistle
Deadlock Analysis of Generalized Parameterized Discrete Event Systems. WODES (2014)
Mohammad Hadi Zibaeenejad, John G. Thistle
Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks. IEEE Trans. Autom. Control. 59 (8) (2014)
Mohammad Hadi Zibaeenejad, John G. Thistle
Weak invariant simulation: Properties and algorithms. ACC (2013)
Mohammad Hadi Zibaeenejad, John G. Thistle
Invariant weak simulation and analysis of parameterized networks. ACC (2012)
Siamak Nazari, John G. Thistle
Blocking in Fully Connected Networks of Arbitrary Size. IEEE Trans. Autom. Control. 57 (5) (2012)
John G. Thistle, H. M. Lamouchi
Effective Control Synthesis for Partially Observed Discrete-Event Systems. SIAM J. Control. Optim. 48 (3) (2009)
Siamak Nazari, John G. Thistle
Structural Conditions for Model-checking of Parameterized Networks. ACSD (2007)
John G. Thistle, Rong Su
On Effective Computation of Supremal Local Supports. IEEE Trans. Autom. Control. 52 (8) (2007)
Siamak Nazari, John G. Thistle
Blocking in Parameterized Networks of Discrete-Event-Systems. ACC (2007)
John G. Thistle, Siamak Nazari
Analysis of Arbitrarily Large Networks of Discrete-Event Systems. CDC/ECC (2005)
John G. Thistle, Rong Su
Uncomputability of Supremal Local Supports in Distributed Diagnosis. CDC/ECC (2005)
John G. Thistle
Undecidability in decentralized supervision. Syst. Control. Lett. 54 (5) (2005)
John G. Thistle
Synthesis of Supervisory Controls for Discrete Event Systems. ACSD (2004)
Hichem Lamouchi, John G. Thistle
Effective control synthesis for DES under partial observations. CDC (2000)
K. C. Wong, John G. Thistle, Roland P. Malhamé, Hai Hoc Hoang
Supervisory Control of Distributed Systems: Conflict Resolution. Discret. Event Dyn. Syst. 10 (1-2) (2000)
John G. Thistle, Roland P. Malhamé, Hai Hoc Hoang, Stéphane Lafortune
Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach. FIW (1997)
John G. Thistle
On control of systems modelled as deterministic Rabin automata. Discret. Event Dyn. Syst. 5 (4) (1995)
John G. Thistle, Walter Murray Wonham
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata. CSL (1991)