436 search results - page 48 / 88 » Decomposing constraint systems: equivalences and computation... |
115
click to vote
E4MAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
127
click to vote
ICTAC
2009
Springer
14 years 11 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
160
click to vote
OPODIS
2010
14 years 11 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
113
click to vote
AUTOMATICA
2008
15 years 1 months ago
2008
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
AUTOMATICA
2006
15 years 1 months ago
2006
A detailed study on the design of decentralized Receding Horizon Control (RHC) schemes for decoupled systems is presented. An optimal control problem is formulated for a set of de...