Applying model checking to industrial-sized PLC programs

About
Privacy
Disclaimer

Graph Chatbot

Related publications (29)

Text Representation Learning for Low Cost Natural Language Understanding

Natural language processing and other artificial intelligence fields have witnessed impressive progress over the past decade. Although some of this progress is due to algorithmic advances in deep learning, the majority has arguably been enabled by scaling ...

EPFL2023

Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems

Colin Neil Jones, Roland Schwan, Melanie Nicole Zeilinger, Xuan Truong Nghiem

Physics-informed machine learning (PIML) is a set of methods and tools that systematically integrate machine learning (ML) algorithms with physical constraints and abstract mathematical models developed in scientific and engineering domains. As opposed to ...

IEEE2023

An end-to-end pipeline for historical censuses processing

Lucas Arnaud André Rappo, Rémi Guillaume Petitpierre, Marion Kramer

Censuses are structured documents of great value for social and demographic history, which became widespread from the nineteenth century on. However, the plurality of formats and the natural variability of historical data make their extraction arduous and ...

2023

Quantitative study of the thickness-dependent stress in indium tin oxide thin films

Varun Gupta

A quantitative analysis of stress in indium tin oxide (ITO) films with varying thicknesses was conducted using high-precision stylus profilometry. The experimental results revealed a transition of the stress type from tensile to compressive as the ITO film ...

Elsevier Science Sa2023

Self-sustained dynamics and forced resonant oscillations in flows: cross-junction jets and sloshing liquids

Alessandro Bongarzone

In engineering, oscillatory instabilities and resonances are often considered undesirable flow features and measures are taken to avoid them. This may include avoiding certain parametric regions or implementing control and mitigation strategies. However, t ...

EPFL2023

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

ELSEVIER2022

Data-driven and Safe Networked Control with Applications to Microgrids

Mustafa Sahin Turan

Today, automatic control is integrated into a wide spectrum of real-world systems such as electrical grids and transportation networks. Many of these systems comprise numerous interconnected agents, perform safety-critical operations, or generate large amo ...

EPFL2022

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

IEEE2022

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Comparison of PI and Adaptive Fuzzy Controllers for Position Tracking of Servo System with Variable Loaded BLDC Motor

Hadi Ardiny

In recent years, several industries have widely applied BLDC servomotors for various purposes that they almost need a control system to be accurate and robust. In this paper, we compare an adaptive fuzzy controller and PI controller for BLDC servomotor pos ...

IEEE2022

Page 2 of 3