Karen Rudie

CoRR, 2024

2023

Do what you know: coupling knowledge with action in discrete-event systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., September, 2023

Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Using Subobservers to Synthesize Opacity-Enforcing Supervisors.

[BibT_eX]

[DOI]

Behnam Behinaein Hamgini

Discret. Event Dyn. Syst., 2022

Epistemic interpretations of decentralized discrete-event system problems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2022

Discrete-event systems subject to unknown sensor attacks.

[BibT_eX]

[DOI]

Michel R. C. Alves

Patrícia N. Pena

Discret. Event Dyn. Syst., 2022

Decentralized Observation of Discrete-Event Systems: At Least One Can Tell.

[BibT_eX]

[DOI]

Stavros Tripakis

IEEE Control. Syst. Lett., 2022

A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems.

[BibT_eX]

[DOI]

CoRR, 2022

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems.

[BibT_eX]

[DOI]

Nick Mertin

CoRR, 2022

Online control of discrete-event systems: A survey.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2022

Enforcing Degree of Opacity with Supervisory Control.

[BibT_eX]

[DOI]

Bryony H. Schonewille

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Synthesizing Supervisors with a Minimum Control Base for Discrete-Event Systems.

[BibT_eX]

[DOI]

Stephen H. Scott

Proceedings of the American Control Conference, 2022

2021

A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Limited Lookahead Policies for the Control of Discrete-Event Systems: A Tutorial.

[BibT_eX]

[DOI]

Anthony J. Marasco

CoRR, 2020

2019

Optimal Information Release for Mixed Opacity in Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2019

A controller synthesis framework for automated service composition.

[BibT_eX]

[DOI]

Francis Atampore

Juergen Dingel

Discret. Event Dyn. Syst., 2019

2018

Petri Net Siphon Analysis and Graph Theoretic Measures for Identifying Combination Therapies in Cancer.

[BibT_eX]

[DOI]

Waheed Sangrar

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Computing observers from observation policies in discrete-event systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2018

Supervisory control of discrete-event systems: A brief history.

[BibT_eX]

[DOI]

W. M. Wonham

Kai Cai

Annu. Rev. Control., 2018

2017

A Resource Allocation Mechanism Using Matching and Bargaining.

[BibT_eX]

[DOI]

Swapan Sikdar

Sidney Givigi

IEEE Trans. Autom. Control., 2017

Controller synthesis for dynamic hierarchical real-time plants using timed automata.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

2016

Minimal sensor activation and minimal communication in discrete-event systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2016

Automated service composition via supervisory control theory.

[BibT_eX]

[DOI]

Francis Atampore

Juergen Dingel

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

An Augmented Petri Net Model for Health-Care Protocols.

[BibT_eX]

[DOI]

Sarah-Jane Whittaker

P. James McLellan

IEEE Trans. Autom. Control., 2015

A Model for Industrial Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2014

Concurrency control generation for dynamic threads using discrete-event systems.

[BibT_eX]

[DOI]

Anthony Auer

Sci. Comput. Program., 2014

Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

On computing indistinguishable states of nondeterministic finite automata with partially observable transitions.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A decentralised electricity market model: An electric vehicle charging example.

[BibT_eX]

[DOI]

Swapan Sikdar

Proceedings of the IEEE 27th Canadian Conference on Electrical and Computer Engineering, 2014

Structural analysis of Petri nets for modeling and analyzing signaling pathways.

[BibT_eX]

[DOI]

Waheed Sangrar

Proceedings of the IEEE 27th Canadian Conference on Electrical and Computer Engineering, 2014

2013

Methods for the estimation of the size of lookahead tree state-space.

[BibT_eX]

[DOI]

Creag Winacott

Discret. Event Dyn. Syst., 2013

A survey of timed automata for the development of real-time systems.

[BibT_eX]

[DOI]

Md Tawhid Bin Waez

Comput. Sci. Rev., 2013

Computing sensor activation decisions from state equivalence classes in discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Efficient computation of sensor activation decisions in discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2011

Combining Model Checking and Discrete-Event Supervisor Synthesis.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Conceptual Design of Discrete-Event Systems Using Templates.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2011

Dynamic discrete-event systems with instances for the modelling of emergency response protocols.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

Augmenting Petri nets to model health-care protocols.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Techniques for the parametrization of discrete-event system templates.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A Summary of Some Discrete-Event System Control Problems.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2010

2009

Bridging the gap: Discrete-Event Systems for software engineering (short position paper).

[BibT_eX]

[DOI]

Christopher Dragert

Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009

Limited lookahead supervisory control of probabilistic discrete-event systems.

[BibT_eX]

[DOI]

Creag Winacott

Proceedings of the 47th Annual Allerton Conference on Communication, 2009

Choice-point nets: A discrete-event modelling technique for analyzing health care protocols.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual Allerton Conference on Communication, 2009

2008

Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences.

[BibT_eX]

[DOI]

Ying Huang

IEEE Trans. Autom. Control., 2008

Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems.

[BibT_eX]

[DOI]

Sarah-Jane Whittaker

Discret. Event Dyn. Syst., 2008

Generation of concurrency control code using discrete-event systems theory.

[BibT_eX]

[DOI]

Christopher Dragert

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Template design and automatic generation of controllers for industrial robots.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Design of Discrete-Event Systems Using Templates.

[BibT_eX]

[DOI]

José Eduardo Ribeiro Cury

Proceedings of the American Control Conference, 2008

Discrete-Event Systems Model of an Outbreak Response.

[BibT_eX]

[DOI]

Thomas Brunsch

Proceedings of the American Control Conference, 2008

Towards Incorporating Discrete-Event Systems in Secure Software Development.

[BibT_eX]

[DOI]

Sarah-Jane Whittaker

Mohammad Zulkernine

Proceedings of the The Third International Conference on Availability, 2008

2007

Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Minimal Communication for Essential Transitions in a Distributed Discrete-Event System.

[BibT_eX]

[DOI]

Stéphane Lafortune

IEEE Trans. Autom. Control., 2007

An application of discrete-event theory to truck dispatching.

[BibT_eX]

[DOI]

Stéphane Blouin

Martin Guay

Central Eur. J. Oper. Res., 2007

2006

Near-Optimal Online Control of Dynamic Discrete-Event Systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2006

2003

Minimal communication in a distributed discrete-event system.

[BibT_eX]

[DOI]

Stéphane Lafortune

IEEE Trans. Autom. Control., 2003

Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems.

[BibT_eX]

[DOI]

Stéphane Blouin

Martin Guay

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Modelling of oil production operation in the framework of hybrid systems.

[BibT_eX]

[DOI]

Ekaterina S. Lemch

Martin Guay

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000

Viable cascade control and application to a batch polymerization process.

[BibT_eX]

[DOI]

Gino Labinaz

Mohamed M. Bayoumi

IEEE Trans. Control. Syst. Technol., 2000

Know means no: Incorporating knowledge into discrete-event control systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2000

Distributed knowledge for communication in decentralized discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1996

A discrete-event systems approach to modeling dextrous manipulation.

[BibT_eX]

[DOI]

Nilanjan Sarkar

Robotica, 1996

1995

The computational complexity of decentralized discrete-event control problems.

[BibT_eX]

[DOI]

Jan C. Willems

IEEE Trans. Autom. Control., 1995

1990

Supervisory control of communicating processes.

[BibT_eX]