Supervisory control of extended finite automata using transition projection

No abstract is available for this paper.

• Publication year

  2012

• Venue

  IEEE Conference on Decision and Control

• Publication date

  2012-12-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/CDC.2012.6427390
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata

  2011influential reference
• Nondeterminism avoidance in compositional synthesis of discrete event systems

  2011cited by this paper
• BDD-based supervisory control on extended finite automata

  2011cited by this paper
• Reduced-order synthesis of operation sequences

  2011cited by this paper
• SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS

  2011cited by this paper
• Automatic generation of controllers for collision-free flexible manufacturing systems

  2010cited by this paper
• Sequence Planning for Integrated Product, Process and Automation Design

  2010cited by this paper
• Supervisory Control Architecture for Discrete-Event Systems

  2008cited by this paper
• Modeling of discrete event systems using finite automata with variables

  2007cited by this paper
• Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems

  2006cited by this paper
• On the Computation of Natural Observers in Discrete-Event Systems

  2006cited by this paper
• Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems

  2005cited by this paper
• Hierarchical interface-based supervisory Control-part I: serial case

  2005cited by this paper
• Hierarchical interface-based supervisory control-part II: parallel case

  2005cited by this paper
• Hierarchical control for structural decentralized DES

  2004cited by this paper
• Efficient supervisory synthesis of large systems

  2004cited by this paper
• On the Computation of Observers in Discrete-Event Systems

  2004cited by this paper
• Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems

  2002cited by this paper
• On the complexity of supervisory control design in the RW framework

  2000cited by this paper
• Modular control of composed systems

  2000cited by this paper
• Introduction to Discrete Event Systems

  1999cited by this paper
• PLC-based implementation of supervisory control for discrete event systems

  1998cited by this paper
• On the Complexity of Projections of Discrete-Event Systems

  1998cited by this paper
• Modular Control and Coordination of Discrete-Event Systems

  1998cited by this paper
• Hierarchical control of discrete-event systems

  1996cited by this paper
• Control of Discrete Event Systems

  1992cited by this paper
• The control of discrete event systems

  1989cited by this paper
• Decentralized supervisory control of discrete-event systems

  1987cited by this paper
• Supervisory control of a class of discrete event processes

  1987cited by this paper
• Introduction to Automata Theory, Languages and Computation

  1979cited by this paper
• IEEE TRANSACTIONS ON SYSTEMS , MAN , AND CYBERNETICS

  year unknowncited by this paper

• Contribution to the integration of supervisory control theory in a model-based system engineering method

  2019cites this paper
• Supervisory control synthesis for large-scale infrastructural systems

  2019cites this paper
• Symbolic On-the-Fly Synthesis in Supervisory Control Theory

  2016cites this paper
• Control design for nondeterministic input/output automata

  2015cites this paper
• On the Computation of Natural Observers for Extended Finite Automata

  2014cites this paper
• Symbolic Interpretation and Execution of Extended Finite Automata

  2014cites this paper
• Abstractions for nonblocking supervisory control of Extended Finite Automata

  2012cites this paper