Follow
Karen Rudie
Karen Rudie
Professor, Electrical and Computer Engineering, Queen's University
Verified email at queensu.ca
Title
Cited by
Cited by
Year
Think globally, act locally: Decentralized supervisory control
K Rudie, WM Wonham
1991 American Control Conference, 898-903, 1991
7011991
The computational complexity of decentralized discrete-event control problems
K Rudie, JC Willems
IEEE Transactions on Automatic Control 40 (7), 1313-1319, 1995
1831995
Minimal communication in a distributed discrete-event system
K Rudie, S Lafortune, F Lin
IEEE transactions on automatic control 48 (6), 957-975, 2003
1372003
A survey of modeling and control of hybrid systems
G Labinaz, MM Bayoumi, K Rudie
Annual Reviews in Control 21, 79-92, 1997
1171997
Know means no: Incorporating knowledge into discrete-event control systems
SL Ricker, K Rudie
IEEE Transactions on Automatic Control 45 (9), 1656-1668, 2000
982000
Supervisory control of discrete-event systems: A brief history
WM Wonham, K Cai, K Rudie
Annual Reviews in Control 45, 250-256, 2018
952018
The infimal prefix-closed and observable superlanguange of a given language
K Rudie, WM Wonham
Systems & Control Letters 15 (5), 361-371, 1990
851990
Modeling and control of hybrid systems: A survey
G Labinaz, MM Bayoumi, K Rudie
IFAC Proceedings Volumes 29 (1), 4718-4729, 1996
791996
A survey of timed automata for the development of real-time systems
MTB Waez, J Dingel, K Rudie
Computer Science Review 9, 1-26, 2013
652013
Supervisory control of communicating processes
K Rudie, WM Wonham
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
631990
Protocol verification using discrete-event systems
K Rudie, WM Wonham
[1992] Proceedings of the 31st IEEE Conference on Decision and Control, 3770 …, 1992
561992
Supervisory control of discrete-event systems: A brief history–1980-2015
WM Wonham, K Cai, K Rudie
IFAC-PapersOnLine 50 (1), 1791-1797, 2017
462017
Incorporating communication and knowledge into decentralized discrete-event systems
SL Ricker, K Rudie
Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No …, 1999
451999
A discrete-event systems approach to modeling dextrous manipulation
SL Ricker, N Sarkar, K Rudiet
Robotica 14 (5), 515-525, 1996
411996
Knowledge is a terrible thing to waste: Using inference in discrete-event control problems
SL Ricker, K Rudie
IEEE Transactions on Automatic Control 52 (3), 428-441, 2007
402007
The integrated discrete-event systems tool
K Rudie
2006 8th International Workshop on Discrete Event Systems, 394-395, 2006
402006
Concurrency control generation for dynamic threads using discrete-event systems
A Auer, J Dingel, K Rudie
2009 47th Annual Allerton Conference on Communication, Control, and …, 2009
38*2009
Generation of concurrency control code using discrete-event systems theory
C Dragert, J Dingel, K Rudie
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
342008
Minimal communication for essential transitions in a distributed discrete-event system
F Lin, K Rudie, S Lafortune
IEEE Transactions on Automatic Control 52 (8), 1495-1502, 2007
342007
Minimal communication in a distributed discrete-event control system
K Rudie, S Lafortune, F Lin
Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251) 3 …, 1999
341999
The system can't perform the operation now. Try again later.
Articles 1–20