libFAUDES

PlugIns

Types

Functions

HioSys I/O Systems

The 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.

HioPlant

An 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.

HioController

An 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.

HioEnvironment

An 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.

HioConstraint

An 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"