Model-based automated testing of critical PLC programs

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (31)

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Mathias Josef Payer, Jiayuan Zhang, Yuqing Zhang, Flavio Toffalini, Han Zheng

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

Usenix Assoc2023

Predicting Transformation Products during Aqueous Oxidation Processes: Current State and Outlook

Urs von Gunten

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

2023

Antiviral compounds, compositions and uses thereof

Francesco Stellacci, Matteo Gasbarri, Yong Zhu

Compounds, compositions and methods that can be used for the treatment of viral diseases are provided. ...

2023

Periodate activation with copper oxide nanomaterials for the degradation of ciprofloxacin- A new insight into the efficiency and mechanisms

Shaoxian Li, Xi Zhang

In this study, CuO was synthesized using a facile precipitation method and was characterized using various techniques for the efficient activation of periodate (PI). Compared to systems consisting of PI alone (0.5 mM) and CuO alone (0.5 g/L), the CuO (0.5 ...

ELSEVIER SCI LTD2023

Fast correlation function calculator A high-performance pair-counting toolkit

Cheng Zhao

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

EDP SCIENCES S A2023

A Survey of Industrial N-nitrosamine Discharges in Switzerland

Florian Frédéric Vincent Breider, Caroline Gachet Aquillon, Urs von Gunten

N-nitrosamines are formed during different industrial processes and are of significant concern due to their carcinogenic and mutagenic properties. This study reports concentrations of N-nitrosamines in eight different industrial wastewater treatment plants ...

2023

Advances in polymer-based nanocomposite membranes for water remediation: Preparation methods, critical issues and mechanisms

Sami Rtimi

Membrane technology is a growing tool for contaminants removal from polluted water. Although various types of polymeric membranes have been developed for water remediation, the common drawbacks like fouling, hydrophobicity and low mechanical strength are y ...

Elsevier Sci Ltd2023

Dynamic pulse scheduling in ASDEX Upgrade: Disruption avoidance and investigation of the H-Mode density limit

Federico Alberto Alfredo Felici, Alessandro Pau, Bernhard Sieglin

Operation of a tokamak device requires the coordinated operation of a multitude of systems. The sequence of operations during a discharge is both too complex and fast for human interaction. A common way of operation is a predefined sequence of operations w ...

2023

Ozonation of lake water and wastewater: Identification of carbonous and nitrogenous carbonyl-containing oxidation byproducts by non-target screening

Urs von Gunten, Joanna Maria Houska

Ozonation of drinking water and wastewater is accompanied by the formation of disinfection byproducts (DBPs) such as low molecular weight aldehydes and ketones from the reactions of ozone with dissolved organic matter (DOM). By applying a recently develope ...

PERGAMON-ELSEVIER SCIENCE LTD2023

Data-driven Methods for Control: from Linear to Lifting

Yingzhao Lian

The progress towards intelligent systems and digitalization relies heavily on the use of automation technology. However, the growing diversity of control objects presents significant challenges for traditional control approaches, as they are highly depende ...

EPFL2023

Hybrid Quadratic Programming - Pullback Bundle Dynamical Systems Control

Aude Billard, Bernardo Fichera

Dynamical System (DS)-based closed-loop control is a simple and effective way to generate reactive motion policies that well generalize to the robotic workspace, while retaining stability guarantees. Lately the formalism has been expanded in order to handl ...

SPRINGER INTERNATIONAL PUBLISHING AG2023

Page 2 sur 2