This thesis describes work on a new high-level mathematical modeling language and framework called PDEModelica for modeling with partial differential equations. It is an extension to the current Modelica modeling language for object-oriented, equation-based modeling based on differential and algebraic equations. The language extensions and the framework presented in this thesis are consistent with the concepts of Modelica while adding support for partial differential equations and space-distributed variables called fields. The specification of a partial differential equation problem consists of three parts: 1) the description of the definition domain, i.e., the geometric region where the equations are defined, 2) the initial and boundary conditions, and 3) the actual equations. The known and unknown distributed variables in the equation are represented by field variables in PDEModelica. Domains are defined by a geometric description of their boundaries. Equations may use the Modelica derivative operator extended with support for partial derivatives, or vector differential operators such as divergence and gradient, which can be defined for general curvilinear coordinates based on coordinate system definitions. The PDEModelica system also allows the partial differential equation models to be defined using a coefficient-based approach, where PDE models from a library are instantiated with different parameter values. Such a library contains both continuous and discrete representations of the PDE model. The user can instantiate the continuous parts and define the parameters, and the discrete parts containing the equations are automatically instantiated and used to solve the PDE problem numerically. Compared to most earlier work in the area of mathematical modeling languages supporting PDEs, this work provides a modern object-oriented component-based approach to modeling with PDEs, including general support for hierarchical modeling, and for general, complex geometries. It is possible to separate the geometry definition from the model definition, which allows geometries to be defined separately, collected into libraries, and reused in new models. It is also possible to separate the analytical continuous model description from the chosen discretization and numerical solution methods. This allows the model description to be reused, independent of different numerical solution approaches. The PDEModelica field concept allows general declaration of spatially distributed variables. Compared to most other approaches, the field concept described in this work affords a clearer abstraction and defines a new type of variable. Arrays of such field variables can be defined in the same way as arrays of regular, scalar variables. The PDEModelica language supports a clear, mathematical syntax that can be used both for equations referring to fields and explicit domain specifications, used for example to specify boundary conditions. Hierarchical modeling and decomposition is integrated with a general connection concept, which allows connections between ODE/DAE and PDE based models. The implementation of a Modelica library needed for PDEModelica and a prototype implementation of field variables are also described in the thesis. The PDEModelica library contains internal and external solver implementations, and uses external software for mesh generation, requisite for numerical solution of the PDEs. Finally, some examples modeled with PDEModelica and solved using these implementations are presented.

Pour mieux maîtriser ses flux énergétiques et respecter les diverses restrictions mises en place dans ce secteur énergivore, le bâtiment devient un système de plus en plus complexe incluant divers technologies innovantes comme les systèmes de gestion énergétiques (SGEB), une isolation performante et intégrant les énergies renouvelables. Cette complexité exige un changement dans les techniques et paradigmes actuels de simulation du bâtiment pour la prise en compte de ses diverses évolutions. Une modélisation globale des différents composants de ce système et une simulation efficace de ses sous-systèmes hétérogènes doivent être dorénavant assurées. Ces objectifs ne pourront être atteints qu'à travers l'exploitation des approches méthodologiques d'interopérabilité. Plusieurs solutions d'interopérabilités ont été exploitées dans le secteur du bâtiment. L'état de l'art dans ce secteur, met l'accent sur le manque de standardisation des solutions appliquées. Une approche boîte blanche se basant sur le langage Modelica a remarquablement émergée. Pour monter ses intérêts ainsi que ses limites, cette solution est adoptée pour la modélisation du système de bâtiment "PREDIS", à haute performance énergétique. Une approche boîte noire complémentaire, s'appuyant sur le standard de composant logiciel dédié à la simulation, est également mise en ouvre pour palier aux difficultés rencontrées en utilisant la première approche de modélisation système. Cette approche s'articule autour du concept de bus à composants permettant une interopérabilité effective entre outils de modélisation et environnements de simulation. En plus de l'architecture logicielle autour de la plateforme d'interopérabilité, une simulation efficace du système hétérogène requière des techniques de simulations adaptées. Ces dernières peuvent exiger des adaptations des modèles utilisés qui sont prévues par la norme de composant.

