We presents three small but typical examples to demonstrate the applicability and benefits of our approach. These examples are: An alarm controller for cars [SCAIFESCTM04]. A stopwatch with lap time measurement [HAMON&RUSHBY07]. A gear shift controller from the demo (sf_car.mdl) of the MathWork Company A fault-tolerant fuel control system from the demo (sldemo_fuelsys.mdl) of the MathWork Company A simplified controller captures relationships among 13 inputs.
We presents three small but typical examples to demonstrate the applicability and benefits of our approach. These examples are:
An alarm controller for cars [SCAIFESCTM04].
A stopwatch with lap time measurement [HAMON&RUSHBY07].
A gear shift controller from the demo (sf_car.mdl) of the MathWork Company
A fault-tolerant fuel control system from the demo (sldemo_fuelsys.mdl) of the MathWork Company
A simplified controller captures relationships among 13 inputs.