|
libFAUDES
Sections
Types
Functions
|
HioSys PlugInIn 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. |
libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"