Sciweavers

10907 search results - page 1934 / 2182
» Constraint Based Strategies
Sort
View
AUTOMATICA
2002
81views more  AUTOMATICA 2002»
15 years 6 months ago
The explicit linear quadratic regulator for constrained systems
For discrete-time linear time invariant systems with constraints on inputs and states, we develop an algorithm to determine explicitly, the state feedback control law which minimi...
Alberto Bemporad, Manfred Morari, Vivek Dua, Efstr...
CORR
2004
Springer
119views Education» more  CORR 2004»
15 years 6 months ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 6 months ago
On Generalized Records and Spatial Conjunction in Role Logic
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
Viktor Kuncak, Martin C. Rinard
AAMAS
2000
Springer
15 years 6 months ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh
CGF
2002
91views more  CGF 2002»
15 years 6 months ago
Modeling Surperspective Projection of Landscapes for Geographical Guide-Map Generation
It is still challenging to generate hand-drawn pictures because they differ from ordinary photographs in that they are often drawn as seen from multiple viewpoints. This paper pre...
Shigeo Takahashi, Naoya Ohta, Hiroko Nakamura, Yur...
« Prev « First page 1934 / 2182 Last » Next »