
1. Description
This is the Stateflow Model of the powertrain control model (PHA model) from the paper Powertrain control verification benchmark in HSCC2014. It is a polynomial hybrid system with four continuous variables.

2. Files
There are five files contained in the folder.
HSCC_Model3_Stateflow.mdl is the model. It can be run directly.
HSCCModel3_Jacobian*.m are the sample codes to compute the Jacobian matrix of the modes.

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.


