Sciweavers

848 search results - page 23 / 170
» Topology Control
Sort
View
CORR
2010
Springer
126views Education» more  CORR 2010»
13 years 8 months ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...
EH
2002
IEEE
185views Hardware» more  EH 2002»
14 years 25 days ago
Automatic Synthesis Using Genetic Programming of an Improved General-Purpose Controller for Industrially Representative Plants
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
Martin A. Keane, John R. Koza, Matthew J. Streeter
IPPS
1998
IEEE
14 years 4 days ago
A Topology Based Approach to Coordinated Multicast Operations
Multicasts are a powerful means to implement coordinated operations on distributed data-sets as well as synchronized reductions of multiple computed results. In this paper we prese...
Jörg Nolte
CDC
2010
IEEE
181views Control Systems» more  CDC 2010»
13 years 2 months ago
Relationship between power loss and network topology in power systems
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...
Javad Lavaei, Steven H. Low
ACCV
2010
Springer
13 years 2 months ago
Earth Mover's Morphing: Topology-Free Shape Morphing Using Cluster-Based EMD Flows
Abstract. This paper describes a method for topology-free shape morphing based on region cluster-based Earth Mover's Distance (EMD) flows, since existing methods for closed cu...
Yasushi Makihara, Yasushi Yagi