5200 search results - page 270 / 1040 » Symbolic models for control systems |
157
Voted
AAI
2005
15 years 4 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
144
Voted
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
145
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— A novel cross-layer call admission control policy is proposed for a general CDMA beamforming system. In contrast to previously proposed call admission control (CAC) policies wh...
145
Voted
ICINCO
2004
15 years 6 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...
123
Voted
PPL
2008
15 years 4 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...