Using de Bruijn Diagrams to Analyze 1d Cellular Automata Traffic Models

Zamora, René Rodríguez; Vergara, Sergio V. Chapa

doi:10.1007/978-3-540-30479-1_32

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2006

2019

Publication Types

Select...

Article1

Book1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some of them include queuing networks [6,36], Markov models, Cellular Automata [12,38,30,33], DEVS [8,22], software agents [2], object-oriented programming [34] and learning automata [25]. Several other approaches have also been used, from Game Theory [7], Petri Nets [37], up to fluid or electrical flow models equivalent to traffic.…”

Section: Introductionmentioning

confidence: 99%

ATLAS: A language to specify traffic models using Cell-DEVS

Wainer

2006

Simulation Modelling Practice and Theory

View full text Add to dashboard Cite

The ATLAS specification language is devoted to build models of city sections using microsimulation. The basic language constructions allow defining a static topology of the section to be studied. The dynamic behavior of the section can be modified by including traffic lights, traffic signs, etc. Once the urban section is outlined, models are converted into cell spaces and the traffic flow is automatically set up. Language constructions were mapped into DEVS and Cell-DEVS models that can be easily executed with a simulation tool. The models were formally specified, improving the verification of the language. Thanks to this formal approach, we ensure that the simulations are correct, avoiding a high number of errors in the developed application, and as the modelers can focus in the problem to solve, development times can be reduced.

show abstract