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 shuffle

The composition function HioShuffle is used to technically group two or (by repetition) more I/O plants into one single I/O plant model.

HioShuffle

Shuffle-composition of two HioPlant systems.

Signature:

HioShuffle(+In+ HioPlant GArg1, +In+ HioPlant GArg2, +Out+ HioPlant GRes)

HioShuffle(+In+ Generator GArg1, +In+ Generator GArg2, +In+ EventSet Yp, +In+ EventSet Up, +In+ EventSet Ye, +In+ EventSet Ue, +Out+ Generator GRes)

Detailed description:

The I/O shuffle of two I/O plants is based on the ordinary shuffle product (parallel composition under absence of shared events), but restricted by the additional condition L_io on the ordering of input-output event-pairs and extended by a well-defined error behaviour L_err. The latter accounts for situations where L_io is violated, i.e. a measurement event from the one plant component is replied to by a control event to the other plant component. The behaviour of the individual components is not restricted by this composition. The I/O shuffle of two I/O plants results in an I/O plant.


two I/O plants		I/O shuffle of two I/O plants

HioSys Home

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