Concept

Object–role modeling

Related publications (58)

Applying model checking to industrial-sized PLC programs

Jean-Charles Tournier, Simon Bliudze, Borja Fernandez Adiego

Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the ...

Institute of Electrical and Electronics Engineers2015

OsmoseLua – An Integrated Approach to Energy Systems Integration with LCIA and GIS

François Maréchal, Lindsay Dianne Lessard, Maziar Kermani, Min-Jung Yoo

In this paper, we present our recent work on the implementation of an Energy Systems Integration platform allowing the modeling of Energy Systems integrating LCI (Life Cycle Inventory), LCIA (Life Cycle Impact Assessment) and GIS (Geographical Information ...

Elsevier2015

Low temperature integration methods using conductive adhesives and dry film photoresist for flexible electronics

Andres Felipe Vasquez Quintero

This thesis provides reliable methods and building blocks in order to realize smart SiF by combining Si- with foil-based components on flexible substrates. Building blocks such as 2-D and 3-D electrical interconnections, hybrid integration techniques and e ...

EPFL2015

Using the Physics of Notations Theory to Evaluate the Visual Notation of SEAM

Alain Wegmann, George Popescu

Modeling languages are used to make models that are commonly used in communicating about real-life situations such as the modeling of business and IT requirements in organizations. A way to evaluate how effective the modeling languages are for communicatin ...

2014

A Situated and Embodied Approach to Service-oriented Modeling

Anshuman Bahadur Saxena

[Context] As opposed to the traditional approach to problem solving, which limits the scope of the solution to the stated problem, the mandate for services is to go deeper and focus on the value that the proposed solution creates for the entities affected ...

EPFL2014

Predicting the Usefulness of Monitoring for Identifying the Behavior of Structures

Ian Smith, James-Alexandre Goulet

Structures can be better understood when measurement data are used to improve the modeling of structural behavior. Our capacity to interpret data depends on aspects such as the choice of model class, model parameters (and their range of possible values), a ...

American Society of Civil Engineers2013

Multiscale, Multiphysics Numerical Modeling of Fusion Welding with Experimental Characterization and Validation

Jonathan Dantzig, Jun Liu, Yu Xie

Various physical interfacial phenomena occur during the process of welding and influence the final properties of welded structures. As the features of such interfaces depend on physics that resolve at different spatial scales, a multiscale and multiphysics ...

Springer Verlag2013

Modeling of a Reciprocating Air Compressor using Energetic Macroscopic Representation

Alfred Rufer, Mahbod Heidari

This article introduces the energetic macroscopic representation (EMR) as approach for the dynamic nonlinear modeling of a reciprocating air compressor. EMR has been introduced recently for research development in complex electromechanical systems. It is b ...

2012

A hybrid S-N formulation for fatigue life modeling of composite materials and structures

Thomas Keller, Anastasios Vassilopoulos, Roohollah Sarfaraz Khabbaz

A semi-empirical S-N formulation for the modeling of the constant amplitude fatigue behavior of composite materials and structures is introduced in this paper. The new S-N formulation is based on the commonly used exponential and power law fatigue models. ...

Elsevier2012

Vehicle recognition from multi-spectral and LiDAR elevation data with object-oriented analysis

André-Gilles Dumont, Sofia Samoili

This research study addresses issues of transport modeling aiming to the recognition of vehicles, with perspective to generate a knowledge base for an automatic recognition of vehicles from similar type of data. Based on two datasets consisted of multi-spe ...

2011

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.