Formal verification of observers supervising a cyber-physical system implemented using IEC 61499

Julkaisuvuosi

2023

Tekijät

Ovsiannikova, Polina; Priol, Etienne Le; Perret, Vincent; Jhunjhunwala, Pranay; Xavier, Midhun; Vyatkin, Valeriy

Organisaatiot ja tekijät

Aalto-yliopisto

Ovsiannikova Polina

Jhunjhunwala Pranay

Vyatkin Valeriy

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Volyymi

2023-June

ISSN

2163-5145

ISBN

979-8-3503-9971-4

Julkaisufoorumi

79731

Julkaisufoorumitaso

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Rinnakkaistallennettu

Muut tiedot

Tieteenalat

Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka

Avainsanat

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

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

DOI

10.1109/ISIE51358.2023.10228148

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen