• 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

The data-types HioPlant, HioController, HioEnvironment and HioConstraint model specific I/O systems. They are implemented as a standard Generator that holds event attributes to indicate the respective disjoint union construct of the overall alphabet. The set of attributed events together with the language L = Lm(G) marked by the I/O generator (e.g. HioPlant) form the according I/O system S = (Sigma,L) (e.g. I/O plant).

Remark:
In this version of HioSys, we consider only prefix-closed systems, i.e. systems S = (Sigma,L) with a prefix-closed language L. Hence, all states of an I/O generator have to be marked in its finalized version, which is also checked by the I/O test routines. Ongoing research includes the consideration of non-prefix-closed systems in order to augment the expressiveness of the system models. more...

HioPlant

The data-type HioPlant is a Generator that is suited to model the I/O-system I/O plant. An I/O plant S_PE = (Sigma_PE,L_PE) describes a process (or process component) as a mechanism, by which an operator can manipulate the environment of the process (component). Hence, an I/O plant is a discrete event system with two plant-I/O ports to interact with an operator and its environment, respectively. The event sets are denoted U_P and Y_P for operator interaction and U_E and Y_E for environment interaction. Thus, the overall alphabet is composed as disjoint union Sigma = U_P∪Y_P∪U_E∪Y_E. more...

HioController

The data-type HioController is a Generator that is suited to model the I/O-system I/O controller. An I/O controller S_CP = (Sigma_CP,L_CP) describes a mechanism that assists an operator in manipulating the environment through the controlled process according to a given specification. Hence, the I/O controller is a discrete event system with two I/O ports: a plant-I/O port to interact with an operator while accepting all operator commands and a controller-I/O port to interact with the plant while accepting all plant outputs. 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∪Yc∪Up∪Yp. more...

HioEnvironment

The data-type HioEnvironment is a Generator that is suited to model the I/O-system I/O environment. For the I/O shuffle (HioShuffle) of a group of two or more plant components, an I/O environment S_EL = (Sigma_EL,L_EL) models the internal interaction of the components among themselves and the external interaction of the group with the remaining environment. The I/O environment is connected with the I/O shuffle of plant components and with the remaining environment via a controller- and a plant-I/O port, respectively. The event sets are denoted Ul and Yl for plant interaction and Ue and Ye for interaction with the remaining environment. Thus, the overall alphabet is composed as disjoint union Sigma = Ul∪Yl∪Ue∪Ye. more...

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

HioSys Home

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"