Contemporary systems engineering problems are becoming increasingly complex as they are handled by geographically distributed design teams, constrained by the objectives of multiple stakeholders, and inundated by large quantities of design information. According to the principles of model-based systems engineering (MBSE), engineers can effectively manage increasing complexity by replacing document-centric design methods with computerized, model-based approaches. In this thesis, modeling constructs from SysML and Modelica are integrated to improve support for MBSE. The Object Management Group has recently developed the Systems Modeling Language (OMG SysML ) to provide a comprehensive set constructs for modeling many common aspects of systems engineering problems (e.g. system requirements, structures, functions). Complementing these SysML constructs, the Modelica language has emerged as a standard for modeling the continuous dynamics (CD) of systems in terms of hybrid discrete- event and differential algebraic equation systems. The integration of SysML and Modelica is explored from three different perspectives: the definition of CD models in SysML; the use of graph transformations to automate the transformation of SysML CD models into Modelica models; and the integration of CD models and other SysML models (e.g. structural, requirements) through the depiction of simulation experiments and engineering analyses. Throughout the thesis, example models of a car suspension and a hydraulically-powered excavator are used for demonstration. The core result of this work is the provision of modeling abilities that do not exist independently in SysML or Modelica. These abilities allow systems engineers to prescribe necessary system analyses and relate them to stakeholder concerns and other system aspects. Moreover, this work provides a basis for model integration which can be generalized and re-specialized for integrating other modeling formalisms into SysML.

Les enjeux énergétiques et environnementaux liés au réchauffement climatique amènent à généraliser la sobriété énergétique des bâtiments neufs ainsi que la production locale d’énergie à l’horizon 2020. Ce travail de thèse se concentre sur le secteur de la maison individuelle qui représente près de la moitié des logements neufs construits en France pour un volume d’environ 200000 unités par an.Le contexte de la maison individuelle à énergie positive 100 % solaire consiste à rechercher les compromis entre le niveau de performance du bâti qui détermine les besoins en énergie et la capacité des équipements à valoriser l’énergie solaire pour d’une part subvenir aux besoins en chaleur pour assurer le chauffage et la production d’eau chaude sanitaire, et d’autre part produire l’électricité nécessaire à l’éclairage et aux autres usages spécifiques (matériels électroménager, vidéo, etc.). Après un examen des différents concepts de bâtiments à énergie positive, une analyse a été menée pour identifier les solutions techniques de systèmes solaires combinés capables de fournir le double service de production d’eau chaude et de chauffage. Un modèle détaillé a été développé dans l’environnement Dymola et vérifié par inter-comparaison de modèles à l’échelle des composants. Un algorithme de contrôle original a été mis au point pour maximiser la performance globale du système.Une première étude paramétrique a montré que ce système est capable dans certaines conditions de couvrir près de 80 % des besoins en chaleur de la maison étudiée. Néanmoins, son dimensionnement demeure complexe et la recherche de compromis entre la sobriété de la maison et le dimensionnement des systèmes solaires thermiques et photovoltaïques doit s’appuyer sur un algorithme d’optimisation multi-objectifs adapté.Un chapitre est donc consacré à l’élaboration d’un algorithme d’optimisation multi- objectifs qui s’appuie sur la méthode des colonies d’abeilles virtuelles. Cette approche s’est avérée particulièrement pertinente vis à vis du problème (paramètres discrets, continus et qualitatifs) à caractère multiobjectifs(maximiser la valorisation du solaire thermique pour le chauffage d’une part et pour la production d’eau chaude d’autre part, minimiser la consommation d’énergie conventionnelle) et sous contrainte car seules les solutions à bilan d’énergie positif sur l’année seront retenues. L’algorithme d’optimisation développé ici a été confronté à une série de problèmes classiques et a démontré sa capacité à construire l’ensemble des solutions avec un nombre relativement faible d’évaluations du modèle.Le dernier chapitre présente deux applications de conception de maisons à énergie positive. La première se situe en région bordelaise alors que la seconde est située à proximité de Strasbourg. Ces deux conditions climatiques permettent de mettre en évidence la capacité de l’algorithme d’optimisation à proposer un éventail de solutions optimales présentant des compromis différents en termes de performance du bâti et de dimensionnement des équipements solaires. Enfin, un outil d’aide à la décision permet d’explorer les fronts optimaux pour dégager les solutions à retenir. / With energy-related and environmental climate change challenges, energy sobriety and local energy production are yet to become a mainstream practice for new buildings construction by 2020. This works focuses on single-family houses which in France represent half of new buildings constructions with 200000 new units new units each year. Near zero energy single-family houses with 100 % solar energy consists on compromising between performance of building envelope which defines energy needs and the ability for equipments to value free solar energy. Hence solar energy must be able to cover space heating and domestic hot waterdemands but also provide enough energy for lightning and other specific uses such as domestic appliances.After a literature review of near zero energy house concepts, an analysis was undertaken to providea clear view of solar combi-systems technical solutions with the ability to provide enough energyfor both needs : space heating and domestic hot water. Using Dymola environment a detailed modelwas developed and its consistency was checked by inter-comparison at component scale. An innovative control algorithm has been worked out to maximize the solar system’s global performance. Afirst parametric study has shown that the system was able to cover close to 80 % of house heat requirement. However sizing of a solar combi-system is a complex task and requires to find compromises between building sobriety, solar thermal energy efficiency, and photovoltaics solar energy sizing. Because of the problem’s complexity, a decision aid tool with an appropriate multi-criteria optimizationalgorithm is required.To that end a chapter is dedicated to the development of a multi-criteria optimization algorithm based on artificial bee colony behavior. This approach has proved to be quite effective to solve the problem and to handle continuous, discrete and qualitative decision variables. Chosen solution was constrained to have a positive energy balance and must maximize solar space heating and domestic fraction in a view to reduce total energy consumption. A validation process has also been set up and the developed optimization algorithm has proved its ability to solve standard problems with a fairlyshort number of evaluations. Adopted methodology was illustrated by two applications of the design phase of a near zero energydetached house. First one is located at Bordeaux an second one in Strasbourg. Selected climate conditions emphasize the ability of the proposed approach to identify a wide range of optimal solutions showing differences within the building’s performance as well as the solar system sizing. Lastly a decision aid tool allows to explore optimal front in a convenient way to shape adapted solutions.

