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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Science of computer programming Ročník 133; s. 216 - 242
Hlavní autori:	Seceleanu, Cristina, Johansson, Morgan, Suryadevara, Jagadish, Sapienza, Gaetana, Seceleanu, Tiberiu, Ellevseth, Stein-Erik, Pettersson, Paul
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.01.2017
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!