Sökning: onr:"swepub:oai:DiVA.org:ltu-3590" >
Formal validation o...
Formal validation of intelligent-automated production systems : Towards industrial applications
-
- Hanisch, Hans Michael (författare)
- Department of Engineering Sciences, Martin Luther University Halle-Wittenberg
-
- Lobov, Andrei (författare)
- Institute of Production Engineering, Tampere University of Technology
-
- Lastra, José Luis Martínez (författare)
- Institute of Production Engineering, Tampere University of Technology
-
visa fler...
-
- Tuokko, Reijo O. (författare)
- Institute of Production Engineering, Tampere University of Technology
-
Vyatkin, Valeriy (författare)
-
visa färre...
-
(creator_code:org_t)
- 2006
- 2006
- Engelska.
-
Ingår i: International Journal of Manufacturing Technology and Management (IJMTM). - 1368-2148 .- 1741-5195. ; 8:1-3, s. 75-106
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas