The paper contributes transformation rules that map new stochastic Simulink subsystems (timer, switch, sampling, noise, aging) into stochastic hybrid automata, enabling statistical model checking of uncertain embedded control systems.
In: Formal Methods
1 Pith paper cite this work, alongside 17 external citations. Polarity classification is still indexing.
1
Pith paper citing it
17
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
fields
eess.SY 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
The paper contributes transformation rules that map new stochastic Simulink subsystems (timer, switch, sampling, noise, aging) into stochastic hybrid automata, enabling statistical model checking of uncertain embedded control systems.