Extended mathematical programs are collections of functions and variables joined together using specific optimization and complementarity primitives. This paper outlines a mechanism to describe such an extended mathematical program by means of annotating the existing relationships within a model to facilitate higher level structure identification. The structures, which often involve constraints...

This report is a brief survey over different concepts and methods concerning singular systems. Singular system is also called differential algebraic equations (DAE) since a DAE model may involve both differential and algebraic equations. There is an growing interest in DAE systems much depending on the increased usage of object oriented modeling languages, like Modelica, in the modeling of dyna...

The NEOS Server provides access to optimization solvers through the Internet with a suite of interfaces. In particular, the Kestrel interface enables the remote solution of optimization problems within the AMPL and GAMS modeling languages. Problem generation, including the run-time detection of syntax errors, occurs on the local machine using any available modeling language facilities. Solution...

This paper introduces the HI-Maude tool that supports the formal modeling, simulation, and model checking of interacting hybrid systems in rewriting logic. Interacting hybrid systems exhibit both discrete and continuous behaviors, and are composed of components that influence each other’s continuous dynamics. HI-Maude supports the compositional modeling of such systems, where the user only need...

traceability is a basic requirement for the most of products from the viewpoint of governments and customers. it has base of quality systems and supports integration of supply chain information systems. this paper has presented a holistic model for supply chain traceability through structural equation modeling. this model will support recall of products, quality assurance requirements, improve ...

it is well known that the parabolic partial differential equationsin two or more space dimensions with overspecified boundary data,feature in the mathematical modeling of many phenomena. in thisarticle, an inverse problem of determining an unknowntime-dependent source term of a parabolic equation in generaldimensions is considered. employing some transformations, wechange the inverse problem to...

Existing object-oriented modeling environments only support the simulation of a limited type of hybrid dynamic models of variable structure: those with exactly the same state variables and the same algebraic variables in all modes. The most general hybrid dynamic model of variable structure is one in which the number of state variables and algebraic variables is not necessarily equal in all mod...

This paper presents a systematic approach to address the dynamic optimization of integrated operation strategies for the building VAV system and night ventilation. The objective is to minimize the energy consumption of the cooling coil and fans in a typical summer day. In the optimization scheme, the physical model is developed per differential algebraic equations (DAEs). The simultaneous collo...

Robust Solution of Mixed Complementarity Problems Steven P Dirkse Under the Supervision of Associate Professor Michael C Ferris at the University of Wisconsin Madison This thesis is concerned with algorithms and software for the solution of the Mixed Complementarity Problem or MCP The MCP formulation is useful for expressing systems of nonlinear inequalities and equations the complementarity al...

This paper provides an overview of the formal transformation between the two complementary languages: OMG SysML and Modelica. SysML is a standardized general purpose graphical modeling language for capturing complex system descriptions in terms of their structure, behavior, properties, and requirements. Modelica is a standardized general purpose systems modeling language for analyzing the conti...