Stéphane Lafortune

Autom., 2021

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.

[BibT_eX]

[DOI]

Autom., 2021

Optimal supervisory control with mean payoff objectives and under partial observation.

[BibT_eX]

[DOI]

Autom., 2021

Enforcement of K-Step Opacity with Edit Functions.

[BibT_eX]

[DOI]

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

Introduction to Discrete Event Systems, Third Edition

[BibT_eX]

[DOI]

Christos G. Cassandras

Springer, ISBN: 978-3-030-72272-2, 2021

2020

Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking.

[BibT_eX]

[DOI]

Blake C. Rawlings

B. Erik Ydstie

IEEE Trans. Control. Syst. Technol., 2020

Transforming Opacity Verification to Nonblocking Verification in Modular Systems.

[BibT_eX]

[DOI]

Sahar Mohajerani

IEEE Trans. Autom. Control., 2020

Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.

[BibT_eX]

[DOI]

Sahar Mohajerani

IEEE Trans. Autom. Control., 2020

Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.

[BibT_eX]

[DOI]

Alessandro Giua

Carla Seatzu

IEEE Trans. Autom. Control., 2020

Spectral Analysis of Fronts in a Marangoni-Driven Thin Liquid Film Flow Down a Slope.

[BibT_eX]

[DOI]

Anna Ghazaryan

Vahagn Manukian

SIAM J. Appl. Math., 2020

Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Autom., 2020

2019

Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets".

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Incorporating automation logic in online chemical production scheduling.

[BibT_eX]

[DOI]

Blake C. Rawlings

Venkatachalam Avadiappan

Christos T. Maravelias

John M. Wassick

Comput. Chem. Eng., 2019

A general approach for optimizing dynamic sensor activation for discrete event systems.

[BibT_eX]

[DOI]

Autom., 2019

Enforcing opacity by insertion functions under multiple energy constraints.

[BibT_eX]

[DOI]

Autom., 2019

Discrete Event Systems: Modeling, Observation, and Control.

[BibT_eX]

[DOI]

Annu. Rev. Control. Robotics Auton. Syst., 2019

Towards resilient supervisors against sensor deception attacks.

[BibT_eX]

[DOI]

Rômulo Meira-Góes

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Supervisory Control under Local Mean Payoff Constraints.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Automated Synthesis of Secure Platform Mappings.

[BibT_eX]

[DOI]

Eunsuk Kang

Stavros Tripakis

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata.

[BibT_eX]

[DOI]

Romulo Meira Goes

Raymond H. Kwong

Proceedings of the 2019 American Control Conference, 2019

2018

Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Minimization of Sensor Activation in Decentralized Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Synthesis of Obfuscation Policies to Ensure Privacy and Utility.

[BibT_eX]

[DOI]

J. Autom. Reason., 2018

Enforcement of opacity by public and private insertion functions.

[BibT_eX]

[DOI]

Autom., 2018

Detection and mitigation of classes of attacks in supervisory control systems.

[BibT_eX]

[DOI]

Lilian Kawakami Carvalho

Raymond H. Kwong

Autom., 2018

On the history of diagnosability and opacity in discrete event systems.

[BibT_eX]

[DOI]

Christoforos N. Hadjicostis

Annu. Rev. Control., 2018

Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.

[BibT_eX]

[DOI]

Sahar Mohajerani

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Mean Payoff Supervisory Control Under Partial Observation.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Synthesis of Maximally-Permissive Supervisors for the Range Control Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Supervisory control and reactive synthesis: a comparative introduction.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.

[BibT_eX]

[DOI]

Alessandro Colombo

Domitilla Del Vecchio

Discret. Event Dyn. Syst., 2017

Synthesis of Property-Preserving Mappings.

[BibT_eX]

[DOI]

Eunsuk Kang

Stavros Tripakis

CoRR, 2017

Verification complexity of a class of observational properties for modular discrete events systems.

[BibT_eX]

[DOI]

Autom., 2017

A new approach for the verification of infinite-step and K-step opacity using two-way observers.

[BibT_eX]

[DOI]

Autom., 2017

Verification and synthesis of embedded insertion functions for opacity enforcement.

[BibT_eX]

[DOI]

Christoforos Keroglou

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Enforcing opacity by publicly known edit functions.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Stealthy deception attacks for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Scaling the formal synthesis of supervisory control software for multiple robot systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Decentralized Supervisory Control With Intersection-Based Architecture.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Synthesis of Optimal Insertion Functions for Opacity Enforcement.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

On two-way observer and its application to the verification of infinite-step and K-step opacity.

[BibT_eX]

