Abstract
New production systems are highly reconfigurable and interact with dynamic industrial environments. Their modelling, simulation and analysis of the operations and evaluation of performances are now much more complex than in the past when system had a static and predefined behaviour. This paper proposes a method to describe and analyse complex production systems, based on utilization of FSA (Finite State Automaton). This approach is enabling better understanding and sharing with stakeholders of how a system works, but it is also a good basis for computer based simulation and control. The interaction with external environments is structured in terms of External Events (inputs) and Trigger Outputs. The analysis of the system state evolution in the time domain provides the possibility to calculate KPIs (Key Performance Indicators) in specific conditions or their evolution. In this paper a simplified language syntax describing the automaton including output generation and triggering of external functions of the production environment is proposed. The approach is implemented and demonstrated in a particular industrial domain: industrial machinery fabrication sector.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Spath, D., Gerlach, S., Schlund, S.: Cyber-physical system for self-organised and flexible labour utilisation. In: 22nd International Conference on Production Research (2013)
Nyhuis, P., Duffie, N., Brieke, M.: Changeable manufacturing—classification, design and operation. CIRP Ann. Manuf. Technol. Ann. Technol. 56(2), 783–809 (2007)
Maraninchi, F.: The argos language: graphical representation of automata and description of reactive systems. In: IEEE Workshop on Visual Languages, vol. 3 (1991)
Shankara Narayanan, K., Trivedi, A.: Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems (2015). arXiv preprint arXiv:1503.04928
Wakerly, J.F.: Sequential Logic Design Principles, in Digital Design: Principles and Practices, pp. 431–558. Prentice Hall (2005)
Thirumaran, M.: Evaluating service business logic using finite state machine for dynamic service integration. Int. J. Comput. Appl. (0975–8887) 22(7), 33–39 (2011)
Hopcroft, J., Ullman, J.: Finite Automata, in Introduction to Automata Theory Languages and Computation, S. Rivas, Ed. Pearson Education, pp. 37–81 (1979)
Wright, D.R.: Finite state machines. CSC215 Class Notes. Professor David R. Wright website. N. Carolina State University, pp. 1–28 (2012). Accessed 14 July 2012
Albert, A.: Comparison of Event-Triggered and Time-Triggered Concepts with Regard to Distributed Control Systems, in Embedded World, pp. 235–252 (2004)
Danda, I.S., Rawat, B., Rodrigues, J.: Analysis and Design of yber Physical System: a Hybrid Control Systems Approach, in Cyber Physical System: from Theory to Practice, pp. 3–31 (2015)
PERFoRM—Production harmonizEd Reconfiguration of Flexible Robots and Machinery (2016). http://www.horizon2020-perform.eu
Acknowledgements
This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No 680435.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Boschi, F., Tavola, G., Taisch, M. (2017). A Description and Analysis Method for Reconfigurable Production Systems Based on Finite State Automaton. In: Borangiu, T., Trentesaux, D., Thomas, A., Leitão, P., Oliveira, J. (eds) Service Orientation in Holonic and Multi-Agent Manufacturing . SOHOMA 2016. Studies in Computational Intelligence, vol 694. Springer, Cham. https://doi.org/10.1007/978-3-319-51100-9_31
Download citation
DOI: https://doi.org/10.1007/978-3-319-51100-9_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51099-6
Online ISBN: 978-3-319-51100-9
eBook Packages: EngineeringEngineering (R0)