Search
Search Results
-
Surrogate Constraints for Synchronized Energy Production/Consumption
We deal here with job scheduling under encapsulated renewable and non-renewable resource constraints, while relying on a case study related to energy... -
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
In the context of classification, robustness verification of a neural network is the problem which consists in determining if small changes of inputs... -
Optimal Charging Station Location in a Linear Cycle Path with Deviations
Bicycle tourism is on the rise thanks to assisted-pedaling bikes, also known as e-bikes. While pedalling is still required on these bikes, they allow... -
On a Geometric Graph-Covering Problem Related to Optimal Safety-Landing-Site Location
We develop a set-cover based integer-programming approach to an optimal safety-landing-site location arising in the design of urban... -
Modular State Spaces - A New Perspective
A modular Petri net is built from individual Petri nets, the instances, which have disjoint sets of internal transitions and interface transitions.... -
Relational Structures for Interval Order Semantics of Concurrent Systems
Relational structures like partial orders that are based on acyclic relations capturing a ‘before’ relationship, can provide versatile frameworks for... -
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles
Trace parsing, a technique for obtaining the correspondence between a trace, which is a string of activities, and a process model, forms the basis of... -
Verifying Temporal Logic Properties in the Modular State Space
A modular Petri net is composed of multiple individual Petri nets, the modules, by fusing their interface transitions. Internal transitions are not... -
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets
Continuous Petri nets (CPNs) form a model of (uncountably infinite) dynamic systems that has been successfully explored for modelling and theoretical... -
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study
Ideally, safety-critical systems should be designed to avoid or be resilient in handling failures that may occur during their lifetime. For... -
On the Application of Model-Driven Optimization to Business Processes
The optimization of business processes is an important task to increase the efficiency of the described workflows. Metaheuristic optimization, such... -
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets
We propose efficient techniques for detecting isomorphism between nets, i.e., for identifying, in large collections of (safe) Petri nets or... -
Sequential Value Passing Yields a Kleene Theorem for Processes
Communication with value passing has received ample attention in process theory. Value passing through a sequential composition has received much... -
A Bigraphs Paper of Sorts
Bigraphs are an expressive graphical modelling formalism to represent systems with a mix of both spatial and non-local connectivity. Currently it is... -
UCB Strategies in a Gaussian Two-Armed Bandit Problem
We consider the two-armed bandit problem in the application to batch data processing if there are two alternative processing methods with different a... -
Accelerated Stochastic Gradient Method with Applications to Consensus Problem in Markov-Varying Networks
Stochastic optimization is a vital field in the realm of mathematical optimization, finding applications in diverse domains ranging from operations... -
How to Use Barriers and Symmetric Regularization of Lagrange Function in Analysis of Improper Nonlinear Programming Problems
In the note, we present a new approach to numerical analysis of improper mathematical programming problems based on ideas of symmetrically... -
Filtering Correction for Robotic Arms Multipurpose Regulators
The paper is devoted to the problem of compensating the external disturbances while stabilizing the robotic arm in the specified position by... -
Decision Analysis of Military Supply Chain Based on Stackelberg Game Model
The military supply chain assumes a paramount role in national security and defense infrastructure development, entailing substantial economic... -
A Learning-Augmented Algorithm for the Parking Permit Problem with Three Permit Types
We consider the parking permit problem with three permit types. First, we prove the tight lower bound on the competitiveness of any deterministic...