Publication

The compositional specification of timed systems-a tutorial

Publications associées (48)

, , , ,

The present invention relates to a pipette tip comprising a thin holed membrane at its distal end, which is designed to be adapted with a system comprising at least an impedance analyser and a fluidic actuator to perform the dispensing and analysis of part ...

2016

A composable method for real-time control of active distribution networks with explicit power set points. Part I: Framework

Jean-Yves Le Boudec, Mario Paolone, Lorenzo Enrique Reyes Chamorro, Andrey Bernstein

The conventional approach for the control of distribution networks, in the presence of active generationand/or controllable loads and storage, involves a combination of both frequency and voltage regulation atdifferent time scales. With the increased penet ...

Elsevier2015

This paper presents two weak partially synchronous system models Manti(n-k) and Msink(n-k), which are just strong enough for solving k-set agreement: We introduce the generalized (n-k)-loneliness failure detector L(k), which we first prove to be sufficient ...

Ieee Computer Soc2014

Techniques for the Modelling of the Process Systems in Slow and Fast-Moving Landslides

Lyesse Laloui, Alessio Ferrari, John Eichenberger, Julien Travelletti

This chapter reviews some of the current strategies for landslide modelling. Main physical processes in landslides are first recalled. Numerical tools are then introduced for the analysis of the behaviour of slow- and fast-moving landslides. Representative ...

Springer2014

Design, Modeling and Optimization of Stochastic Reactive Distributed Robotic Systems

Grégory Mermoud

This dissertation describes a complete methodological framework for designing, modeling and optimizing a specific class of distributed systems whose dynamics result from the multiple, stochastic interactions of their constitutive components. These componen ...

EPFL2012

Searches For Periodic Neutrino Emission From Binary Systems With 22 And 40 Strings Of Icecube

Matthias Wolf, Shirit Cohen, Mathieu Ribordy, Xiaoxia Bai

In this paper, we present the results of searches for periodic neutrino emission from a catalog of binary systems. Such modulation, observed in the photon flux, would be caused by the geometry of these systems. In the analysis, the period is fixed by these ...

2012

A Verification Toolkit for Numerical Transition Systems

Viktor Kuncak, Hossein Hojjat

This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...

2012

Scalable real-time planar targets tracking for digilog books

Vincent Lepetit

We propose a novel 3D tracking method that supports several hundreds of pre-trained potential planar targets without losing real-time performance. This goes well beyond the state-of-the-art, and to reach this level of performances, two threads run in paral ...

Springer Verlag2010

Model checking: Algorithmic verification and debugging

Joseph Sifakis

Turing Lecture from the winners of the 2007 ACM A.M. Turing Award.In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly succes ...

2009

This thesis focuses on the decisional process of autonomous systems, and more particularly, on the way to take a decision when the time at disposal in order to assess the whole situation is shorter than necessary. Indeed, numerous systems propose solutions ...

EPFL2009

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