Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]
, 2012 This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core +1 more source
Discrete element method to simulate continuous material by using the cohesive beam model [PDF]
, 2012 The mechanical behavior of materials is usually simulated by the continuous mechanics approach. However, simulation of non-continuous phenomena like multi fracturing is not well adapted to a continuous description.
Jean-luc Charles +8 more
core +1 more source
Construction of discrete-time model for port-controlled Hamiltonian systems with applications [PDF]
, 2006 The issues of constructing a discrete-time model for Hamiltonian systems are in general different from those for dissipative systems. We propose an algorithm for constructing an approximate discrete-time model, which guarantees Hamiltonian conservation ...
Astolfi, A., +4 more
core +1 more source
Наука и техника, 2021 Problems with unilateral constraints are not uncommon in the practice of calculating building construction and structures. Certain difficulties in solving them arise during contact friction, as well as the dynamic action of the load.
A. A. Lukashevich +2 more
doaj +1 more source
Performance Comparison of Numerical Methods in a Predictive Controller for an AC–DC Power Converter
Mathematics, 2022 The use of model-based predictive control in power converters has substantially increased in recent years. This control technique always needs a discrete system model to be implemented. There are several methods to obtain a discrete model; in this paper,
Jazmin Ramirez-Hernandez +5 more
doaj +1 more source
Discrete Time Optimal Harvesting of Fish Populations with Age Structure
Letters in Biomathematics, 2014 We consider an optimal fishery harvesting problem using an age-structured population model with nonlinear recruitment. The motivating example is Atlantic Cod. The goal is to maximize the profit (total gain) of fishing.
Wandi Dine +2 more
doaj +1 more source
A Discrete Model of Rock-Soil Medium Response in the Determination of Horizontal Strain Values
Applied Sciences, 2021 This paper presents a method for determining the standard deviation and variation coefficient for both the predicted and measured values of horizontal strain that were caused by underground mining operations. The solution was based on a discrete model of
Anton Sroka +6 more
doaj +1 more source
The analysis of the discrete cracking model of reinforced concrete tensile members
Engineering Structures and Technologies, 2010 Adequate modelling of reinforced concrete (RC) cracking, particularly post-cracking behaviour (tension stiffening), as one of the major sources of nonlinearity, is the most important and difficult task for deformation analysis.
Donatas Salys +5 more
doaj +1 more source
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source
Klein's discrete model: the case of odd order
, 2002 The aim of this paper is the construction of an incidence structure, called Klein's Discrete Model, which can be regarded as an analogous model to Klein's real model.
TONDINI, Daniela, EUGENI, Franco
core +2 more sources