
1. Description
This is the Stateflow Model of the powertrain control model (Hybird I/O automaton) from the paper Powertrain control verification benchmark in HSCC2014. It is a hybrid system with two continuous variables and two discrete variables updated periodically.

2. Files
Only HSCC_Model2_Stateflow_2013b.mdl in contained in the folder. It can be run directly.

3. Parameters
The throttle angle can be changed in block TrottleAngle. The duration of Start-up mode can be changed in block StartMode, and sensor failure event can be defined in block Failure. The initial values of the 4 variables can be modified in Model Explorer.


