Cellular Modeling with Cell-DEVS: A Discrete-Event Cellular Automata Formalism

Wainer, Gabriel

doi:10.1007/978-3-319-11520-7_2

Cited by 10 publications

(8 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…All these issues constrain their power, performance, usability, and feasibility to analyze complex systems, such as ecosystems. In our earlier work, 7,8 we discussed how, in spite of widespread use and capability, CA models can be computationally inefficient in studying complex systems.…”

Section: Introductionmentioning

confidence: 99%

“…The Cell-DEVS formalism is an extension to define cellular models with explicit timing delays. 8 In Cell-DEVS, a complex system, such as an ecosystem, is described as a space composed of cells, as stated earlier. The Cell-DEVS formalism improves execution performance and ensures the simplicity and reusability of cellular models by using a discrete-event approach.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Integrated cellular framework for modeling ecosystems: Theory and applications

Kazi

Wainer

2017

SIMULATION

View full text Add to dashboard Cite

We introduce an integrated framework for modeling and simulation of ecosystems based on cellular models. The framework integrates cellular modeling, web-based simulation, and geographic information systems (GISs) for data collection and visualization. In this framework, data extraction from GISs is automated; we use the Cell-DEVS formalism for modeling the ecosystem and the CD++ cellular modeling tool within the RISE (RESTful Interoperability Simulation Environment) middleware for web-based simulation. The simulation results are easily integrated with Google Earth data for visualization. We discuss the design, implementation, and benefits of the integrated approach for modeling and simulation in spatial analysis of ecosystem services. We show different case studies in the area of ecological systems, demonstrating how to apply the framework, its usability, and flexibility. We focus on the use of models available in remote servers, their integration with GIS data for inputs, and georeferenced visualization of the results. We show how the modeling methods based on DEVS and their modular interfaces make it easy to build such an architecture and we discuss its application to the field of environmental systems.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Integrated cellular framework for modeling ecosystems: Theory and applications

Kazi

Wainer

2017

SIMULATION

View full text Add to dashboard Cite

show abstract

“…DEVS is a modelling and simulation formalism proposed by Zeigler [15]. Due to its success since its publication and a large community of users, high number of extension DEVS extensions have been proposed to enrich the classic formalism: dynamic DEVS [16], parallel DEVS [17], Cell-DEVS [18], etc. Due to the number of extensions DEVS is today one of the main used formalism for modeling and simulation in research teams.…”

Section: Back Ground: Devs Formalismmentioning

confidence: 99%

“Smart Entity” – How to Build DEVS Models from Large Amount of Data and Small Amount of Knowledge?

Antoine-Santoni¹,

Poggi²,

Vittori³

et al. 2019

Simulation Tools and Techniques

View full text Add to dashboard Cite

University of Corsica and CNRS are working on a scientific program called "Smart Paesi". This project focus on a sustainable rural territories development using advanced artificial intelligence concepts in order to adapt smart city concept (including sustainable development, ICT with by example wireless sensors network, education, e-citizenship, governance) to rural territories and their specificities. In this paper, we introduce a new approach combining discrete event modelling concepts and machine learning methods. This work is a first step towards the conception of a generic and scalable framework allowing model generation from large amount of data.

show abstract

“…Taking into account the above considerations, in the first stage of this work, cellular automata based formalism was chosen for modelling purposes. It was considered a good option not only because it was suitable to model specific characteristics of the application, but also because it could constitute a possible basis to further implement discrete events and real-time modelling features [48]. Their subsequent integration played a crucial role in the process of obtaining a realistic simulation and a correct formal verification, with both being two important final goals of the presented application.…”

Section: Considered Hypothesesmentioning

confidence: 99%

“…Besides the mentioned advantages, UPPAAL allows obtaining results for simulation and formal verification techniques, using the same environment [40,48]. This tool is also well adapted to simulate and verify networked complex mechatronic systems [41].…”

Section: Uppaalmentioning

confidence: 99%

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

Valente

Avram

Machado

et al. 2018

Journal of Advanced Transportation

View full text Add to dashboard Cite

Modelling and implementing adequate controllers for urban road traffic control constitute a huge challenge nowadays because of the complexity of systems, as well as possible scenarios and configurations, in each road in a city. A series of issues related to modelling these behaviours are common to arise when using formalisms, tools, and computation machines to perform complex calculations and limitations. This paper presents a formal, flexible, and adaptable approach, with no limitations, from the scientific point of view. For this purpose, modelling formalisms (cellular automata and timed automata) and analysis techniques (simulation and formal verification) are proposed to reach the main goals of modelling complex and adaptable behaviours in urban road traffic with multiple over time changeable configurations. A case study is presented, in order to illustrate the approach and demonstrate in detail the unlimited application of the presented approach.

show abstract

Cellular Modeling with Cell-DEVS: A Discrete-Event Cellular Automata Formalism

Cited by 10 publications

References 10 publications

Integrated cellular framework for modeling ecosystems: Theory and applications

Integrated cellular framework for modeling ecosystems: Theory and applications

“Smart Entity” – How to Build DEVS Models from Large Amount of Data and Small Amount of Knowledge?

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

Contact Info

Product

Resources

About