| |
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.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"