Karen Rudie - Publications

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

51/72 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
Low-probability matches (unlikely to be authored by this person)
2008 Grigorov L, Cury JER, Rudie K. Design of discrete-event systems using templates Proceedings of the American Control Conference. 499-504. DOI: 10.1109/ACC.2008.4586540  0.293
2010 Whittaker S, Rudie K, McLellan J, Haar S. Augmenting Petri Nets to Model Health-Care Protocols Ifac Proceedings Volumes. 43: 331-336. DOI: 10.3182/20100830-3-De-4013.00055  0.289
2013 Sears D, Rudie K. Computing sensor activation decisions from state equivalence classes in discrete-event systems Proceedings of the Ieee Conference On Decision and Control. 6972-6977. DOI: 10.1109/CDC.2013.6760994  0.286
2008 Grigorov L, Das JERC, Rudie K, Klinge S. Template design and automatic generation of controllers for industrial robots Proceedings of the Acm Symposium On Applied Computing. 1612-1613. DOI: 10.1145/1363686.1364066  0.271
2013 Sears D, Rudie K. Efficient computation of sensor activation decisions in discrete-event systems Proceedings of the Ieee Conference On Decision and Control. 6966-6971. DOI: 10.1109/CDC.2013.6760993  0.266
2008 Brunsch T, Rudie K. Discrete-event systems model of an outbreak response Proceedings of the American Control Conference. 1709-1714. DOI: 10.1109/ACC.2008.4586738  0.266
2002 Lemch ES, Guay M, Rudie K. Modelling of oil production operation in the framework of hybrid systems Proceedings of the Ieee Conference On Decision and Control. 2: 1595-1600.  0.254
2017 Sikdar S, Givigi S, Rudie K. A Resource Allocation Mechanism Using Matching and Bargaining Ieee Transactions On Automatic Control. 62: 5909-5914. DOI: 10.1109/Tac.2017.2648504  0.239
2016 Behinaein B, Rudie K, Sangrar W. Petri net siphon analysis and graph theoretic measures for identifying combination therapies in cancer. Ieee/Acm Transactions On Computational Biology and Bioinformatics. PMID 28113516 DOI: 10.1109/Tcbb.2016.2614301  0.222
2015 Waez MTB, Wąsowski A, Dingel J, Rudie K. Synthesis of a reconfiguration service for mixed-criticality multi-core systems: An experience report Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8997: 162-180. DOI: 10.1007/978-3-319-15317-9_10  0.212
2003 Rudie K. Feedforward - How to be an engineering professor yesterday Ieee Control Systems Magazine. 23: 10-11. DOI: 10.1109/Mcs.2003.1200236  0.182
2016 Atampore F, Dingel J, Rudie K. Automated service composition via supervisory control theory 2016 13th International Workshop On Discrete Event Systems, Wodes 2016. 28-35. DOI: 10.1109/WODES.2016.7497822  0.164
2009 Whittaker SJ, Rudie K, McLellan J, Haar S. Choice-point nets: A discrete-event modelling technique for analyzing health care protocols 2009 47th Annual Allerton Conference On Communication, Control, and Computing, Allerton 2009. 652-659. DOI: 10.1109/ALLERTON.2009.5394920  0.162
2023 Moulton RH, Rudie K, Dukelow SP, Benson BW, Scott SH. Capacity limits lead to information bottlenecks in ongoing rapid motor behaviours. Eneuro. PMID 36858823 DOI: 10.1523/ENEURO.0289-22.2023  0.161
2010 Whittaker SJ, Rudie K, McLellan J, Haar S. Augmenting petri nets to model health-care protocols Ifac Proceedings Volumes (Ifac-Papersonline). 10: 331-336.  0.155
2014 Sikdar S, Rudie K. A decentralised electricity market model: An electric vehicle charging example Canadian Conference On Electrical and Computer Engineering. DOI: 10.1109/CCECE.2014.6900995  0.109
2014 Sears D, Rudie K. On computing indistinguishable states of nondeterministic finite automata with partially observable transitions Proceedings of the Ieee Conference On Decision and Control. 2015: 6731-6736. DOI: 10.1109/CDC.2014.7040446  0.105
2013 Sikdar S, Rudie K. Microgrid level competitive market using dynamic matching 2013 Ieee Electrical Power and Energy Conference, Epec 2013. DOI: 10.1109/EPEC.2013.6802939  0.089
2016 Behinaein B, Rudie K, Sangrar W. Petri net siphon analysis and graph theoretic measures for identifying combination therapies in cancer. Ieee/Acm Transactions On Computational Biology and Bioinformatics. PMID 27740493 DOI: 10.1109/TCBB.2016.2614301  0.077
2014 Behinaein B, Rudie K, Sangrar W. Structural analysis of Petri nets for modeling and analyzing signaling pathways Canadian Conference On Electrical and Computer Engineering. DOI: 10.1109/CCECE.2014.6901004  0.058
2022 Moulton RH, Rudie K, Dukelow SP, Scott SH. Quantitatively assessing aging effects in rapid motor behaviours: a cross-sectional study. Journal of Neuroengineering and Rehabilitation. 19: 82. PMID 35883179 DOI: 10.1186/s12984-022-01035-1  0.021
Hide low-probability matches.