Sciweavers

44 search results - page 5 / 9
» Hierarchical Modular Modelling in Discrete Simulation
Sort
View
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
14 years 1 months ago
Anatomy-based organization of modular robots
Abstract— This paper presents a novel biologicallyinspired hierarchical approach to organizing and controlling modular robots. The purpose of our approach is to decompose the com...
David Johan Christensen, Jason Campbell
SPRINGSIM
2007
13 years 8 months ago
CD++Builder: an eclipse-based IDE for DEVS modeling
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
Chiril Chidisiuc, Gabriel A. Wainer
ICFEM
2009
Springer
13 years 5 months ago
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Hu...
WSC
2008
13 years 9 months ago
Partial-modular DEVS for improving performance of cellular space wildfire spread simulation
Simulation of wildfire spread remains to be a challenging task. In previous work, a cellular space fire spread simulation model has been developed based on the Discrete Event Syst...
Yi Sun, Xiaolin Hu
MAGS
2007
115views more  MAGS 2007»
13 years 7 months ago
Designing modular architectures in the framework AKIRA
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
Giovanni Pezzulo, Gianguglielmo Calvi