302 search results - page 49 / 61 » An approach to synthesise safe systems |
152
click to vote
IROS
2007
IEEE
16 years 11 days ago
2007
IEEE
— This paper presents an algorithm for adapting periodic behavior to gradual shifts in task parameters. Since learning optimal control in high dimensional domains is subject to t...
271
Voted
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
144
click to vote
ICRA
2008
IEEE
16 years 15 days ago
2008
IEEE
— Facing new tasks, the conventional rigid design of robotic joints has come to its limits. Operating in unknown environments current robots are prone to failure when hitting unf...
174
click to vote
GRAPHITE
2006
ACM
16 years 1 days ago
2006
ACM
—Advancements in robotics have gained much momentum in recent years. Industrial robotic systems are increasingly being used outside the factory floor, evident by the growing pres...
162
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...