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

Full description

Saved in:

Bibliographic Details
Published in:	Science of computer programming Vol. 133; pp. 216 - 242
Main Authors:	Seceleanu, Cristina, Johansson, Morgan, Suryadevara, Jagadish, Sapienza, Gaetana, Seceleanu, Tiberiu, Ellevseth, Stein-Erik, Pettersson, Paul
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.01.2017
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!