Concept

Variable globale

Publications associées (74)

ABC: Algebraic Bound Computation for Loops

Régis William Blanc, Laura Ildiko Kovacs, Thibaud Hottelier

We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis of programs with symbolic summation techniques to derive loop invariant relations bet ...

Springer Berlin Heidelberg2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data, the ...

Springer2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2010

Probability Metrics to Calibrate Stochastic Chemical Kinetics

Tatjana Petrov, Serge Pelet

Calibration or model parameter estimation from measured data is an ubiquitous problem in engineering. In systems biology this problem turns out to be particularly challenging due to very short data-records, low signal-to-noise ratio of data acquisition, la ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Identifying important state variables for a blind controller

Nicolas Morel, David Daum

In literature many different blind controller have been proposed and it has been shown in most cases, that they can provide energy savings and better comfort. In the early approaches they where based only on one state variable, but over time more variables ...

Elsevier2010

Comfusy: A Tool for Complete Functional Synthesis

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...

Springer2010

Distributed Moving Horizon Estimation for Linear Constrained Systems

Giancarlo Ferrari Trecate, Marcello Farina

This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the state estimates computed by any sensors to the correct state even when constrain ...

2010

An Information-Based Approximation Scheme for Stochastic Optimization Problems in Continuous Time

Daniel Kuhn

Dynamic stochastic optimization problems with a large (possibly infinite) number of decision stages and high-dimensional state vectors are inherently difficult to solve. In fact, scenario tree-based algorithms are unsuitable for problems with many stages, ...

2009

Ensuring stability in models of atrial kinetics

Vincent Jacquemet

The membrane kinetics of human atrial myocytes as formulated by Courtemance, Ramierz and Nattel has been studied while focusing on its progression toward stationary solutions during long term repetitive stimulation. An algorithm is presented for finding th ...

2009

Endogenous Completeness of Diffusion Driven Equilibrium Markets

Semyon Malamud, Julien Hugonnier

We study the existence of equilibria with endogenously complete mar- kets in a continuous-time, heterogenous agents economy driven by a multi- dimensional diﬀusion process. Our main results show that if prices are real analytic as functions of time and the ...

2009

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