Publication

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems

Publications associées (16)

Real-time implementation of the high-fidelity NBI code RABBIT into the discharge control system of ASDEX Upgrade

Federico Alberto Alfredo Felici, Bernhard Sieglin

For the first time, a real-time capable NBI code, which has a comparable fidelity to the much more computationally expensive Monte Carlo codes such as NUBEAM, has been coupled to the discharge control system of a tokamak. This implementation has been done ...

IOP Publishing Ltd2023

Real-Time Prediction of Students' Activity Progress and Completion Rates

Pierre Dillenbourg, Louis Pierre Faucon, Stian Haklev, Jennifer Kaitlyn Olsen

In classrooms, some transitions between activities impose (quasi-)synchronicity, meaning there is a need for learners to move between activities at the same time. To make real-time decisions about when to move to the next activity, teachers need to be able ...

SOC LEARNING ANALYTICS RESEARCH-SOLAR2020

Reliable and Robust Cyber-Physical Systems for Real-Time Control of Electric Grids

Wajeb Saab

Real-time control of electric grids is a novel approach to handling the increasing penetration of distributed and volatile energy generation brought about by renewables. Such control occurs in cyber-physical systems (CPSs), in which software agents maintai ...

EPFL2019

Reliability Mechanisms for Controllers in Real-Time Cyber-Physical Systems

Maaz Mashood Mohiuddin

Cyber-physical systems (CPSs) are real-world processes that are controlled by computer algorithms. We consider CPSs where a centralized, software-based controller maintains the process in a desired state by exchanging measurements and setpoints with proces ...

EPFL2018

Quarts: Quick Agreement for Real-Time Control Systems

Jean-Yves Le Boudec, Simon Bliudze, Wajeb Saab

Real-time control systems (RTCSs) tolerate delay and crash faults by replicating the controller. Each replica computes and issues setpoints to actuators over a network that might drop or delay messages. Hence, the actuators might receive an inconsistent se ...

2017

Integration of a Real-Time Node for Magnetic Perturbations Signal Analysis in the Distributed Digital Control System of the TCV Tokamak

Basil Duval, Xavier Llobet, Jean-Marc Moret, Olivier Sauter, Stefano Coda, Duccio Testa, Cristian Galperti

This paper presents the integration of an acquisition and computing unit capable of acquiring and processing fast magnetic signals in real time in the control system of the tokamak a configuration variabile tokamak. All aspects of system integration and te ...

2017

Real-Time Distributed Algorithms for Nonconvex Optimal Power Flow

Georgios Stathopoulos, Colin Neil Jones, Jean-Hubert Hours, Yuejiang Liu

The optimal power flow (OPF) problem, a fundamental problem in power systems, is generally nonconvex and computationally challenging for networks with an increasing number of smart devices and real-time control requirements. In this paper, we first investi ...

2017

Axo: Tolerating Delay Faults in Real-Time Systems

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

We address delay faults: faults that cause a software component to take more time for completing an action than a given deadline. Such faults are particularly of interest in real- time mission-critical control applications that use general-purpose computin ...

2016

Axo: Masking Delay Faults in Real-Time Control Systems

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

We consider real-time control systems that consist of a controller that computes and sends setpoints to be implemented in physical processes through process agents. We focus on systems that use commercial off-the-shelf hardware and software components. Set ...

2016

Reliable and Real-Time Distributed Abstractions

David Kozhaya

The celebrated distributed computing approach for building systems and services using multiple machines continues to expand to new domains. Computation devices nowadays have additional sensing and communication capabilities, while becoming, at the same tim ...

EPFL2016

Distributed Modifier-Adaptation Schemes for the Real-Time Optimization of Interconnected Systems in the Presence of Structural Plant-Model Mismatch

Dominique Bonvin, Predrag Milosavljevic, René Uwe Schneider

The desire to operate chemical processes in a safe and economically optimal way has motivated the development of so-called real-time optimization (RTO) methods [1]. For continuous processes, these methods aim to compute safe and optimal steady-state set ...

2016

WHO'S ON BOARD? Probabilistic Membership for Real-Time Distributed Control Systems

Rachid Guerraoui, David Kozhaya

To increase their dependability, distributed control systems (DCSs) need to agree in real time about crashed hosts, i.e., they need a real-time membership service. In this paper, we prove that such a service cannot be implemented deterministically if, besi ...

Ieee2016

Applying model checking to industrial-sized PLC programs

Simon Bliudze, Jean-Charles Tournier, Borja Fernandez Adiego

Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the ...

Institute of Electrical and Electronics Engineers2015

Distributed processing of continuous sliding-window k-NN queries for data stream filtering

Karl Aberer, Ivana Podnar, Kresimir Pripuzic

A sliding-window k-NN query (k-NN/w query) continuously monitors incoming data stream objects within a sliding window to identify k closest objects to a query. It enables effective filtering of data objects streaming in at high rates from potentially distr ...

Springer Verlag2011

Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods

Friedrich Eisenbrand, Martin Niemeier

We report on the solution of a real-time scheduling problem that arises in the design of software-based operation control of aircraft. A set of tasks has to be distributed on a minimum number of machines and offsets of the tasks have to be computed. The ta ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010

Soft real-time analysis of asynchronous agreement algorithms using Petri nets

Nicoleta Sergent

A distributed algorithm comprises a collection of sequential-code entities, which are spread over different computers connected to a network. The process of designing a distributed algorithm is influenced by the assumptions we make on the computational env ...

EPFL1998