The OpenModelica Compiler-Compiler parser generator (OMCCp) is an LALR(1) parser generator implemented in the MetaModelica language with parsing tables generated by the tools Flex and GNU Bison. The code generated for the parser is in MetaModelica 2.0 language which is the OpenModelica compiler implementation language and is an extension of the Modelica 3.2 language. OMCCp uses as input an LALR(1) grammar that specifies the Modelica language. The generated Parser can be used inside the OpenModelica Compiler (OMC) as a replacement for the current parser generated by the tool ANTLR from an LL(k) Modelica grammar. This report explains the design and implementation of this novel Lexer and Parser Generator called OMCCp. Modelica and its extension MetaModelica are both languages used in the OpenModelica environment. Modelica is an Object-Oriented Equation-Based language for Modeling and Simulation.

<div>The internal and external interactions between the complex structural and behavioral characteristics of the system of interest and the surrounding environment result in unpredictable emergent behaviors. These emergent behaviors are not well understood, especially when modeled using the traditional top-down systems engineering approach. The intrinsic nature of current complex systems has called for an elegant solution that provides an integrated framework in Model-Based Systems Engineering. A considerable gap exists to integrate system engineering activities and engineering analysis, which results in high risk and cost. This thesis presents a framework that incorporates indefinite and definite modeling aspects that are developed to determine the complexity that arises during the development phases of the system. This framework provides a workflow for modeling complex systems using Systems Modeling Language (SysML) that captures the system’s requirements, behavior, structure, and analytical aspects at both problem definition and solution levels. This research introduces a new level/dimension to the framework to support engineering analysis integrated with the system architecture model using FMI standards. A workflow is provided that provides the enabling methodological capabilities. It starts with a statement of need and ends with system requirement verification. Detailed traceability is established that glues system engineering and engineering analysis together. Besides, a method is proposed for predicting the system’s complexity by calculating the complexity index that can be used to assess the complexity of the existing system and guide the design and development of a new system. To test and demonstrate this framework, a case study consisting of a complex district cooling system is implemented. The case study shows the framework’s capabilities in enabling the successful modeling of a complex district cooling system. The system architecture model was developed using SysML and the engineering analysis model using Modelica. The proposed framework supports system requirements verification activity. The analysis results show that the district chiller model developed using Modelica produces chilled water below 6.6 degrees Celsius, which satisfies the system requirement for the district chiller system captured in the SysML tool. Similarly, many such requirement verification capabilities using dynamic simulation integration with the high-level model provides the ability to perform continuous analysis and simulation during the system development process. The systems architecture complexity index is measured for the district cooling case study from the black-box and white box-perspective. The measured complexity index showed that the system architecture’s behavioral aspect increases exponentially compared to the structural aspect. The systems architecture’s complexity index at black-box and white-box was 4.998 and 67.3927, respectively.</div>

