Loading...
Please wait, while we are loading the content...
Similar Documents
Expressing a Forest Cell Model in Parallel DEVS and Timed Cell-DEVS Formalisms
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ntaimo, Lewis Zeigler, Bernard P. |
| Copyright Year | 2003 |
| Abstract | One ecological problem that has raised significant concern in recent years is forest wildfires. A realtime simulation system for accurately predicting where and how fast a forest fire will spread would assist at the tactical level in eectively controlling it. In modeling and simulating forest fire spread using the cellular discrete event approach, the forest cell model is the basic building block of the entire simulation model. Therefore, it is necessary to express the forest cell model in the discrete event specification (DEVS) formalism being used in order to mathematically verify the model correctness before implementing it. In this paper we present a DEVS forest cell model and express it directly in the Parallel DEVS formalism, thus mathematically verifying the model correctness. We also argue that the forest cell model cannot be directly expressed in the Timed Cell-DEVS formalism due to its requirement for binary states and one time delay per cell. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://acims.asu.edu/wp-content/uploads/2012/02/Expressing-a-Forest-Cell-Model-in-Parallel-DEVS-and-Timed-Cell-DEVS-Formalisms.pdf |
| Alternate Webpage(s) | http://ise.tamu.edu/people/faculty/ntaimo/personal_web/Papers/Ntaimo_DEVS2004.pdf |
| Alternate Webpage(s) | http://cell-devs.sce.carleton.ca/citations/S003_Ntaimo.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
