Leonard Jowers
James J. Buckley
Kevin D. Reilly
Simulation of Continuous Fuzzy Systems
Information Sciences - Special Issue:
Advances in Fuzzy Logic 177 (2), 436-448 (2007).
From the Introduction (slightly edited) ---
In Simulating Continuous Fuzzy Systems [ref.] we use crisp
continuous simulation to estimate fuzzy
solution trajectories for several different systems of ordinary differential equations (ODEs). Our
approach to simulation of fuzzy ODE systems is to evaluate a system with triangular fuzzy parameters,
evaluating at left/vertex/right supports and values in between. Solutions are presented as a graph(s) of
variable(s) of interest, with respect to time. We now investigate two capabilities we identified as
interesting for future research.
With multiple fuzzy parameters, a solution graph is likely to become overloaded with superfluous
information (trajectories which do not contribute to an understanding of a solution). Because of
cost of processing and plotting superfluous information, critical support values may be skipped.
We implement a reduction algorithm for determining solution boundaries, as trajectories are computed.
Keeping aware of membership values, quantization considerations, and solution neighborhoods, we
collect a fraction of the data collected by brute force methods, and yet provide better coverage of
fuzzy parameters. Three dimensional fuzzy solution trajectories are the second improvement
we investigate. By including membership computation in our simulations, we produce fuzzy solution
surface boundaries. These surfaces enclose the possible solution space. To make this process
manageable, it is combined with boundary determination. We are concerned with improvements to
methods of using crisp simulation to compute, and render for visualization, estimated solution
surfaces of continuous fuzzy systems. Our previous work in this area of simulating continuous
fuzzy systems demonstrated using crisp simulation to estimate fuzzy solution trajectories [3 refs.]
A wide variety of examples are considered in those works; e.g., queuing networks,
infectious disease models, chemical reactions, etc. As continuous systems are usually described by
a system of ordinary differential equations (ODEs), our examples are all governed by fuzzy
differential equations. Many parameters in a system of ODEs may be imprecisely known; they may be
estimated by experts, or estimated from data. Uncertainty in these parameter values make them
fuzzy number estimators. Fuzzy number parameter values result in a system of fuzzy ODEs [ref];
i.e., a continuous fuzzy system. Before, we used crisp continuous simulation to compute multiple
solution trajectories which we combined to estimate fuzzy trajectories. We continue this theme.
For completeness we repeat parts of the prior work, but with interesting improvements.
Our continued research employs MatlabTM/SimulinkTM , but the algorithm used is applicable to other
tools. We use SimulinkTM diagrams to model a system. Next we use MatlabTM command files to
prepare the model for execution (insertion of fuzzy parameter values), execute the model
repeatedly while reducing collected data, and finally preparing plots of the solution. We render
fuzzy solution surfaces using C++ and OpenGL, a (free) graphics library package. Here we describe
our method and present 3-D solutions of two classical systems of ODE.
Omitted: Text on (some of the) method details !
The next section discusses briefy an example of our prior simulations. Then we
discuss how we capture boundaries of the fuzzy trajectories and a lattice of points to define a
fuzzy solution surface. Next we discuss how to render that surface for visualization. We present
two examples: (1) the Belousov-Zhabotinskii (BZ) chemical reaction model [2 refs.]
and (2) an infectious disease model [ref.]. The last section contains a brief summary,
conclusions and plans for future research.