8492 search results - page 111 / 1699 » Modelling and Design of Multi-Agent Systems |
133
click to vote
ICINCO
2004
15 years 5 months ago
2004
This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback control of nonlinear dynamical systems. The method is applied to a musculo-s...
145
click to vote
TCAD
2008
15 years 3 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
112
click to vote
WSC
2004
15 years 5 months ago
2004
This paper describes a design specification for a generic, supply-chain-simulation system. The proposed simulation system is based on schedule-driven and stock-driven control meth...
140
Voted
IJMMS
1998
15 years 3 months ago
1998
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
136
click to vote
FMSD
2006
15 years 3 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...