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.

Formal Specification Of Topological Evolution For Pipeline Software

An Integration Technology of One Domain and Cross Domain Evolution of Industrial Design Knowledge

Research Of Modeling Methods For Amr Pipeline Navigating System

Refinement of Pipe-and-Filter Architectures

A combined NLP-differential evolution algorithm approach for the optimization of looped water distribution systems

Topological Semantics for Lumped Parameter Systems Modeling

An Evolutionary Development Model Supporting Executable Specification

Self-organized evolution of mechanism kinetic scheme based on axiomatic design

Dynamic Simulation Interface and Data Pipeline in DotNet Environment

A Research on Pi-Calculus Based Component Evolution

A Dynamic Software Architecture Oriented Approach to Online Evolution

A Workflow Engine Based on Evolutional Rule

Hierarchical timed automata based verification of dynamic evolution process in open environments.

Towards Dynamic Evolution-oriented Systems Analysis and Design

Model Based Verification of Dynamically Evolvable Service Oriented Systems

BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data

Almost Continuous Transformations of Software and Higher-order Dataflow Programming

Revisiting the evolution of bow-tie architecture in signaling networks

Evolution of bow-tie architectures in biology

Evolution styles: foundations and models for software architecture evolution

Research on supporting component model with evolution information by extending CDL