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