libFAUDES

PlugIns

Types

Functions

HioSys Plugin

This plugin implements data types and functions for the analysis and the design of hierarchical discrete event systems with inputs and outputs as introduced in

S. Perk, Th. Moor and K. Schmidt. Hierarchical discrete event systems with inputs and outputs. WODES 2006 - 8th International Workshop on Discrete Event Systems, Ann Arbor, USA, 2006,

S. Perk, Th. Moor and K. Schmidt. Controller Synthesis for an I/O-Based Hierarchical System Architecture. WODES 2008 - 9th International Workshop on Discrete Event Systems, Goeteborg, Sweden, 2008.

libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"