1056 search results - page 10 / 212 » Mapping an Application to a Control Architecture: Specificat... |
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
AUTOMATICA
1999
13 years 7 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
DSN
2008
IEEE
13 years 9 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Assistance and service systems are one of the main research topics in robotics today. A major problem for creating these systems is that they have to work and navigate in the real ...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...