Sciweavers

2432 search results - page 71 / 487
» High-level approach to modeling of observed system behavior
Sort
View
WSC
2004
15 years 1 months ago
More "Normal" Than Normal: Scaling Distributions and Complex Systems
One feature of many naturally occurring or engineered complex systems is tremendous variability in event sizes. To account for it, the behavior of these systems is often described...
Walter Willinger, David Alderson, John C. Doyle, L...
ATAL
2010
Springer
15 years 29 days ago
Influence of different execution models on patrolling ant behaviors: from agents to robots
Generally, swarm models and algorithms consider synchronous agents, i.e., they act simultaneously. This hypothesis does not fit multi-agent simulators nor robotic systems. In this...
Arnaud Glad, Olivier Simonin, Olivier Buffet, Fran...
AUTOMATICA
2002
96views more  AUTOMATICA 2002»
14 years 11 months ago
A hybrid control approach to action coordination for mobile robots
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
Magnus Egerstedt, Xiaoming Hu
CMSB
2009
Springer
15 years 6 months ago
The Equivalence between Biology and Computation
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
John K. Heath
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 3 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta