EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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 verification of observers supervising a cyber-physical system implemented using IEC 61499
Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland.
Department of Mechanical Engineering, Ecole Normale Sup ´ erieure Paris-Saclay, Gif-sur-Yvette, France.
Department of Mechanical Engineering, Ecole Normale Sup ´ erieure Paris-Saclay, Gif-sur-Yvette, France.
Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland.
Show others and affiliations
2023 (English)In: 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), IEEE, 2023Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE, 2023.
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-104011DOI: 10.1109/ISIE51358.2023.10228148Scopus ID: 2-s2.0-85172111956OAI: oai:DiVA.org:ltu-104011DiVA, id: diva2:1832597
Conference
32nd IEEE International Symposium on Industrial Electronics (ISIE) 2023, Helsinki, Finland, June 19-21, 2023
Note

Funder: European Commission (871743); European Commission (101057083);

ISBN for host publication: 979-8-3503-9972-1

Available from: 2024-01-30 Created: 2024-01-30 Last updated: 2024-01-30Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Xavier, MidhunVyatkin, Valeriy

Search in DiVA

By author/editor
Xavier, MidhunVyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 33 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
v. 2.45.0
|
Researcher: Register
|
Student: Register
|
Contact
|
WCAG