Sciweavers

287 search results - page 38 / 58
» Linear Matrix Inequalities in System and Control Theory
Sort
View
102
Voted
SIAMCOMP
2000
109views more  SIAMCOMP 2000»
15 years 12 days ago
Dual-Bounded Generating Problems: Partial and Multiple Transversals of a Hypergraph
Abstract. We consider two natural generalizations of the notion of transversal to a finite hypergraph, arising in data-mining and machine learning, the so called multiple and parti...
Endre Boros, Vladimir Gurvich, Leonid Khachiyan, K...
97
Voted
JSC
2010
155views more  JSC 2010»
14 years 11 months ago
Algorithms for solving linear systems over cyclotomic fields
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...
Liang Chen, Michael B. Monagan
146
Voted
FROCOS
2011
Springer
14 years 9 days ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
112
Voted
IROS
2007
IEEE
205views Robotics» more  IROS 2007»
15 years 7 months ago
Kinematic and dynamic control of a wheeled mobile robot
— This paper considers the problem of stabilizing a unicycle-type mobile robot using a time-invariant, discontinuous control law. In order to simplify the control design, most pr...
David DeVon, Timothy Bretl
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 21 days ago
Decentralized receding horizon control for large scale dynamically decoupled systems
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...
Tamás Keviczky, Francesco Borrelli, Gary J....