Abstract:Behaviors of many engineering systems are described by lumped parameter models that encapsulate the spatially distributed nature of the system into networks of lumped elements; the dynamics of such a network is governed by a system of ordinary differential and algebraic equations. Languages and simulation tools for modeling such systems differ in syntax, informal semantics, and in the methods by which such systems of equations are generated and simulated, leading to numerous interoperability challenges. Logical extensions of SysML aim specially at unifying a subset of the underlying concepts in such languages. We propose to unify semantics of all such systems using standard notions from algebraic topology. In particular, Tonti diagrams classify all physical theories in terms of physical laws (topological and constitutive) defined over a pair of dual cochain complexes and may be used to describe different types of lumped parameter systems. We show that all possible methods for generating the corresponding state equations within each physical domain correspond to paths over Tonti diagrams. We further propose a generalization of Tonti diagram that captures the behavior and supports canonical generation of state equations for multi-domain lumped parameter systems. The unified semantics provides a basis for greater interoperability in systems modeling, supporting automated translation, integration, reuse, and numerical simulation of models created in different authoring systems and applications. Notably, the proposed algebraic topological semantics is also compatible with spatially and temporally distributed models that are at the core of modern CAD and CAE systems.

A NEW TOPOLOGY ORIENTED METHOD FOR SYMBOLIC ANALYSIS OF ELECTRONIC CIRCUITS

Topological symbolic simplification for analog design

ALGORITHM AND REALIZATION OF NETWORK TOPOLOGY DISCOVERY

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

Implementation of a Symbolic Circuit Simulator for Topological Network Analysis.

Incremental symbolic construction for topological modeling of analog circuits

Topology Derivation of Transformerless Inverter Without Leakage Current Based on Graph Theory

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

Parallel Topological Analysis for Circuits

Search of Topology Vector for Power Electronic Circuits

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

Recognition of symbols and topology in the image of a DC circuit diagram based on contours and skeletons

A Novel Topology Optimization Methodology Based on Energy Minimization Via α-β Swap Move

Topological Semantics for Lumped Parameter Systems Modeling

A Novel Methodology for Robust Topology Optimization Considering Manufacturing Errors and Topology Deviations

A New Topology Optimization Methodology Based on Constraint Maximum-Weight Connected Graph Theorem

Evolutionary topology programming for analog circuit fault tolerant design

A Novel Topology Optimization Methodology Based on Energy Minimization Via alpha-beta Swap Move

A Fast Methodology for Topology Optimizations of Electromagnetic Devices

A Novel Derivative Free Methodology for Multi-Material Topology Optimization Based on Projective Transformations and Boolean Operations

A Graph-Modeling Approach to Topology Simplification in Power Converters