Sciweavers

495 search results - page 58 / 99
» Analysis of Dynamic Task Allocation in Multi-Robot Systems
Sort
View
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
15 years 4 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
ECRTS
2006
IEEE
15 years 3 months ago
Timing Analysis of the FlexRay Communication Protocol
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexa...
ICCS
2005
Springer
15 years 3 months ago
Modelling Dynamics of Genetic Networks as a Multiscale Process
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
Xilin Wei, Roderick V. N. Melnik, Gabriel Moreno-H...
IROS
2009
IEEE
121views Robotics» more  IROS 2009»
15 years 4 months ago
Understanding of positioning skill based on feedforward / feedback switched dynamical model
— To realize the harmonious cooperation with the operator, the man-machine cooperative system must be designed so as to accommodate with the characteristics of the operator’s s...
Hiroyuki Okuda, Hidenori Takeuchi, Shinkichi Inaga...
CORR
2010
Springer
143views Education» more  CORR 2010»
14 years 4 months ago
Dynamics of Profit-Sharing Games
An important task in the analysis of multiagent systems is to understand how groups of selfish players can form coalitions, i.e., work together in teams. In this paper, we study t...
John Augustine, Ning Chen, Edith Elkind, Angelo Fa...