2452 search results - page 35 / 491 » On Reduction of Lagrange Systems |
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
It is well known that given a network that can become constrained on voltage or real power flows, reserves must also be spatially located in order to handle all credible contingen...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
—With the motivation of using more information to update the parameter estimates to achieve improved tracking performance, composite adaptation that uses both the system tracking...
LCTRTS
2007
Springer
15 years 3 months ago
2007
Springer
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...