Publications de Wajeb Saab | EPFL Graph Search

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.

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 ...

We consider cyber-physical systems (CPSs) comprising a central controller that might be replicated for high-reliability, and one or more process agents. The controller receives measurements from process agents, causing it to compute and issue setpoints tha ...

Deploying a power grid controller in the field makes it susceptible to message losses caused by the inherent uncertainties and non-idealities of communication networks, especially when the control action is taken at a sub-second time-scale. We consider a c ...

Real-time control systems (RTCSs) perform complex control and require low response times. They typically use third-party software libraries and are deployed on generic hardware, which suffer from delay faults that can cause serious damage. To improve avail ...

In real-time control of electric grids using multiple software agents, the control performance depends on (1) the proper functioning of the software agents, i.e., absence of software faults, and (2) the behavior of software agents in the presence of non-id ...

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 ...

Multiple software agents can be used to perform the real-time control of electrical grids. The control performance of such solutions is influenced by software non-idealities such as crashes and delays of the software agents, and message losses and delays d ...

Upon an intentional or emergency disconnection from the main grid, a microgrid is expected to continue working in islanded mode. Thus, (at least) one resource needs to act as slack and compensate for power variations to keep the power balance, and ensure t ...

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 ...

We propose two expressive and complementary techniques for the verification of safety properties of infinite-state BIP models. Both our techniques deal with the full BIP specification, while the existing approaches impose con- siderable restrictions: they ...

Real-time control systems use controllers that compute and issue setpoints within stringent delay constraints. Failure to do so, due to a crash or delay as a result of software and/or hardware faults, can cause failure of the controlled resources. Recently ...

Aggregation of electric resources is a fundamental function for the operation of power grids at different time scales. In the context of a recently proposed framework for the real-time control of microgrids with explicit power setpoints, we define and form ...

The present invention concerns a method of generating setpoints for actuators (13) of a real-time control system. The method comprises a first controller (9): a) receiving a first set of measurements from sensors (3), the measurements being individually la ...

Wajeb Saab

Chattez avec Graph Search

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

Ordering Events Based on Intentionality in Cyber-Physical Systems

Robust Real-Time Control of Power Grids in the Presence of Communication Network Non-Idealities

Experimental Validation of the Suitability of Virtualization-Based Replication for Fault Tolerance in Real-Time Control of Electric Grids

Ordering Events Based on Intentionality in Cyber-Physical Systems

T-RECS: A Virtual Commissioning Tool for Software-Based Control of Electric Grids – Design, Validation, and Operation

Axo: Masking Delay Faults in Real-Time Control Systems

T-RECS: A Software Testbed for Multi-Agent Real-Time Control of Electric Grids

Slack Selection for Unintentional Islanding: Practical Validation in a Benchmark Microgrid

Axo: Tolerating Delay Faults in Real-Time Systems

Formal verification of infinite-state BIP models

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

Aggregation of Power Capabilities of Heterogeneous Resources for Real-Time Control of Power Grids

A controller and an agreement protocol for a real-time control system