Sciweavers

4894 search results - page 323 / 979
» Choices
Sort
View
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
16 years 5 days ago
Nonlinear control of a buoyancy-driven airship
— The control of a new kind of airship is presented. By restricting its flight to a vertical plane, the mathematical model is reduced. The simplified model is proved to be mini...
Xiaotao Wu, Claude H. Moog, Luis Alejandro Marquez...
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
16 years 5 days ago
State estimation of the three-tank system using a multiple model
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
Anca Maria Nagy, Benoît Marx, Gilles Mourot,...
216
Voted
CONCUR
2009
Springer
16 years 2 days ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
230
Voted
FROCOS
2009
Springer
16 years 2 days ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
189
Voted
GBRPR
2009
Springer
16 years 1 days ago
A Recursive Embedding Approach to Median Graph Computation
The median graph has been shown to be a good choice to infer a representative of a set of graphs. It has been successfully applied to graph-based classification and clustering. Ne...
Miquel Ferrer, Dimosthenis Karatzas, Ernest Valven...