Concepedia

J.G. Thistle

JT

16

Publications

681

Citations

14

H-Index

1986

Active since

Affiliations

University of Waterloo(Current)

Polytechnique Montréal

University of Toronto

Australian National University

J.G. Thistle is an author at University of Waterloo specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsProcess ControlFormal VerificationAutomationAutomated ReasoningVerificationControl Systems

Publications per year

1986–2019

16

Publications

16

Control problems in a temporal logic framework

J.G. Thistle, W.M. Wonham · International Journal of Control · 1986 · 124 citations

Control Theory, Temporal Logic Framework, Engineering +13

Control of Infinite Behavior of Finite Automata

J.G. Thistle, W. M. Wonham · SIAM Journal on Control and Optimization · 1994 · 108 citations

Supervision of Infinite Behavior of Discrete-Event Systems

J.G. Thistle, W. M. Wonham · SIAM Journal on Control and Optimization · 1994 · 76 citations

Engineering, Discrete Event System, Automated Reasoning +15

Supervisory control of discrete event systems

J.G. Thistle · Mathematical and Computer Modelling · 1996 · 74 citations

Engineering, Discrete Event System, Event-driven Programming +4

Supervisory Control of Distributed Systems: Conflict Resolution

K.C. Wong, J.G. Thistle, Roland P. Malhamé et al. · Discrete Event Dynamic Systems · 2000 · 50 citations

Rows per page

1–5 of 16