123 search results - page 8 / 25 » On the Construction of Sorted Reactive Systems |
ICRA
2002
IEEE
14 years 8 days ago
2002
IEEE
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating r...
ENTCS
2008
13 years 7 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
ECCV
1994
Springer
13 years 11 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
JCIT
2010
13 years 2 months ago
2010
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...