Karen Rudie - Publications

Affiliations: 
Queen's University, Canada, Kingston, Ontario, Canada 
Area:
Computer Science

51 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Behinaein B, Lin F, Rudie K. Optimal Information Release for Mixed Opacity in Discrete-Event Systems Ieee Transactions On Automation Science and Engineering. 16: 1960-1970. DOI: 10.1109/Tase.2019.2917136  0.436
2019 Atampore F, Dingel J, Rudie K. A controller synthesis framework for automated service composition Discrete Event Dynamic Systems. 29: 297-365. DOI: 10.1007/S10626-019-00282-0  0.345
2018 Lafortune S, Rudie K, Tripakis S. Thirty Years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives [Conference Reports] Ieee Control Systems Magazine. 38: 111-112. DOI: 10.1109/Mcs.2018.2830083  0.309
2018 Atampore F, Dingel J, Rudie K. Supervisor Aware Service Composition Framework: An Implementation and Evaluation Ifac-Papersonline. 51: 277-284. DOI: 10.1016/J.Ifacol.2018.06.313  0.327
2018 Wonham WM, Cai K, Rudie K. Supervisory control of discrete-event systems: A brief history Annual Reviews in Control. 45: 250-256. DOI: 10.1016/J.Arcontrol.2018.03.002  0.67
2018 Sears D, Rudie K. Computing observers from observation policies in discrete-event systems Discrete Event Dynamic Systems. 28: 509-537. DOI: 10.1007/S10626-018-0272-2  0.448
2017 Wonham W, Cai K, Rudie K. Supervisory Control of Discrete-Event Systems: A Brief History – 1980-2015 Ifac-Papersonline. 50: 1791-1797. DOI: 10.1016/J.Ifacol.2017.08.164  0.671
2017 Waez T, Wąsowski A, Dingel J, Rudie K. Controller synthesis for dynamic hierarchical real-time plants using timed automata Discrete Event Dynamic Systems. 27: 407-441. DOI: 10.1007/S10626-017-0240-2  0.363
2015 Whittaker SJ, Rudie K, McLellan J. An Augmented Petri Net Model for Health-Care Protocols Ieee Transactions On Automatic Control. 60: 2362-2377. DOI: 10.1109/Tac.2015.2409932  0.34
2015 Sears D, Rudie K. Minimal sensor activation and minimal communication in discrete-event systems Discrete Event Dynamic Systems: Theory and Applications. DOI: 10.1007/S10626-015-0212-3  0.469
2015 Whittaker SJ, Rudie K. Plug and play: Modular supervisor reduction in discrete-event systems 2007 European Control Conference, Ecc 2007. 4976-4983.  0.405
2015 Grigorov L, Rudie K. Problem solving in control of discrete-event systems 2007 European Control Conference, Ecc 2007. 5500-5507.  0.404
2015 Waez MTB, WĄs Owski A, Dingel J, Rudie K. A model for industrial real-time systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8931: 153-171.  0.315
2014 Auer A, Dingel J, Rudie K. Concurrency control generation for dynamic threads using discrete-event systems Science of Computer Programming. 82: 22-43. DOI: 10.1016/J.Scico.2013.01.007  0.49
2013 Waez MTB, Dingel J, Rudie K. A survey of timed automata for the development of real-time systems Computer Science Review. 9: 1-26. DOI: 10.1016/J.Cosrev.2013.05.001  0.367
2013 Winacott C, Behinaein B, Rudie K. Methods for the estimation of the size of lookahead tree state-space Discrete Event Dynamic Systems: Theory and Applications. 23: 135-155. DOI: 10.1007/S10626-012-0138-Y  0.368
2012 Chausse N, Xu H, Dingel J, Rudie K. Combining Model Checking and Discrete-Event Supervisor Synthesis Electronic Communication of the European Association of Software Science and Technology. 46. DOI: 10.14279/Tuj.Eceasst.46.686  0.365
2011 Grigorov L, Butler BE, Cury JER, Rudie K. Conceptual design of discrete-event systems using templates Discrete Event Dynamic Systems: Theory and Applications. 21: 257-303. DOI: 10.1007/S10626-010-0089-0  0.442
2011 Rudie K. A summary of some discrete-event system control problems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6482: 4-16. DOI: 10.1007/978-3-642-18098-9_2  0.481
2011 Grigorov L, Rudie K. Dynamic discrete-event systems with instances for the modelling of emergency response protocols Proceedings of the American Control Conference. 4478-4483.  0.424
2010 Grigorov L, Rudie K. Techniques for the parametrization of discrete-event system templates Ifac Proceedings Volumes (Ifac-Papersonline). 10: 370-375. DOI: 10.3182/20100830-3-De-4013.00061  0.401
2009 Dingel J, Rudie K, Dragert C. Bridging the gap: Discrete-event systems for software engineering (short position paper) Acm International Conference Proceeding Series. 67-71. DOI: 10.1145/1557626.1557637  0.345
2009 Winacott C, Rudie K. Limited lookahead supervisory control of probabilistic discrete-event systems 2009 47th Annual Allerton Conference On Communication, Control, and Computing, Allerton 2009. 660-667. DOI: 10.1109/ALLERTON.2009.5394925  0.418
2008 Dragert C, Dingel J, Rudie K. Generation of concurrency control code using discrete-event systems theory Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 146-157. DOI: 10.1145/1453101.1453122  0.323
2008 Whittaker SJ, Zulkernine M, Rudie K. Towards incorporating discrete-event systems in secure software development Ares 2008 - 3rd International Conference On Availability, Security, and Reliability, Proceedings. 1188-1195. DOI: 10.1109/ARES.2008.70  0.307
2008 Whittaker SJ, Rudie K. Lose fat, not muscle: An examination of supervisor reduction in discrete-event systems Discrete Event Dynamic Systems: Theory and Applications. 18: 285-321. DOI: 10.1007/S10626-007-0033-0  0.445
2007 Lin F, Rudie K, Lafortune S. Minimal communication for essential transitions in a distributed discrete-event system Ieee Transactions On Automatic Control. 52: 1495-1502. DOI: 10.1109/Tac.2007.902761  0.386
2007 Ricker SL, Rudie K. Knowledge is a terrible thing to waste: Using inference in discrete-event control problems Ieee Transactions On Automatic Control. 52: 428-441. DOI: 10.1109/Tac.2007.892371  0.738
2006 Edlund K, Michelsen AG, Rudie K. Supervisory control of flowlines by modelling the legal language as inequalities Proceedings - Eighth International Workshop On Discrete Event Systems, Wodes 2006. 15-20. DOI: 10.1109/WODES.2006.1678401  0.328
2006 Huang Y, Rudie K, Lin F. Decentralized control of discrete-event systems when supervisors observe particular event occurrences Proceedings of the American Control Conference. 2006: 4147-4152. DOI: 10.1109/Tac.2007.914234  0.588
2006 Grigorov L, Rudie K. Near-optimal online control of dynamic discrete-event systems Discrete Event Dynamic Systems: Theory and Applications. 16: 419-449. DOI: 10.1007/S10626-006-0020-X  0.501
2006 Rudie K. The integrated discrete-event systems tool Proceedings - Eighth International Workshop On Discrete Event Systems, Wodes 2006. 394-395.  0.303
2005 Romanovski I, Guay M, Rudie K. On the supervisory control for state trajectory specifications in time-varying discrete-event systems Ifac Proceedings Volumes (Ifac-Papersonline). 16: 157-162. DOI: 10.3182/20050703-6-Cz-1902.00311  0.661
2005 Grigorov L, Rudie K. Issues in optimal control of dynamic discrete-event systems Ifac Proceedings Volumes (Ifac-Papersonline). 16: 7-12. DOI: 10.3182/20050703-6-Cz-1902.00286  0.536
2003 Rudie K, Lafortune S, Lin F. Minimal communication in a distributed discrete-event system Ieee Transactions On Automatic Control. 48: 957-975. DOI: 10.1109/Tac.2003.812780  0.408
2003 Blouin S, Guay M, Rudie K. Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems Ifac Proceedings Volumes. 36: 343-348. DOI: 10.1016/S1474-6670(17)36455-8  0.706
2001 Blouin S, Guay M, Rudie K. An application of discrete-event theory to truck dispatching Proceedings of the American Control Conference. 3: 2315-2320. DOI: 10.1007/s10100-007-0037-8  0.68
2001 Blouin S, Guay M, Rudie K. An application of discrete-event theory to truck dispatching Proceedings of the American Control Conference. 3: 2315-2320.  0.467
2000 Ricker SL, Rudie K. Know means no: incorporating knowledge into discrete-event control systems Ieee Transactions On Automatic Control. 45: 1656-1668. DOI: 10.1109/9.880616  0.774
2000 Labinaz G, Bayoumi MM, Rudie K. Viable cascade control and application to a batch polymerization process Ieee Transactions On Control Systems Technology. 8: 396-407. DOI: 10.1109/87.845871  0.45
2000 Ricker SL, Rudie K. Distributed knowledge for communication in decentralized discrete-event systems Proceedings of the Ieee Conference On Decision and Control. 1: 9-15.  0.719
1999 Ricker SL, Rudie K. Incorporating communication and knowledge into decentralized discrete-event systems Proceedings of the Ieee Conference On Decision and Control. 2: 1326-1332.  0.742
1997 Labinaz G, Bayoumi MM, Rudie K. A Viable Cascade Controller Design for a Batch Polymerization Process Ifac Proceedings Volumes. 30: 191-196. DOI: 10.1016/S1474-6670(17)43159-4  0.416
1997 Labinaz G, Bayoumi MM, Rudie K. A survey of modeling and control of hybrid systems Annual Reviews in Control. 21: 79-92. DOI: 10.1016/S1367-5788(97)00019-9  0.478
1997 Ricker SL, Rudie K. Know means no: Incorporating knowledge into decentralized discrete-event control Proceedings of the American Control Conference. 4: 2348-2353.  0.765
1996 Labinaz G, Bayoumi MM, Rudie K. Modeling and Control of Hybrid Systems: A Survey Ifac Proceedings Volumes. 29: 4718-4729. DOI: 10.1016/S1474-6670(17)58427-X  0.485
1996 Ricker SL, Sarkar N, Rudie K. A discrete-event systems approach to modeling dextrous manipulation Robotica. 14: 515-525.  0.719
1995 Rudie K, Willems JC. The Computational Complexity of Decentralized Discrete-Event Control Problems Ieee Transactions On Automatic Control. 40: 1313-1319. DOI: 10.1109/9.400469  0.4
1992 Rudie K, Wonham WM. Think Globally, Act Locally: Decentralized Supervisory Control Ieee Transactions On Automatic Control. 37: 1692-1708. DOI: 10.1109/9.173140  0.618
1990 Rudie K, Murray Wonham W. The infimal prefix-closed and observable superlanguange of a given language Systems and Control Letters. 15: 361-371. DOI: 10.1016/0167-6911(90)90059-4  0.347
1988 Maclean J, Rudie K, Zhong H, Pang GKH. BESTool: A blackboard shell and its application to a traffic control problem . 389-393.  0.329
Show low-probability matches.