About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
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.20d --- 2011.04.26 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-timed-simulator-iodevice-luabindings"