English
Related papers

Related papers: Control Flow Information Analysis in Process Model…

200 papers

Continual learning in robotics seeks systems that can constantly adapt to changing environments and tasks, mirroring human adaptability. A key challenge is refining dynamics models, essential for planning and control, while addressing…

Robotics · Computer Science 2025-09-09 Alejandro Murillo-Gonzalez , Lantao Liu

Within process mining, a relevant activity is conformance checking. Such activity consists of establishing the extent to which actual executions of a process conform the expected behavior of a reference model. Current techniques focus on…

Artificial Intelligence · Computer Science 2022-01-25 Andrea Burattin

In workflows and business processes, there are often security requirements on both the data, i.e. confidentiality and integrity, and the process, e.g. separation of duty. Graphical notations exist for specifying both workflows and…

Cryptography and Security · Computer Science 2014-04-09 Thomas Bauereiss , Dieter Hutter

This special issue collects contributions from the participants of the "Information in Dynamical Systems and Complex Systems" workshop, which cover a wide range of important problems and new approaches that lie in the intersection of…

Chaotic Dynamics · Physics 2015-05-19 Erik M. Bollt , Jie Sun

In the note two errors in Low and Lapsley's article "Optimization Flow Control, I: Basic Algorithm and Convergence", "IEEE/ACM Transactions on Networking", 7(6), pp. 861-874, 1999, are shown. Because of these errors the proofs of both…

Networking and Internet Architecture · Computer Science 2016-10-11 Andrzej Karbowski

Process mining is a new emerging research trend over the last decade which focuses on analyzing the processes using event log and data. The raising integration of information systems for the operation of business processes provides the…

Software Engineering · Computer Science 2019-09-16 B. Kamala

Conformance checking is a set of process mining functions that compare process instances with a given process model. It identifies deviations between the process instances' actual behaviour ("as-is") and its modelled behaviour ("to-be").…

Software Engineering · Computer Science 2020-07-22 Sebastian Dunzer , Matthias Stierle , Martin Matzner , Stephan Baier

Analysing how information flows along the layers of a multilayer perceptron is a topic of paramount importance in the field of artificial neural networks. After framing the problem from the point of view of information theory, in this…

Information Theory · Computer Science 2025-10-17 Giuliano Armano

This paper addresses the design of an event-triggered, data-based, and performance-oriented adaption method for model predictive control (MPC). The performance of such a strategy strongly depends on the accuracy of the prediction model,…

Systems and Control · Electrical Eng. & Systems 2026-03-13 Samuel Mallick , Laura Boca de de Giuli , Alessio La Bella , Azita Dabiri , Bart De Schutter , Riccardo Scattolini

We propose an information-theoretic framework for analyzing control systems based on the close relationship of controllers to communication channels. A communication channel takes an input state and transforms it into an output state. A…

Data Analysis, Statistics and Probability · Physics 2007-05-23 Hugo Touchette , Seth Lloyd

Reference models convey best practices and standards. The reference frameworks necessitate conformance checks to ensure adherence to established guidelines and principles, which is crucial for maintaining quality and consistency in various…

Software Engineering · Computer Science 2025-09-30 Bernhard Rumpe , Max Stachon , Sebastian Stüber , Valdes Voufo

This paper demonstrates many immediate connections between adaptive control and optimization methods commonly employed in machine learning. Starting from common output error formulations, similarities in update law modifications are…

Optimization and Control · Mathematics 2020-04-17 Joseph E. Gaudio , Travis E. Gibson , Anuradha M. Annaswamy , Michael A. Bolender , Eugene Lavretsky

Flow matching has shown state-of-the-art performance in various generative tasks, ranging from image generation to decision-making, where generation under energy guidance (abbreviated as guidance in the following) is pivotal. However, the…

Machine Learning · Computer Science 2025-05-27 Ruiqi Feng , Chenglei Yu , Wenhao Deng , Peiyan Hu , Tailin Wu

Business Process Management and Operations Research are two research fields that both aim to enhance value creation in organizations. While Business Process Management has historically emphasized on providing precise models, Operations…

Software Engineering · Computer Science 2024-09-04 Michel Kunkler , Felix Schumann , Stefanie Rinderle-Ma

Microfluidics, the study of fluids in microscopic channels, has led to important advances in fields as diverse as microelectronics, biotechnology and chemistry. Microfluidic research is primarily based on the use of microfluidic chips,…

Systems and Control · Electrical Eng. & Systems 2024-07-15 Jorge Vicente Martinez , Edgar Ramirez-Laboreo , Pablo Calderon Gil

Many business process models contain control flow errors, such as deadlocks or livelocks, which hinder proper execution. In this paper, we introduce a new tool that can instantaneously identify control flow errors in BPMN models, make them…

Software Engineering · Computer Science 2024-08-13 Tim Kräuter , Patrick Stünkel , Adrian Rutle , Yngve Lamo , Harald König

We present a preliminary proposal for an analytical model for evaluating the impact on performance of data access patterns in concurrent transaction execution. We consider the case of concurrency control protocols that use locking to ensure…

Performance · Computer Science 2021-10-19 Pierangelo Di Sanzo

This paper proposes an introduction to one of the newest modelling methods, an executable model based on workflows. We present the terminology for some basic workflow patterns, as described in the Workflow Management Coalition Terminology…

Software Engineering · Computer Science 2009-03-03 Alexandra Fortis , Florin Fortis

This manuscript contains technical details of recent results developed by the authors on adaptive model predictive control for constrained linear systems that exhibits exploring property and uses basis function model parametrization.

Systems and Control · Computer Science 2013-09-23 M. Tanaskovic , L. Fagiano , R. S. Smith , M. Morari

Information flow in quantum spin networks is considered. Two types of control -- temporal bang-bang switching control and control by varying spatial degrees of freedom -- are explored and shown to be effective in speeding up information…

Quantum Physics · Physics 2019-10-15 Sophie Schirmer , Frank Langbein