HioSys I/O Systems

Controller-I/O port

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

Definition

A controller-I/O port of a system (L,Sigma) is a tuple (U,Y), with

  • Sigma = W∪U∪Y,~U ≠ 0 ≠ Y;

  • L ⊆ Closure((YW*U)*);

  • (∀ s ∈ Sigma*U∪{epsilon},\nu ∈ Y)[s ∈ L⇒s\nu ∈ L];

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.

HioSys Home | HioSys I/O Systems

libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings-hybrid-example-pybindings"