2171 search results - page 59 / 435 » Cooperative Validation in Distributed Control Systems Design |
118
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
- In this paper, we describe the mechanical design, system integration and dynamic walking of the humanoid, KHR-2 (KAIST Humanoid Robot–2). KHR-2 has 41 DOFs in total, that allow...
115
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
123
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
147
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we proposed to setup a distributed multimedia system which aggregates the capacity of multiple servers to provide customized multimedia services in a cost-effective...
122
click to vote
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...