2650 search results - page 297 / 530 » Simulation and Control of Reactive Systems |
122
click to vote
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
119
click to vote
JACIII
2007
15 years 4 months ago
2007
In multi-robot system, cooperation is needed to execute tasks efficiently. The purpose of this study is to realize cooperation among multiple robots using interactive communicatio...
164
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
108
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper gives new motion generation methods for mechanical port-Hamiltonian systems. First, we propose a generation method based on an asymptotic stabilization method withou...
109
click to vote
FTEDA
2006
15 years 4 months ago
2006
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...