Skip to main content
Top

2017 | OriginalPaper | Chapter

A Description and Analysis Method for Reconfigurable Production Systems Based on Finite State Automaton

Authors : Filippo Boschi, Giacomo Tavola, Marco Taisch

Published in: Service Orientation in Holonic and Multi-Agent Manufacturing

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Spath, D., Gerlach, S., Schlund, S.: Cyber-physical system for self-organised and flexible labour utilisation. In: 22nd International Conference on Production Research (2013) Spath, D., Gerlach, S., Schlund, S.: Cyber-physical system for self-organised and flexible labour utilisation. In: 22nd International Conference on Production Research (2013)
2.
go back to reference Nyhuis, P., Duffie, N., Brieke, M.: Changeable manufacturing—classification, design and operation. CIRP Ann. Manuf. Technol. Ann. Technol. 56(2), 783–809 (2007) Nyhuis, P., Duffie, N., Brieke, M.: Changeable manufacturing—classification, design and operation. CIRP Ann. Manuf. Technol. Ann. Technol. 56(2), 783–809 (2007)
3.
go back to reference Maraninchi, F.: The argos language: graphical representation of automata and description of reactive systems. In: IEEE Workshop on Visual Languages, vol. 3 (1991) Maraninchi, F.: The argos language: graphical representation of automata and description of reactive systems. In: IEEE Workshop on Visual Languages, vol. 3 (1991)
4.
go back to reference Shankara Narayanan, K., Trivedi, A.: Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems (2015). arXiv preprint arXiv:1503.04928 Shankara Narayanan, K., Trivedi, A.: Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems (2015). arXiv preprint arXiv:​1503.​04928
5.
go back to reference Wakerly, J.F.: Sequential Logic Design Principles, in Digital Design: Principles and Practices, pp. 431–558. Prentice Hall (2005) Wakerly, J.F.: Sequential Logic Design Principles, in Digital Design: Principles and Practices, pp. 431–558. Prentice Hall (2005)
6.
go back to reference 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) 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)
7.
go back to reference Hopcroft, J., Ullman, J.: Finite Automata, in Introduction to Automata Theory Languages and Computation, S. Rivas, Ed. Pearson Education, pp. 37–81 (1979) Hopcroft, J., Ullman, J.: Finite Automata, in Introduction to Automata Theory Languages and Computation, S. Rivas, Ed. Pearson Education, pp. 37–81 (1979)
8.
go back to reference 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 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
9.
go back to reference Albert, A.: Comparison of Event-Triggered and Time-Triggered Concepts with Regard to Distributed Control Systems, in Embedded World, pp. 235–252 (2004) Albert, A.: Comparison of Event-Triggered and Time-Triggered Concepts with Regard to Distributed Control Systems, in Embedded World, pp. 235–252 (2004)
10.
go back to reference 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) 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)
Metadata
Title
A Description and Analysis Method for Reconfigurable Production Systems Based on Finite State Automaton
Authors
Filippo Boschi
Giacomo Tavola
Marco Taisch
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-51100-9_31

Premium Partner