186 search results - page 5 / 38 » Compositional modeling and refinement for hierarchical hybri... |
ISORC
1998
IEEE
15 years 3 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
FSS
2002
14 years 11 months ago
2002
Hybrid neuro-fuzzy systems have been in evidence during the past few years, due to its attractive combination of the learning capacity of arti
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
WSC
2004
15 years 1 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
70
Voted
FMSD
2006
14 years 11 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...