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: Bridging the Gap Between AI and Reality
1 Pith paper cite this work, alongside 5 external citations. Polarity classification is still indexing.
1
Pith paper citing it
5
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.