ABSTRACT
The readers flow control in public libraries is an important problem. In this paper, we present a new formulation for the library readers flow control via the supervisory control theory of discrete-event systems (DESs). First of all, we formulate the library readers flow problem via the model of DESs. Secondly, for the usual control specification, we present its automaton characterization, and then prove its controllability and further provide a supervisor that can achieve the specification. This paper demonstrates that the supervisory control framework can provide a simple and flexible solution for the readers flow control in public libraries.
- C G Cassandras and S Lafortune (2009). Introduction to Discrete Event Systems. 2nd ed., Springer, New York.Google Scholar
- R Kumar and V K Garg (2012). Modeling and Control of Logical Discrete Event Systems. Springer, New York.Google Scholar
- R J Ramadge and W M Wonham (1987). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1), 206--230.Google ScholarDigital Library
- F Lin and W M Wonham (1988). On observability of discrete-event systems. Information Sciences, 44(3), 173--198.Google ScholarDigital Library
- R Cieslak, C Desclaux, A S Fawaz and P Varaiya (1988). Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33(3), 249--260.Google ScholarCross Ref
- H Cho and S I Marcus (1989). On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Mathematics of Control, Signals and Systems, 2(1), 47--69.Google ScholarCross Ref
- K Rudie and W M Wonham (1990). The infimal prefix-closed and observable superlanguange of a given language. System & Control Letters, 15(5), 361--371.Google ScholarDigital Library
- R Kumar and M Shayman (1998). Formulae relating controllability, observability, and co-observability. Automatica, 32(2), 211--215.Google ScholarDigital Library
- S Takai and T Ushio (2003). Effective computation of an Lm (G)-closed, controllable, and observable sublanguage arising in supervisory control. Systems & Control Letters, 49(3), 191--200.Google ScholarCross Ref
- J G Thistle and H M Lamouchi (2009). Effective control synthesis for partially observed discrete-event systems. SIAM Journal on Control and Optimization, 48(3), 1858--1887.Google ScholarDigital Library
- X Yin and S Lafortune (2016). Synthesis of maximally permissive supervisors for partially observed discrete event systems. IEEE Transactions on Automatic Control, 61(5), 1239--1254.Google ScholarCross Ref
- X Yin and S Lafortune (2017). Synthesis of maximally-permissive supervisors for the range control problem. IEEE Transactions on Automatic Control, 62(8), 3914--3929.Google ScholarCross Ref
- K Rudie and W M Wonham (1992). Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control, 37(11), 1692--1708.Google ScholarCross Ref
- J Prosser, M Kam and H Kwatny (1997). Decision fusion and supervisor synthesis in decentralized discrete-event systems. In Proceedings of American Control Conference, 2251--2255.Google ScholarCross Ref
- T-S Yoo and S Lafortune (2002), A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, 12(3), 335--377.Google ScholarDigital Library
- T-S Yoo and S Lafortune (2004), Decentralized supervisory control with conditional decisions: Supervisor existence. IEEE Transactions on Automatic Control, 49(11), 1886--1904.Google ScholarCross Ref
- T-S Yoo and S Lafortune (2005). Decentralized supervisory control with conditional decisions: Supervisor realization. IEEE Transactions on Automatic Control, 50(8), 1205--1211.Google ScholarCross Ref
- R Kumar and S Takai (2007). Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems. IEEE Transactions on Automatic Control, 52(10), 1783--1794.Google ScholarCross Ref
- H Chakib and A Khoumsi (2011). Multi-decision supervisory control: Parallel decentralized architectures cooperating for controlling discrete event systems. IEEE Transactions on Automatic Control, 56(11), 2608--2622.Google ScholarCross Ref
- A Khoumsi and H Chakib (2018). Decentralized supervisory control of discrete event systems: An arborescent architecture to realize inferencebased control. IEEE Transactions on Automatic Control, 63(12), 4278--4285.Google ScholarCross Ref
- X Yin and S Lafortune (2016). Decentralized supervisory control with intersection-based architecture. IEEE Transactions on Automatic Control, 61(11), 3644--3650.Google ScholarCross Ref
- F Lin and H Ying (2002), Modeling and control of fuzzy discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 32(4), 408--415.Google ScholarDigital Library
- D W Qiu (2005). Supervisory control of fuzzy discrete event systems: a formal approach. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 35(1), 72--88.Google ScholarDigital Library
- Y Cao and M Ying (2005). Supervisory control of fuzzy discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 35(2), 366--371.Google ScholarDigital Library
- D W Qiu and F Liu (2009). Fuzzy discrete-event systems under fuzzy observability and a test algorithm. IEEE Transactions on Fuzzy Systems, 17(3), 578--589.Google ScholarDigital Library
- F Liu and D Qiu (2009). Diagnosability of fuzzy discrete-event systems: a fuzzy approach. IEEE Transactions on Fuzzy Systems, 17(2), 372--384.Google ScholarDigital Library
- W Deng and D W Qiu (2015). Supervisory control of fuzzy discrete event systems for simulation equivalence. IEEE Transactions on Fuzzy Systems, 23(1), 178--192.Google ScholarDigital Library
- R Huq, G Mann and R G Gosine (2006). Behavior-modulation technique in mobile robotics using fuzzy discrete event system. IEEE Transactions on Robotics, 22(5): 903--916.Google ScholarDigital Library
- Jayasiri G K I Mann and R Gosine (2011). Behavior Coordination of Mobile Robotics Using Supervisory Control of Fuzzy Discrete Event Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 41(5), 1224--1238.Google ScholarDigital Library
- K Schmidt and Y Boutalis (2012). Fuzzy Discrete Event Systems for Multi-objective Control: Framework and Application to Mobile Robot Navigation. IEEE Transactions on Fuzzy Systems, 20(5), 910--922.Google ScholarDigital Library
- F Lin, H Ying, X Luan and R D MacArthur (2005). Theory for a control architecture of fuzzy discrete event system for decision making. In Proceedings 44th Conference Decision Control Europe Control Conference, 2769-2774.Google ScholarCross Ref
Index Terms
- Library Readers Flow Control Based on the Supervisory Control Theory of Discrete-event Systems
Recommendations
Supervisory control synthesis of discrete-event systems using a coordination scheme
Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications, the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This ...
Optimal Supervisory Control of Discrete Event DynamicalSystems
The notion of optimal supervisory control of discrete event dynamical systems (DEDSs) is formalized in the framework of Ramadge and Wonham. A DEDS is modeled as a state machine and is controlled by disabling some of its transitions. Two types of cost ...
Multitasking Supervisory Control of Discrete-Event Systems
This paper presents an approach for functionally dealing with multiple tasks in the supervisory control of discrete-event systems (DES). The colored marking generator (CMG), a special type of Moore automaton, is introduced as a model that distinguishes ...
Comments