5200 search results - page 730 / 1040 » Symbolic models for control systems |
215
click to vote
HT
2006
ACM
16 years 1 months ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
228
Voted
ISER
1999
Springer
15 years 11 months ago
1999
Springer
: We are developing a robotic measurement facility which makes it very easy to build “reality-based” models, i.e., computational models of existing, physical objects based on a...
167
Voted
ETFA
2005
IEEE
16 years 1 months ago
2005
IEEE
: Since their first usage simulators have been employed in training staff in civil aeronautics and in military fields to improve driving skills without compromising safety of peopl...
200
Voted
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
163
Voted
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...