[DOI]

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

On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.

[BibT_eX]

[DOI]

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

Detection and prevention of actuator enablement attacks in supervisory control systems.

[BibT_eX]

[DOI]

Lilian Kawakami Carvalho

Raymond H. Kwong

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

Obfuscator Synthesis for Privacy and Utility.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

On the maximally-permissive range control problem in partially-observed discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Planning under abstraction within a supervisory control context.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Enhancing opacity of stochastic discrete event systems using insertion functions.

[BibT_eX]

[DOI]

Gil Lederman

Proceedings of the 2016 American Control Conference, 2016

2015

Diagnosis of Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Systems and Control, 2015

SAT-Based Control of Concurrent Software for Deadlock Avoidance.

[BibT_eX]

[DOI]

Jason Stanley

Hongwei Liao

IEEE Trans. Autom. Control., 2015

Stability Analysis for Combustion Fronts Traveling in Hydraulically Resistant Porous Media.

[BibT_eX]

[DOI]

Anna Ghazaryan

P. McLarnan

SIAM J. Appl. Math., 2015

Erratum to: Diagnosis of discrete event systems using decentralized architectures.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2015

Special issue on recent advances in control of discrete event systems.

[BibT_eX]

[DOI]

Antonio Ramírez-Treviño

Manuel Silva Suárez

Discret. Event Dyn. Syst., 2015

Editorial: changes at J-DEDS.

[BibT_eX]

[DOI]

Xi-Ren Cao

Discret. Event Dyn. Syst., 2015

Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061).

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Nicolas Markey

Wolfgang Thomas

Dagstuhl Reports, 2015

Codiagnosability and coobservability under dynamic observations: Transformation and verification.

[BibT_eX]

[DOI]

Autom., 2015

A general approach for solving dynamic sensor activation problems for a class of properties.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Minimization of sensor activation in decentralized fault diagnosis of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Synthesis of opacity-enforcing insertion functions that can be publicly known.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the relationship between codiagnosability and coobservability under dynamic observations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Verification of the Observer Property in Discrete Event Systems.

[BibT_eX]

[DOI]

Antonio Eduardo Carrilho da Cunha

Hugo J. Bravo

Robi Malik

IEEE Trans. Autom. Control., 2014

On Most Permissive Observers in Dynamic Sensor Activation Problems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Synthesis of insertion functions for enforcement of opacity security properties.

[BibT_eX]

[DOI]

Autom., 2014

Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement.

[BibT_eX]

[DOI]

Karthik Abinav Sankararaman

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems.

[BibT_eX]

[DOI]

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

2013

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2013

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Comparative analysis of related notions of opacity in centralized and coordinated architectures.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2013

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2013

Robust diagnosis of discrete-event systems against permanent loss of observations.

[BibT_eX]

[DOI]

Lilian K. Carvalho

Marcos Vicente Moreira

Autom., 2013

Optimal sensor selection for ensuring diagnosability in labeled Petri nets.

[BibT_eX]

[DOI]

Maria Paola Cabasino

Carla Seatzu

Autom., 2013

Overview of fault diagnosis methods for Discrete Event Systems.

[BibT_eX]

[DOI]

Janan Zaytoon

Annu. Rev. Control., 2013

Practical lock/unlock pairing for concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Supervisory control for collision avoidance in vehicular networks with imperfect measurements.

[BibT_eX]

[DOI]

Alessandro Colombo

Domitilla Del Vecchio

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

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.

[BibT_eX]

[DOI]

Spyros A. Reveliotis

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Special issue on recent trends in discrete event systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2012

Computation of minimal event bases that ensure diagnosability.

[BibT_eX]

[DOI]

Saulo Telles Souza Lima

Marcos Vicente Moreira

Discret. Event Dyn. Syst., 2012

Explicit storage and analysis of billions of states using commodity computers.

[BibT_eX]

[DOI]

Jason Stanley

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

On the computation of supremal sublanguages relevant to supervisory control.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets.

[BibT_eX]

[DOI]

Maria Paola Cabasino

Carla Seatzu

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Enforcement of opacity properties using insertion functions.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

On Codiagnosability and Coobservability With Dynamic Observations.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function.

[BibT_eX]

[DOI]

Joceline Lega

S. Madrid

SIAM J. Appl. Math., 2011

Active fault tolerant control of discrete event systems using online diagnostics.

[BibT_eX]

[DOI]

Matteo Sartini

Autom., 2011

Simulation analysis of multithreaded programs under deadlock-avoidance control.

[BibT_eX]

[DOI]

Hongwei Liao

Hao Zhou

