2650 search results - page 341 / 530 » Simulation and Control of Reactive Systems |
177
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
120
click to vote
IWAN
2000
Springer
15 years 7 months ago
2000
Springer
A novel approach to quality of service control in an active service network (application layer active network) is described. The approach makes use of a distributed genetic algori...
138
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
The purpose of this paper is to estimate the position of a human in the image frame and to use this information to diagnose falls. A nonholonomic locomotion model describes the dis...
131
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- This paper develops a switching strategy for networked mobile sensing agents to automatically decide when to perform individual exploration and when to perform cooperati...
138
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a SLAM algorithm for a team of mobile robots exploring an indoor environment, described by adopting the M-Space representation of linear features. Each robot so...