Concept

Notation de Leibniz

Publications associées (19)

Desargues and Leibniz: In the Black Box - A Mathematical Model of the Leibnizian Monad

Here Bernard Cache provides a detailed analysis of a paper written in 1636 by the French mathematician, architect and engineer, Girard Desargues. Desargues is best known as the founder of projective geometry. Cache explains how he initally developed this s ...

Wiley-Blackwell2011

NineML: the network interchange for neuroscience modeling language

Sean Lewis Hill, Eilif Benjamin Muller, Michael Lee Hines

The growing number of large-scale neuronal network models has created a need for standards and guidelines to ease model sharing and facilitate the replication of results across different simulators. To foster community efforts towards such standards, the I ...

2011

Neighboring-Extremal Control for Singular Dynamic Optimization Problems. I-Single-Input Systems

Dominique Bonvin, Benoît Chachuat, Sébastien Gros

A powerful approach for dynamic optimization in the presence of uncertainty is to incorporate measurements into the optimization framework so as to track the optimum. For nonsingular control problems, this can be done by tracking active constraints along b ...

2009

NCO Tracking for Singular Control Problems Using Neighboring Extremals

Dominique Bonvin, Benoît Chachuat, Sébastien Gros

A powerful approach for dynamic optimization in the presence of uncertainty is to incorporate measurements into the optimization framework so as to track the necessary conditions of optimality (NCO), the so-called NCO- tracking approach. For nonsingular co ...

2008

Visual contracts (VCs)

José Diego de la Cruz Garcia

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

Validation of Visual Contracts for Services

Alain Wegmann, Lam Son Lê, José Diego de la Cruz Garcia

Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...

2006

VISUAL CONTRACTS: A way to reason about states and cardinalities in IT system specifications

Alain Wegmann, Lam Son Lê, José Diego de la Cruz Garcia

Visual modeling languages propose specialized diagrams to represent behaviour and concepts necessary to specify IT systems. As a result, to understand a specification, the modeller needs to analyze these two types of diagrams and, often, additional stateme ...

2006

From RM-ODP to the Formal Behavior Representation

Alain Wegmann, Pavel Balabko

In this work we consider the behavioral aspects of system modeling. In order to specify the behavior of a system, many different notations can be used. Quite often different terms in these notations are related with to same element in a system implementati ...

2001

Service specification verification and validation for the intelligent network

New architectures of telecommunications networks like the Intelligent Network (IN) proposal allow an ever easier way to introduce new services into a network. However, this facility and the short delays that can be achieved between the first informal speci ...

EPFL1995

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search