-
Notifications
You must be signed in to change notification settings - Fork 1
Description of Controller Examples
The EARS-CTRL project contains four examples - the liquid mixer controller, the motor controller, the quiz controller and the sliding door controller. In general, all of them deal with controlling a set of inputs and outputs for a complete system. The description of these examples are given below.
Important Note: The final output controllers use LTL blocks, the generic description of the blocks can be found here
This example is taken from Container Fusing example of a PLC based controller. The corresponding model in EARS-CTRL project is Container Fusing Updated.
The requirements are presented in the example using ears: requirements
The final controller output is here
This example is taken from motor controller example of a PLC based controller. The corresponding model in EARS-CTRL project is Motor Operation.
The requirements are presented in the example using ears: requirements
The final controller output is here
This example is taken from Sliding Door example of a PLC based controller. The corresponding model in EARS-CTRL project is Sliding Doors.
The requirements are presented in the example using ears: requirements
The final controller output is here
This example is taken from Quiz Controller example of a PLC based controller. The corresponding model in EARS-CTRL project is Quiz Controller.
The requirements are presented in the example using ears: requirements
The final output for controllers is here