When games are used to model reactive systems with both fairness assumptions and quantitative (e.g., resource) constraints, then the corresponding objective combines both a qualitative and a quantitative component.
Statecharts can be used as a stand-alone behavioral description, and, therefore, became a popular visual formalism for modeling reactive systems (Harel 1987) such as context-sensitive systems.
For the model reactive system, the simulations have established that actual mixing conditions with shear rate values encountered in polymer processing machines, were able to homogenize the system in less than 10 s.
A model reactive system was defined for studying experimentally and by simulation the competition between reaction and diffusion of two low molecular weight reactants, 2,3-epoxypropyl-phenylether (EPPE) and dipentylamine (DPA).
We start with an overview of length and time scales, objectives, and challenges in first-principles modeling of reactive systems.
The micro-mixing model, in conjunction with CFD, predicts a final value of Xs in close agreement with the experimental data, demonstrating that the proposed approach can be successfully used to model turbulent reactive systems without the need for experimental inputs.
- Foundations: The chapters in this section survey general models of reactive systems, techniques, and approaches for model-based integration, and modeling and simulation of real-time applications.
Computational modeling of reactive systems, turbulent flows, combustion chemical kinetics.
As a result, we obtain three orthogonal extensions of the basic state-transition graph model for reactive systems --game graphs, timed grandstochasticchastic graphs as well as combinations thereof.
In process and materials chemistry, computational modelling of complex reactive systems has been a long-time continuing process.
