Publication

Reliable and Real-Time Distributed Abstractions

Publications associées (128)

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

Distributed, Modular HTL

The Hierarchical Timing Language (HTL) is a real-time coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedom, transmission safety (schedulability of inter-host communication), and time safety ( ...

Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2009

Transient Behavior of variable speed pump-turbine units

François Avellan, Jean-Jacques Simond, Christophe Nicolet, Basile Kawkabani, Yves Pannatier, Alexander Schwery

This paper presents the modeling, simulation and analysis of the dynamic behavior of a fictitious 2x320 MW variable speed pump-turbine power plant including hydraulic system, electrical installations, rotating inertias and control systems. First, the model ...

International Association For Hydraulic Research2008

Modeling and Transient Simulation of FACTS in Multi-Machine Power Systems

Jean-Jacques Simond, Basile Kawkabani, Yves Pannatier

The present paper describes the modeling of 3-level Unified Power Flow Controllers (UPFC) with their control systems for studying the steady-state and transient behavior of electrical networks equipped with FACTS devices. The control features of these devi ...

2008

Rethinking the Design of Distributed Stream Processing Systems

Karl Aberer, Ali Salehi

In this paper, we present a novel architecture to support large scale stream processing services in a widely distributed environment. The proposed system, COSMOS, distinguishes itself by its loose coupling and communication efficiency. To exploit the shari ...

IEEE Computer Society2008

Atomic broadcast

Nils Richard Ekwall

Within only a couple of generations, the so-called digital revolution has taken the world by storm: today, almost all human beings interact, directly or indirectly, at some point in their life, with a computer system. Computers are present on our desks, co ...

EPFL2007

Intrinsic, thermal and hygroscopic residual stresses in thin gas-barrier films on polymer substrates

Yves Leterrier, Grégory Tornare

Intrinsic, thermal, and hygroscopic contributions to the in-plane residual stress in silicon nitride films on polyimide substrates are identified, based on iso- hygric thermal ramps and isothermal relative humidity jumps, combined with non-linear elastic m ...

2007

In vitro breeding of Brassica juncea L. to enhance metal accumulation and extraction properties

Jean-Paul Schwitzguebel, Erika Nehnevajova

In vitro breeding and somaclonal variation were used as tools to improve the potential of Indian mustard (Brassica juncea L.) to extract and accumulate toxic metals. Calli from B. juncea were cultivated on a modified MS medium supplemented with 10–200 μM C ...

2007

Controllability and Stability of Repetitive Batch Processes

Dominique Bonvin

Batch control has traditionally addressed the problems related to the absence of a steady state and the finite batch duration. Recently, batch control has added the dimension that arises naturally from the possibility of applying run-to-run control, i.e. i ...

2007

Modelling and monitoring industrial automation systems

Rodrigo Garcia Garcia

The modelling of a manufacturing enterprise is not an easy task. A manufacturing enterprise is a complex system where technical knowledge is as important as management abilities. For taking more accurate management decisions and for these decisions to have ...

EPFL2006

Network Correlated Data Gathering with Explicit Communication: NP-Completeness and Algorithms

Martin Vetterli, Razvan Cristescu

We consider the problem of correlated data gathering by a network with a sink node and a tree based communication structure, where the goal is to minimize the total trans- mission cost of transporting the information collected by the nodes, to the sink nod ...

2006