Proceedings of the Winter Simulation Conference 2011, 2011

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A framework for optimization of sensor activation using most permissive observers.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2010

Optimal sensor activation for diagnosing discrete event systems.

[BibT_eX]

[DOI]

Autom., 2010

Multi-level hierarchical interface-based supervisory control.

[BibT_eX]

[DOI]

José Eduardo Ribeiro Cury

Max Hering de Queiroz

Autom., 2010

Supervisory control of software execution for failure avoidance: Experience from the Gadara project.

[BibT_eX]

[DOI]

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

Efficient computation of observer projections using OP-verifiers.

[BibT_eX]

[DOI]

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

Optimal deadlock avoidance for complex resource allocation systems through classification theory.

[BibT_eX]

[DOI]

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

Robust diagnosis of discrete-event systems subject to permanent sensor failures.

[BibT_eX]

[DOI]

Saulo Telles Souza Lima

Marcos Vicente Moreira

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

A methodology for modular model-building in discrete automation.

[BibT_eX]

[DOI]

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On most permissive observers in dynamic sensor optimization problems for discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009

Verification of Nonconflict of Supervisors Using Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Eliminating Concurrency Bugs with Control Engineering.

[BibT_eX]

[DOI]

Computer, 2009

Predictability of event occurrences in partially-observed discrete-event systems.

[BibT_eX]

[DOI]

Autom., 2009

The theory of deadlock avoidance via discrete control.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

The verification of codiagnosability in the case of dynamic observations.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

An online algorithm for minimal sensor activation in discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability analysis of unbounded Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Dynamic sensor activation for event diagnosis.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

Robust codiagnosability of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2008

Discrete Event Systems: Untimed Models and their Analysis.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

An algorithm for maximising covered area.

[BibT_eX]

[DOI]

Int. J. Control, 2008

On the Minimization of Communication in Networked Systems with a Central Station.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2008

Diagnosability Analysis of a Class of Hierarchical State Machines.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2008

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Optimal sensor activation in controlled discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Polynomial-time verification of the observer property in abstractions.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

Modular supervisory control with equivalence-based conflict resolution.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

Introduction to Discrete Event Systems, Second Edition.

[BibT_eX]

[DOI]

Christos G. Cassandras

Springer, ISBN: 978-0-387-33332-8, 2008

2007

Distributed Diagnosis of Place-Bordered Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2007

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

[BibT_eX]

[DOI]

Karen Rudie

IEEE Trans. Autom. Control., 2007

High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis.

[BibT_eX]

[DOI]

SIAM J. Appl. Math., 2007

An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2007

Diagnosis of Discrete Event Systems Using Decentralized Architectures.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2007

Special Issue on WODES'06.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2007

Discrete control for safe execution of IT automation workflows.

[BibT_eX]

[DOI]

Terence Kelly

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006

The Verification and Control of Interacting Similar Discrete-Event Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2006

Solvability of Centralized Supervisory Control Under Partial Observation.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2006

Diagnosability of Discrete Event Systems with Modular Structure.

[BibT_eX]

[DOI]

Olivier Contant

Discret. Event Dyn. Syst., 2006

Discrete Control for Dependable IT Automation.

[BibT_eX]

[DOI]

Terence Kelly

Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

New Results on Testing Modularity of Local Supervisors using Abstractions.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

A Polynomial Algorithm for Minimizing Communication in a Distributed Discrete Event System with a Central Station.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Diagnosis of Patterns in Partially-Observed Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Decentralized Supervisory Control With Conditional Decisions: Supervisor Realization.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2005

Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism.

[BibT_eX]

[DOI]

Joceline Lega

SIAM J. Math. Anal., 2005

PSPACE-completeness of Modular Supervisory Control Problems*.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2005

Contributing Authors.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2005

Safe diagnosability for fault-tolerant supervision of discrete-event systems.

[BibT_eX]

[DOI]

Autom., 2005

Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Decentralized supervisory control with conditional decisions: supervisor existence.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2004

Diagnosis of Intermittent Faults.

[BibT_eX]

[DOI]

Olivier Contant

Discret. Event Dyn. Syst., 2004

Symmetry reductions for a class of discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Minimal communication in a distributed discrete-event system.

[BibT_eX]

[DOI]

Karen Rudie

IEEE Trans. Autom. Control., 2003

Deciding co-observability is PSPACE-complete.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

On the synthesis of safe control policies in decentralized control of discrete-event systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems.

[BibT_eX]

[DOI]

Rami Debouk

Discret. Event Dyn. Syst., 2003

