John G. Thistle

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