2171 search results - page 59 / 435 » Cooperative Validation in Distributed Control Systems Design |
ICRA
2005
IEEE
15 years 7 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...
BIRTHDAY
2010
Springer
15 years 2 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...
EMSOFT
2001
Springer
15 years 6 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...
120
click to vote
ICMCS
2006
IEEE
15 years 7 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...
ICTAI
2005
IEEE
15 years 7 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...