Abstract
Supervisory Control Theory (SCT) is an important framework for establishing formal control of discrete event systems (DES). It is divided into two main approaches: (i) the qualitative approach which studies the DES logical performances with respect to the logical states and events; and (ii) the quantitative approach which is interested in the performance assessment, and introduces “Time” to the untimed DES. This work concerns DES where the elapse of time among the events can affect the system behavior. We recently proposed an untimed approach to distributed supervisory control design and implementation. In this paper, the concept of time observer is introduced to incorporate time dependencies to the proposed approach. The applicability of the proposed method is validated by an experimental Automated Manufacturing System (AMS).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Grafcet will be mentioned with a capital G when referring to the tool in general, and mentioned with a small g (grafcet) when referring to a specific logic controller model.
References
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer Science & Business Media, New York (2009)
Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206–230 (1987)
Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing, Co., Boston (2006)
Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
Xu, S., Kumar, R.: Real-time control of dense-time systems using digital-clocks. IEEE Trans. Autom. Control 55(9), 2003–2013 (2010)
Brandin, B.A., Wonham, W.M.: Supervisory control of timed discrete-event systems. IEEE Trans. Autom. Control 39(2), 329–342 (1994)
Zhang, R., Cai, K., Gan, Y., Wonham, W.M.: Distributed supervisory control of discrete-event systems with communication delay. Discrete Event Dyn. Syst. 26(2), 263–293 (2014)
Qamsane, Y., Tajer, A., Philippot, A.: Synthesis and implementation of distributed control for a flexible manufacturing system. In: 2nd World Conference on Complex Systems (WCCS), pp. 323–329. IEEE (2014)
Qamsane, Y., Tajer, A., Philippot, A.: A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation. Int. J. Prod. Res. 55(15), 4283–4303 (2017)
IEC Standard 60848.: Grafcet Specification Language for Sequential Function Charts. International Electrotechnical Commission (2013)
Tajer, A., Philippot, A., Carr-Mntrier, V.: Centralized controller for manufacturing systems through liveness extraction approach. Int. J. Syst. Control Commun. 5(3), 189–213 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Qamsane, Y., Tajer, A., Philippot, A., Elbacha, A. (2018). Synthesis and Implementation of Timed Distributed Supervisory Controller: Application to an Automated Manufacturing System. In: Abraham, A., Haqiq, A., Ella Hassanien, A., Snasel, V., Alimi, A. (eds) Proceedings of the Third International Afro-European Conference for Industrial Advancement — AECIA 2016. AECIA 2016. Advances in Intelligent Systems and Computing, vol 565. Springer, Cham. https://doi.org/10.1007/978-3-319-60834-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-60834-1_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60833-4
Online ISBN: 978-3-319-60834-1
eBook Packages: EngineeringEngineering (R0)