Publication

Applying model checking to industrial-sized PLC programs

Publications associées (29)

Real-Time Nonlinear Model Predictive Control for Fast Mechatronic Systems

This thesis presents an efficient and extensible numerical software framework for real-time model-based control. We are motivated by complex and challenging mechatronic applications spanning from flight control of fixed-wing aircraft and thrust vector cont ...

EPFL2022

Systematic Literature Review of MBSE Tool-Chains

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

MDPI2022

Combining hypothesis- and data-driven neuroscience modeling in FAIR workflows

Daniel Keller

Modeling in neuroscience occurs at the intersection of different points of view and approaches. Typically, hypothesis-driven modeling brings a question into focus so that a model is constructed to investigate a specific hypothesis about how the system work ...

2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Closed-loop data-driven modeling and distributed control for islanded microgrids with input constraints

Alireza Karimi, Seyed Sohail Madani, Dongdong Zheng

In this paper a new nonlinear identification method for microgrids based on neural networks is proposed. The system identification process can be done using the available closed-loop system input/output data recorded during normal operation without additio ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Ontology-based system to support industrial system design for aircraft assembly

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

The development of an aircraft industrial system is a complex process which faces the challenge of digital discontinuity in multidisciplinary engineering due to various interfaces between different digital tools, leading to extra development time and costs ...

ELSEVIER2022

Scalable Fabrication and Actuation of a Human Inspired Hand Through 3D Printed Flexures and Combinatorial Actuation

Josephine Anna Eleanor Hughes, Kai Christian Junge, Carlo Bosio

The fabrication and control of robot hands with biologically inspired structure remains challenging due to its cost and complexity. In this paper we explore how widely available FDM printers can be used to fabricate complex hand structures by leveraging co ...

FRONTIERS MEDIA SA2022

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Han Li

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Direct Model-checking of SysML Models

Alessandro Tempia Calvino

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

SCITEPRESS2021