STCT

STCT: An efficient algorithm for supervisory control design This paper introduces a new synthesis approach for the supervisory control of discrete-event systems (DES). Our algorithm, named S(mart)TCT after our software package CTCT hitherto in use, is much more efficient than CTCT. Efficiency is achieved by exploiting the modular composition of the plant and specification in DES, and its embodiment in integer decision diagrams (IDDs) as the basic data structure

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 9 articles , 1 standard article )

Showing results 1 to 9 of 9.
Sorted by year (citations)

  1. Ambartsumyan, A. A.: Supervisory control of the structured dynamic discrete-event systems (2009)
  2. Yang, Y.; Mannani, A.; Gohari, P.: Implementation of supervisory control using extended finite-state machines (2008)
  3. Blouin, Stephane; Guay, Martin; Rudie, Karen: An application of discrete-event theory to truck dispatching (2007)
  4. Plyasunov, Sergey; Arkin, Adam P.: Efficient stochastic sensitivity analysis of discrete event systems (2007)
  5. Saadatpoor, Ali; Wonham, W. M.: State based control of timed discrete event systems using binary decision diagrams (2007)
  6. Ma, Chuan; Wonham, W. Murray: Nonblocking supervisory control of state tree structures. (2005)
  7. Gaudin, B.; Marchand, H.: Supervisory control of product and hierarchical discrete event systems (2004)
  8. Malik, Robi; Streader, David; Reeves, Steve: Fair testing revisited: A process-algebraic characterisation of conflicts (2004)
  9. Zhang, Zhonghua; Wonham, W. M.: STCT: An efficient algorithm for supervisory control design (2002)