libFAUDES

Sections

Types

Functions

HioSys PlugIn

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.

In order to augment the expressiveness of the system models, ongoing research addresses non-prefix-closed systems with the instantaneous behaviour Closure(L) and the infinite time behaviour L^∞ (rather than Closure(L)^∞). Technicaly, the main task is to establish conditions for the marking to be compatible with the abstraction based control approach.

HioSys Home

libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"