• 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
• Example  
• FaultTolerantControl  
  • FaultTolerantControl
  • Introduction
  • Example
  • Fault-Accommodation
  • Reconfiguration
  • Fault-Patterns
• HioSys  
  • HioSys
  • Introduction
  • Step-By-Step
  • Synthesis Procedure
  • Liveness Properties
  • Application Example
• Hybrid  
• IoSystem  
  • IoSystem
  • Introduction
  • Properties
  • Synthesis
• Multitasking  
  • Multitasking
  • Introduction
  • Functions
  • Observer
  • Optimal Color Set
  • Reachability
  • Synthesis
• Observer  
  • Observer
  • Introduction
  • Verification
  • Synthesis
  • Example
• OmegaAut  
  • OmegaAut
  • Introduction
  • Buechi-Functions
  • Rabin-Functions
  • Buechi-Control
  • Rabin-Control
  • Partial-Obs-Control
• Priorities  
• Simulator  
  • Simulator
  • Introduction
  • Executor Classes
  • Hardware-In-The-Loop
  • IO-Devices
  • Simulator Interconnection
• Synthesis  
  • Synthesis
  • Introduction
  • Controllability
  • Normality
  • Completeness
  • Misc Functions
•  
• Types
• HioConstraint  
• HioController  
• HioEnvironment  
• HioPlant  
•  
• Functions
• HioFreeInput  
• HioShuffle  
• HioSynth  
• HioSynthHierarchical  
• HioSynthMonolithic  
• IsHioConstraintForm  
• IsHioControllerForm  
• IsHioEnvironmentForm  
• IsHioPlantForm  
•  

HioSys I/O Systems

HioConstraint

The data-type HioConstraint is a Generator that is suited to model the I/O-system I/O constraint. An I/O constraint is used to describe the variety of controller-I/O ports that can be connected to the plant-I/O ports of an I/O plant to obtain desired liveness properties for the plant. For an I/O plant S_PE = (Sigma_PE,L_PE), the constraint S_P = (Sigma_P,L_P) on the the port (U_P,Y_P) of S_PE is denoted operator constraint, while the constraint S_E = (Sigma_E,L_E) on (U_E,Y_E) is denoted environment constraint. Hence, the I/O constraint is a discrete event system with one controller-I/O port to interact with the plant while accepting all plant outputs. Its event sets are denoted U and Y. Thus, the overall alphabet is composed as disjoint union Sigma = U∪Y.

I/O constraint: Definition

An I/O constraint is a tuple S = (U,Y,L), where

• Sigma is an alphabet with Sigma := U∪Y,

• L is a language over Sigma,

• (U,Y) is a controller-I/O port of S, and

• L is a complete language (see IsComplete).

The last item rules out constraints that preclude liveness of any I/O plant under such constraint.

HioSys Home | HioSys I/O Systems

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