Sciweavers

113 search results - page 16 / 23
» Solving Boolean Equations Using ROSOP Forms
Sort
View
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
14 years 5 months ago
Achieving higher frequencies in large-scale nonlinear model predictive control
We present new insights into how to achieve higher frequencies in large-scale nonlinear predictive control using truncated-like schemes. The basic idea is that, instead of solving ...
Victor M. Zavala, Mihai Anitescu
ISSAC
2004
Springer
88views Mathematics» more  ISSAC 2004»
15 years 3 months ago
Non-liouvillian solutions for second order Linear ODEs
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
L. Chan, E. S. Cheb-Terrab
94
Voted
AUTOMATICA
2011
14 years 5 months ago
Distributed dynamic programming for discrete-time stochastic control, and idempotent algorithms
Previously, idempotent methods have been found to be extremely fast for solution of dynamic programming equations associated with deterministic control problems. The original meth...
William M. McEneaney
70
Voted
SIAMAM
2008
94views more  SIAMAM 2008»
14 years 10 months ago
Self-Similar Solutions for the Triple Point Paradox in Gasdynamics
Abstract. We present numerical solutions of a two-dimensional Riemann problem for the compressible Euler equations that describes the Mach reflection of weak shock waves. High reso...
Allen M. Tesdall, Richard Sanders, Barbara L. Keyf...
ISCA
1999
IEEE
105views Hardware» more  ISCA 1999»
15 years 2 months ago
The Program Decision Logic Approach to Predicated Execution
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...
David I. August, John W. Sias, Jean-Michel Puiatti...