| |
libFAUDES
PlugIns
Types
Functions
|
HioSys I/O SystemsThe data-types HioPlant, HioController, HioEnvironment and HioConstraint model specific I/O systems. They are implemented as standard Generator that hold event attributes to indicate the respective disjoint union construct of the overall alphabet.
HioPlantAn I/O-plant is a discrete event system with two I/O ports to interact with an operator and its environment, respectively. The event sets are denoted Up and Yp for operator interaction and Ue and Ye for environment interaction. Thus, the overall alphabet is composed as disjoint union Sigma=Up v Yp v Ue v Ye. HioControllerAn I/O-controller is a discrete event system with two I/O ports to interact with an operator and a plant, respectively. The event sets are denoted Uc and Yc for operator interaction and Up and Yp for plant interaction. Thus, the overall alphabet is composed as disjoint union Sigma=Uc v Yc v Up v Yp. HioEnvironmentAn I/O-environment is a discrete event system with two I/O ports to interact with a plant and a low-level environment, respectively. The event sets are denoted Ue and Ye for operator interaction and Ul and Yl for environment interaction. Thus, the overall alphabet is composed as disjoint union Sigma=Ue v Ye v Ul v Yl. HioConstraintAn I/O-constraint is a discrete event system thet models an operator- or environment-constraint. The event sets are denoted U and Y. The overall alphabet is composed as disjoint union Sigma=U v Y. |
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"