Analyzing a wind turbine system: From simulation to formal verification

Many industrial systems are hybrid by nature, most often being made of a discrete controller that senses and regulates the execution of a plant characterized by continuous dynamics. Examples of such systems include wind turbines that convert wind energy into electrical energy. Designing industrial c...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming Jg. 133; S. 216 - 242
Hauptverfasser:	Seceleanu, Cristina, Johansson, Morgan, Suryadevara, Jagadish, Sapienza, Gaetana, Seceleanu, Tiberiu, Ellevseth, Stein-Erik, Pettersson, Paul
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.01.2017
Schlagworte:	Clocks Controllers Embedded software Embedded systems Formal verification Industrial control systems MaTeLo MATLAB Model based techniques Model based testing Model checking Modeling and verifications Semantics Specification languages UPPAAL Verification-and-validation Wind power Wind turbine system Wind turbine systems Wind turbines Model checking MaTeLo Model-based testing Wind turbine system UPPAAL
ISSN:	0167-6423, 1872-7964, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!