| |
libFAUDES
Sections
Types
Functions
|
HioSys I/O SystemsController-I/O portThe controller-I/O port (U,Y) is a complement of the plant-I/O port in the sense that it accepts any Y-event issued by a plant-I/O port. In return, it can provide an event out of U. A controller-I/O port can be connected to a plant-I/O port. DefinitionA controller-I/O port of a system (L,Sigma) is a tuple (U,Y), with
The first bullet point separates events U from events Y and remaining events W. The second and third bullet points require to accept any event Y as an input an to optionally reply by some event U as output, after possible negotiation with some other system via W. |
libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"