Model-based automated testing of critical PLC programs
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.
Low-temperature plasmas (LTPs) at atmospheric pressure hold great promise for disinfection and sterilization applications. When compared to traditional sterilization technologies like autoclaving, LTPs may offer several benefits, including reduced energy c ...
This paper introduces a novel method for data-driven robust control of nonlinear systems based on the Koopman operator, utilizing Integral Quadratic Constraints (IQCs). The Koopman operator theory facilitates the linear representation of nonlinear system d ...
Dielectric Elastomer Actuators (DEA) are devices designed to convert electric energy into mechanical work. However, the current actuator design will expand when actuated while muscles contract. Fiber reinforcement may allow for anisotropic movement, which ...
The plastic deformation of small-scale face-centered cubic metals exhibits intermittent slip burst events that appear on stress-strain curves as sudden strain jumps and/or load drops. These events are generally attributed to the avalanche-like cooperative ...
Masonry buildings form building aggregates around the world in historical centers, which developed as the layout of the city or village densified. In these aggregates, adjacent buildings can share structural walls, connected at the interfaces by interlocki ...
Chemical oxidation has been applied in municipal water treatment for more than a century, initially for disinfection. In the early decades, chlorine disinfection was adopted in the fight against waterborne disease. However, the oxidative properties of chlo ...
Water quality and its impacts on human and ecosystem health presents tremendous global challenges. While oxidative water treatment can solve many of these problems related to hygiene and micropollutants, identifying and predicting transformation products f ...
Chemical oxidants including ozone (O3), chlorine (HOCl/OCl-) and chlorine dioxide (ClO2) are applied for disinfection of drinking water. To cope with water scarcity and the increased risks associated with the presence of micropollutants, water treatment sy ...
Fuzzers effectively explore programs to discover bugs. Greybox fuzzers mutate seed inputs and observe their execution. Whenever a seed reaches new behavior (e.g., new code or higher execution frequency), it is stored for further mutation. Greybox fuzzers d ...
For fifty years, heterogeneous photocatalysis has been considered as having potential to remove organic and microbiological pollutants from water under either artificial UV light or sunlight irradiation. However, after tens of thousands of published resear ...
