Accepted Papers | Acta Cybernetica

Skip to main content Skip to main navigation menu Skip to site footer

These papers are accepted for publication, but will appear in future issues.

Published: 2024-03-20

Special Issue of SWIM 2022

Set-Valued Approach for the Online Identification of the Open-Circuit Voltage of Lithium-Ion Batteries

Marit Lahme, Andreas Rauh
Exponential State Enclosure Techniques for the Implementation of Validated Model Predictive Control

Mohamed Fnadi, Andreas Rauh
Robust Control and Actuator Fault Detection Based on an Iterative LMI Approach: Application on a Quadrotor

Oussama Benzinane, Andreas Rauh
Verified Bit and Power Allocation for MIMO Systems: A Comparison of SVD Based Techniques With GMD

Ekaterina Auer, Andreas Ahrens
The Codac Library A Catalog of Domains and Contractors

Simon Rohou, Benoît Desrochers, Fabrice Le Bars
A New Interval Arithmetic to Generate the Complementary of Contractors

Pierre Filiol, Theotime Bollengier, Luc Jaulin, Jean Christophe Le Lann
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations A Collision Detection Application

Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux

Special Issue of the 13th Conference of PhD Students in Computer Science

Towards Abstraction-based Probabilistic Program Analysis

Dániel Szekeres, István Majzik
- PDF
Corner-Based Implicit Patches

Ágoston Sipos
- PDF
Integer Programming Based Optimization of Power Consumption for Data Center Networks

Gergely Kovásznai, Mohammed Nsaif
- PDF
Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin

Dániel Lukács, Máté Tejfel
- PDF
A Formalisation of Core Erlang, a Concurrent Actor Language

Péter Bereczky, Dániel Horpácsi, Simon Thompson
- PDF
Quadratic Displacement Maps for Heightmap Rendering

Mátyás Kiglics, Gábor Valasek, Csaba Bálint, Róbert Bán
- PDF
Comparing Structural Constraints for Accelerated Branch and Bound Solver of Process Network Synthesis Problems

Emília Heinc, Balázs Bánhelyi
- PDF
Extracting Line Parameters of Woven Wire Mesh in Images under Directional Illumination

László Körmöczi, László G. Nyúl
- PDF
Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses

Kristóf Umann, Gábor Horváth, Zoltán Porkoláb
- PDF
Single and Combined Algorithms for Open Set Classification on Image Datasets

Modafar Al-Shouha, Gábor Szűcs
- PDF
Identifying Concurrent Behaviours in Erlang Legacy Systems

Zsófia Erdei, Melinda Tóth, István Bozó
- PDF
Standardized Telemedicine Software Development Kit with Hybrid Cloud Support

Zoltán Richárd Jánki, Vilmos Bilicki
- PDF
The Influence of the Nonfunctional Requirements on the Data Model

Grácián Kokrehel, Vilmos Bilicki
- PDF