Skip to main content

2017 | OriginalPaper | Buchkapitel

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

verfasst von : Filippo Boschi, Giacomo Tavola, Marco Taisch

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

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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)
Metadaten
Titel
A Description and Analysis Method for Reconfigurable Production Systems Based on Finite State Automaton
verfasst von
Filippo Boschi
Giacomo Tavola
Marco Taisch
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-51100-9_31