• libFAUDES
• Reference  
• Type Index  
• Function Index  
• Literature  
•  
• Sections
• CoreFaudes  
  • CoreFaudes
  • Introduction
  • Generators
  • Alphabets
  • Reachability
  • Boolean Operations
  • Regular Expressions
  • Synchronous Composition
  • Projection
  • StateSet Conversion
  • Elementary Types
  • Miscellaneous
  • Vector Types
• CoordinationControl  
• Diagnosis  
  • Diagnosis
  • Introduction
  • Event-Diagnosis
  • Language-Diagnosis
  • Modular Diagnosis
  • Decentralized Diagnosis
  • Application Example
• FaultTolerantControl  
  • FaultTolerantControl
  • Introduction
  • Example
  • Fault-Accommodation
  • Reconfiguration
  • Fault-Patterns
• HioSys  
  • HioSys
  • Introduction
  • Step-By-Step
  • Synthesis Procedure
  • Liveness Properties
  • Application Example
• IoSystem  
  • IoSystem
  • Introduction
  • Properties
  • Synthesis
• Multitasking  
  • Multitasking
  • Introduction
  • Functions
  • Observer
  • Optimal Color Set
  • Reachability
  • Synthesis
• Observer  
  • Observer
  • Introduction
  • Verification
  • Synthesis
  • Example
• Simulator  
  • Simulator
  • Introduction
  • Executor Classes
  • Hardware-In-The-Loop
  • IO-Devices
  • Simulator Interconnection
• Synthesis  
  • Synthesis
  • Introduction
  • Controllability
  • Normality
  • Omega-Controllability
  • Misc Functions
•  
• Types
• HioConstraint  
• HioController  
• HioEnvironment  
• HioPlant  
•  
• Functions
• HioFreeInput  
• HioShuffle  
• HioSynth  
• HioSynthHierarchical  
• HioSynthMonolithic  
• IsHioConstraintForm  
• IsHioControllerForm  
• IsHioEnvironmentForm  
• IsHioPlantForm  
•  

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.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"