No description available.

This diploma thesis deals with creation of elektromechanical model in Modelica language which is subsequently imported into LabVIEW environment. The Modelica language, LabVIEW graphical programming tool and Functional Mock-up Interface 2.0 standard are described in the introduction of this thesis. Functional Mock-up Interface is a tool independent standard witch, defines a standardized interface to ModelExchange and Co-simulation of complex system components. The model of electromechanical system was created based on Functional Mock-up Interface standard. Part of the work focuses on the Functional Mock-up Unit storage possibilities and LabVIEW support to import models of this type. The imported model was simulated and tested in this environment. Finally, the instance of Functional Mock-up Unit was connected with LabVIEW FPGA target for the purpose of model HIL simulation on CompactRIO platform.

This thesis solves the use of Modelica models in Matlab/Simulink enviroment. The first part is focused on Modelica language and Functional Mock-up Interface, a standard way for model exchange and co-simulation of dynamic models, which is supported by most Modelica oriented tools. Based on this standard FMUtoolbox was created and it provides the ability to import and simulate models exported as Functional Mock-up Unit. The tool provides a Simulink block, graphical and command-line interface.

Indiana University-Purdue University Indianapolis (IUPUI) / The internal and external interactions between the complex structural and behavioral characteristics of the system of interest and the surrounding environment result in unpredictable emergent behaviors. These emergent behaviors are not well understood, especially when modeled using the traditional top-down systems engineering approach. The intrinsic nature of current complex systems has called for an elegant solution that provides an integrated framework in Model-Based Systems Engineering. A considerable gap exists to integrate system engineering activities and engineering analysis, which results in high risk and cost. This thesis presents a framework that incorporates indefinite and definite modeling aspects that are developed to determine the complexity that arises during the development phases of the system. This framework provides a workflow for modeling complex systems using Systems Modeling Language (SysML) that captures the system’s requirements, behavior, structure, and analytical aspects at both problem definition and solution levels. This research introduces a new level/dimension to the framework to support engineering analysis integrated with the system architecture model using FMI standards. A workflow is provided that provides the enabling methodological capabilities. It starts with a statement of need and ends with system requirement verification. Detailed traceability is established that glues system engineering and engineering analysis together. Besides, a method is proposed for predicting the system’s complexity by calculating the complexity index that can be used to assess the complexity of the existing system and guide the design and development of a new system. To test and demonstrate this framework, a case study consisting of a complex district cooling system is implemented. The case study shows the framework’s capabilities in enabling the successful modeling of a complex district cooling system. The system architecture model was developed using SysML and the engineering analysis model using Modelica. The proposed framework supports system requirements verification activity. The analysis results show that the district chiller model developed using Modelica produces chilled water below 6.6 degrees Celsius, which satisfies the system requirement for the district chiller system captured in the SysML tool. Similarly, many such requirement verification capabilities using dynamic simulation integration with the high-level model provides the ability to perform continuous analysis and simulation during the system development process. The systems architecture complexity index is measured for the district cooling case study from the black-box and white box-perspective. The measured complexity index showed that the system architecture’s behavioral aspect increases exponentially compared to the structural aspect. The systems architecture’s complexity index at black-box and white-box was 4.998 and 67.3927, respectively.