5267 search results - page 37 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
CATA
2004
13 years 9 months ago
2004
This paper describes the design and implementation of functionally distributed control architecture for real-time control of robot systems. Robot systems must control several func...
WEBI
2001
Springer
14 years 4 days ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
EKAW
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...