Sökning: id:"swepub:oai:DiVA.org:ltu-68194" >
Modular Plant Model...
Modular Plant Model Synthesis from Behavior Traces and Temporal Properties
-
- Buzhinsky, Igor (författare)
- Department of Electrical Engineering and Automation, Aalto University
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap,Department of Electrical Engineering and Automation, Aalto University
-
(creator_code:org_t)
- Piscataway, Nj : Institute of Electrical and Electronics Engineers (IEEE), 2018
- 2018
- Engelska.
-
Ingår i: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). - Piscataway, Nj : Institute of Electrical and Electronics Engineers (IEEE). - 9781509065059
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Reliability of industrial automation software, which is usually ensured with testing and simulation, can be improved using formal analysis and, in particular, the technique of model checking. In model checking, considering the closed loop composition of the plant model and the controller model allows checking a larger class of properties than in the more traditional open-loop case, where the model of the controller is verified alone. Constructing the formal model of the plant automatically may significantly reduce human workload and mitigate the human factor issue. Commonly, complex industrial plants and controllers have modular structure, and thus the problem of automatic construction of a modular plant model is important. This paper proposes two techniques which extend an earlier proposed method of monolithic plant model construction to the modular case.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas