Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal validation of intelligent-automated production systems: Towards industrial applications
Department of Engineering Sciences, Martin Luther University Halle-Wittenberg.
Institute of Production Engineering, Tampere University of Technology.
Institute of Production Engineering, Tampere University of Technology.
Institute of Production Engineering, Tampere University of Technology.
Show others and affiliations
2006 (English)In: International Journal of Manufacturing Technology and Management (IJMTM), ISSN 1368-2148, E-ISSN 1741-5195, Vol. 8, no 1-3, p. 75-106Article in journal (Refereed) Published
Abstract [en]

This paper introduces a framework for formal modelling and validation of automation systems destined to be used directly by control engineers. The framework is based on a modelling formalism of Net Condition/Event Systems (NCES), which is graphical, modular and typed. This allows for the modelling of realistic hierarchically organised automation systems in a closed plant-controller loop. The framework consists of methodologies and tools, which enable formal analysis of automation systems. The framework is to be used for the improvement of safety characteristics, reliability and robustness of such systems by means of prediction of potential faults and deadlocks

Place, publisher, year, edition, pages
2006. Vol. 8, no 1-3, p. 75-106
Identifiers
URN: urn:nbn:se:ltu:diva-3590Local ID: 16afb4a7-5378-4242-85b6-6d563eb06062OAI: oai:DiVA.org:ltu-3590DiVA, id: diva2:976448
Note
Upprättat; 2006; 20130516 (andbra)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2017-11-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
In the same journal
International Journal of Manufacturing Technology and Management (IJMTM)

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 13 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf