437 search results - page 20 / 88 » Gradience, Constructions and Constraint Systems |
CDC
2009
IEEE
13 years 6 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
RTA
2010
Springer
14 years 19 days ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
JCS
2008
13 years 9 months ago
2008
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— In this paper we present a multi-agent coordination algorithm suitable for systems with aircraft-like kinematic constraints. A model of a system of input-constrained no...
INLG
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...