Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Application of visual specifications for verification of distributed controllers
Automation Technology Group, Department of Engineering Science, Martin Luther Univ. Halle-Wittenberg.
2013 (English)In: E-systems and e-man for cybernetics in cyberspace, Piscataway, NJ: IEEE Communications Society, 2013, Vol. 1, p. 646-651Conference paper, Published paper (Refereed)
Abstract [en]

In a search of an appropriate visual specification language to be applied in control engineering the timing diagram specification language is suggested. It is applied to the verification of distributed controllers following the standard IEC 61499. Specification of inputs and outputs of the controller are given in the graphical form of signal diagrams. The inputs are then converted into finite-state models, while the diagram of outputs is used to build equivalent analytic expressions in extended CTL. These two parts are used in formal verification of the control system.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2013. Vol. 1, p. 646-651
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:ltu:diva-31730Local ID: 5fd3d28b-ca02-4eed-a586-2b188ee96513OAI: oai:DiVA.org:ltu-31730DiVA, id: diva2:1004964
Conference
IEEE International Conference on Systems, Man, and Cybernetics : 07/10/2001 - 10/10/2001
Note
Upprättat; 2013; 20130614 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Search in DiVA

By author/editor
Vyatkin, Valeriy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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