Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking

Publiceringsår

2018

Upphovspersoner

Guellouz, Safa; Benzina, Adel; Khalgui, Mohamed; Frey, Georg; Li, Zhiwu; Vyatkin, Valeriy

Organisationer och upphovspersoner

Aalto-universitetet

Vyatkin Valeriy

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal/Serie

IEEE Transactions on Automation Science and Engineering

Förläggare

IEEE

Volym

Nummer

Sidor

1110-1124

ISSN

1558-3783

Publikationsforum

57519

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap; El-, automations- och telekommunikationsteknik, elektronik

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Identifierade tema

[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1109/TASE.2018.2868897