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ženo v:

Podrobná bibliografie
Vydáno v:	Science of computer programming Ročník 133; s. 216 - 242
Hlavní autoři:	Seceleanu, Cristina, Johansson, Morgan, Suryadevara, Jagadish, Sapienza, Gaetana, Seceleanu, Tiberiu, Ellevseth, Stein-Erik, Pettersson, Paul
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.01.2017
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!