Publication

The compositional specification of timed systems-a tutorial

Related publications (48)

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.

Devices, systems and methods for dispensing and analysing particles

Philippe Renaud, Yann Barrandon, David Vincent Bonzon, Jean-Baptiste Bureau, Steve Béguin

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

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

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

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

Multi-experts scheduling system for real-time applications

Mario Bellino

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