Control design for untimed Petri nets using Markov Decision Processes
Journal Title: Operations Research and Decisions - Year 2017, Vol 27, Issue 4
Abstract
Design of control sequences for discrete event systems (DESs) has been presented modelled by untimed Petri nets (PNs). PNs are well-known athematical and graphical models that are widely used to describe distributed DESs, including choices, synchronizations and parallelisms. The domains of application include, but are not restricted to, manufacturing systems, computer science and transportation networks. We are motivated by the observation that such systems need to plan their production or services. The paper is more particularly concerned with control issues in uncertain environments when unexpected events occur or when control errors disturb the behaviour of the system. To deal with such uncertainties, a new approach based on discrete time Markov decision processes (MDPs) has been proposed that associates the modelling power of PNs with the planning power of MDPs. Finally, the simulation results illustrate the benefit of our method from the computational point of view.
Authors and Affiliations
Cherki DAOUI, Dimitri LEFEBVRE
Keywords
Related Articles
- EP ID EP323667
- DOI -
- Views 40
- Downloads 0
A synthetic indicator of a company’s level of intellectual capital as a hidden value
The authors of the paper analyzed 21 common methods of measuring a company’s intellectual capital, finding that none of them meet all 6 demands that a model indicator should satisfy. As a result, a new method was develop...
A comparative analysis of methods of measuring a company's intellectual capital.
Intellectual capital is, in general, considered to be a component of a company’s market value, which is not always reflected in its financial statements. The authors analyzed 21 of the most common methods of measuring co...
An analysis of maintenance schedules for public facilities
We present a flexible, formal framework for maintenance scheduling for public facilities. Key features of the model include an accelerating deterioration scheme, a general utility measure, and real estate market effects...
Determining an estimate of an equivalence relation for moderate and large sized sets
This paper presents two approaches to determining estimates of an equivalence relation on the basis of pairwise comparisons with random errors. Obtaining such an estimate requires the solution of a discrete programming p...
Solving linear fractional multilevel programs
The linear fractional multilevel programming (LFMP) problem has been studied and it has been proved that an optimal solution to this problem occurs at a boundary feasible extreme point. Hence the Kth-best algorithm can b...