Abstract:In the communication systems domain, constructing and maintaining network topologies via topology control (TC) algorithms is an important cross-cutting research area. Network topologies are usually modeled using attributed graphs whose nodes and edges represent the network nodes and their interconnecting links. A key requirement of TC algorithms is to fulfill certain consistency and optimization properties to ensure a high quality of service. Still, few attempts have been made to constructively integrate these properties into the development process of TC algorithms. Furthermore, even though many TC algorithms share substantial parts (such as structural patterns or tie-breaking strategies), few works constructively leverage these commonalities and differences of TC algorithms systematically. In previous work, we addressed the constructive integration of consistency properties into the development process. We outlined a constructive, model-driven methodology for designing individual TC algorithms. Valid and high-quality topologies are characterized using declarative graph constraints; TC algorithms are specified using programmed graph transformation. We applied a well-known static analysis technique to refine a given TC algorithm in a way that the resulting algorithm preserves the specified graph constraints. In this paper, we extend our constructive methodology by generalizing it to support the specification of families of TC algorithms. To show the feasibility of our approach, we reneging six existing TC algorithms and develop e-kTC, a novel energy-efficient variant of the TC algorithm kTC. Finally, we evaluate a subset of the specified TC algorithms using a new tool integration of the graph transformation tool eMoflon and the Simonstrator network simulation framework.

Incremental symbolic construction for topological modeling of analog circuits

A new modeling method for DC-DC converter based on Verilog-A

Topological symbolic simplification for analog design

Graph-Pair Decision Diagram Construction for Topological Symbolic Circuit Analysis.

Topological Approach to Automatic Symbolic Macromodel Generation for Analog Integrated Circuits.

Implementation of a Symbolic Circuit Simulator for Topological Network Analysis.

A NEW TOPOLOGY ORIENTED METHOD FOR SYMBOLIC ANALYSIS OF ELECTRONIC CIRCUITS

Hierarchical Graph Reduction Approach to Symbolic Circuit Analysis with Data Sharing and Cancellation-Free Properties.

Incremental Circuit Simulation Analysis for Design Modification and Verification

A Systematic Approach to Constructing Incremental Topology Control Algorithms Using Graph Transformation

Hierarchical Exact Symbolic Analysis of Large Analog Integrated Circuits by Symbolic Stamps

LaMAGIC: Language-Model-based Topology Generation for Analog Integrated Circuits

A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation

A Survey on Binary Decision Diagram Approaches to Symbolic Analysis of Analog Integrated Circuits

Evolutionary topology programming for analog circuit fault tolerant design

Study of a Circle Map Circuit and Its Symbolic Dynamics

A Novel 3-D Topology Optimization Methodology Based on the Min-Cut Theorem

Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation

Combining Explicit and Symbolic Representation in Incremental Model Checking

Topology Generic DC-Model for Accelerating Analog Circuit Optimization

Symbolic fault modeling for switched-capacitor circuits