Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.

Adrian Beer Todor G. Georgiev Florian Leitner-Fischer Stefan Leue

Published in: MBEES (2013)

Keyphrases

matlab simulink
safety analysis
control system
petri net
control strategy