The control and verification of similar agents operating in a broadcast network environment.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Safe diagnosability of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Low-energy wireless communication network design.

[BibT_eX]

[DOI]

IEEE Wirel. Commun., 2002

NP-completeness of sensor selection problems arising in partially observed discrete-event systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2002

Polynomial-time verification of diagnosability of partially observed discrete-event systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2002

A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2002

On an Optimization Problem in Sensor Selection*.

[BibT_eX]

[DOI]

Rami Debouk

Discret. Event Dyn. Syst., 2002

On optimal control of a class of partially observed discrete event systems.

[BibT_eX]

[DOI]

Olivier Boivineau

Autom., 2002

On the computational complexity of the verification of modular discrete-event systems.

[BibT_eX]

[DOI]

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

Failure diagnosis of discrete event systems: the case of intermittent faults.

[BibT_eX]

[DOI]

Olivier Contant

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

2001

Optimal control of discrete event systems under partial observation.

[BibT_eX]

[DOI]

Olivier Boivineau

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

On the computational complexity of some problems arising in partially-observed discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

Failure diagnosis of dynamic systems: an approach based on discrete event systems.

[BibT_eX]

[DOI]

Meera Sampath

Raja Sengupta

Kasim Sinnamohideen

Proceedings of the American Control Conference, 2001

2000

Design of nonblocking modular supervisors using event priority functions.

[BibT_eX]

[DOI]

Yi-Liang Chen

IEEE Trans. Autom. Control., 2000

Decentralized supervisory control with communicating controllers.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2000

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.

[BibT_eX]

[DOI]

Olivier Boivineau

SIAM J. Control. Optim., 2000

Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems.

[BibT_eX]

[DOI]

Rami Debouk

Discret. Event Dyn. Syst., 2000

Incremental model evolution and reusability of supervisors for discrete event systems.

[BibT_eX]

[DOI]

Yi-Liang Chen

Autom., 2000

New results on decentralized supervisory control of discrete-event systems.

[BibT_eX]

[DOI]

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

On the separation of estimation and control in discrete-event systems.

[BibT_eX]

[DOI]

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

1999

Adaptive Look-ahead Optimization of Traffic Signals.

[BibT_eX]

[DOI]

Isaac Porche

J. Intell. Transp. Syst., 1999

Introduction to Discrete Event Systems

[BibT_eX]

[DOI]

Christos G. Cassandras

The Kluwer International Series on Discrete Event Dynamic Systems 11, Springer, ISBN: 978-1-4757-4070-7, 1999

1998

Active diagnosis of discrete-event systems.

[BibT_eX]

[DOI]

Meera Sampath

IEEE Trans. Autom. Control., 1998

Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 1998

A novel framework for decentralized supervisory control with communication.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Resolving Feature Interactions Using Modular Supervisory Control with Priorities.

[BibT_eX]

Yi-Liang Chen

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1996

Failure diagnosis using discrete-event models.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 1996

Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation.

[BibT_eX]

[DOI]

Nejib Ben Hadj-Alouane

Discret. Event Dyn. Syst., 1996

1995

Diagnosability of discrete-event systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1995

1994

Variable lookahead supervisory control with state information.

[BibT_eX]

[DOI]

Nejib Ben Hadj-Alouane

IEEE Trans. Autom. Control., 1994

Supervisory control using variable lookahead policies.

[BibT_eX]

[DOI]

Sheng-Luen Chung

Discret. Event Dyn. Syst., 1994

1993

Recursive computation of limited lookahead supervisory controls for discrete event systems.

[BibT_eX]

[DOI]

Sheng-Luen Chung

Discret. Event Dyn. Syst., 1993

An Information Model for Human Genome Map Representation and Assembly.

[BibT_eX]

[DOI]

Amy J. Lee

Elke A. Rundensteiner

Spencer Thomas

Proceedings of the CIKM 93, 1993

1992

A graph-theoretic optimal control problem for terminating discrete event processes.

[BibT_eX]

[DOI]

Raja Sengupta

Discret. Event Dyn. Syst., 1992

1991

On tolerable and desirable behaviors in supervisory control of discrete event systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 1991

1989

An Intelligent Search Method for Query Optimization by Semijoins.

[BibT_eX]

[DOI]

Hyuck Yoo

IEEE Trans. Knowl. Data Eng., 1989

A Knowledge-Based Approach to Multiple Query Processing.

[BibT_eX]

[DOI]

Jong Tae Park

Toby J. Teorey

Data Knowl. Eng., 1989

1986

A State Transition Model for Distributed Query Processing.

[BibT_eX]

[DOI]