60 search results - page 7 / 12 » Loop Formulas for Circumscription |
COCO
2007
Springer
14 years 1 months ago
2007
Springer
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...
SIAMCO
2010
13 years 2 months ago
2010
For discrete time nonlinear systems satisfying an exponential or finite time controllability assumption, we present an analytical formula for a suboptimality estimate for model pre...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— This paper investigates string stability issues in homogeneous strings of strictly proper feedback control systems with unidirectional nearest neighbour communications, using o...
JAIR
2006
13 years 7 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
APPML
2004
13 years 7 months ago
2004
In this paper, a new condition for the controllability of higher order linear dynamical systems is obtained. The suggested test contains rank conditions of suitably defined matric...