(1966). Mathematical Theory of Reliability. Journal of the Operational Research Society: Vol. 17, No. 2, pp. 213-215.

https://link.springer.com/content/pdf/10.1057%2Fjors.1966.43.pdf

Mathematical Theory of Reliability

This paper presents algorithms for the automatic synthesis of real-time controllers by finding a winning strategy for certain games defined by the timed-automata of Alur and Dill. In such games, the outcome depends on the players' actions as well as on their timing. We believe that these results will pave the way for the application of program synthesis techniques to the construction of real-time embedded systems from their specifications.

On the synthesis of discrete controllers for timed systems

Simulation for manufacturing system design and operation: Literature review and analysis

© 2018 ФГБОУ ВО МГППУ «Московский государственный психолого-педагогический университет» © 2018 Moscow State University of Psychology & Education E-journal «Journal of Modern Foreign Psychology» 2018, vol. 7, no. 2, pp. 90—99. doi: 10.17759/jmfp.2018070209 ISSN: 2304-4977 (online) Электронный журнал «Современная зарубежная психология» 2018. Том 7. No 2. С. 90—99. doi: 10.17759/jmfp.2018070209 ISSN: 2304-4977 (online)

Анализ конструктивно-технологических ограничений при проектировании лавинных фотодиодов, работающих в режиме счета фотонов

Condition-based maintenance policies for systems with multiple dependent components: a review

https://hal.archives-ouvertes.fr/hal-02144554/document

Maintenance policy optimisation for multi-component systems considering degradation of components and imperfect maintenance actions

Maintenance strategy for leased equipment

The purpose of this study is to propose and model periodic and sequential preventive maintenance policies for a system that performs various missions over a finite planning horizon. Each mission can have different characteristics that depend on operational and environmental conditions. These proposed preventive maintenance policies are defined and modeled mathematically. The study of these two policies is based on a dynamic system failure law that takes into account the different missions performed. The first step is to determine the optimal business plan to achieve, i.e. the set of missions to perform in order to maximize the profit of missions minus maintenance costs. Thus, for each plan, we determine the maintenance planning considering two policies. The first preventive maintenance policy is periodic and the objective is to determine the optimal number of preventive maintenance to achieve. For the second policy, namely sequential, we calculate the optimal number of preventive maintenance intervals and the duration of these different intervals.

Periodic and sequential preventive maintenance policies over a finite planning horizon with a dynamic failure law

In this paper a condition-based maintenance model is proposed for a single-unit system of production of goods and services. The system is subject to random deterioration which impacts not only the product quality but also the environment. We assume that the environment degrades whenever a specific level of system deterioration is reached. The proposed maintenance model aims to assess the degradation in such a way to reduce the deterioration of the environment. To control this deterioration, inspections are performed and after which the system is preventively replaced or left as it is. Preventive replacement occurs whenever the level of the system degradation reaches a specific level threshold. The objective is to determine optimal inspection dates which minimize the average total cost per unit of time in the infinite horizon. Cost function is composed of inspection and maintenance costs in addition to a penalty cost due to environmental deterioration. The maintenance optimization model is formally derived. On the basis of Nelder---Mead method, inspection dates as optimal solutions are computed. A numerical example is provided to illustrate the proposed maintenance model.

Nidhal Rezg

Papers

Maintenance policy optimisation for multi-component systems considering degradation of components and imperfect maintenance actions

Maintenance strategy for leased equipment

Periodic and sequential preventive maintenance policies over a finite planning horizon with a dynamic failure law

A condition-based maintenance policy for a production system under excessive environmental degradation

Contribution of simulation to the optimization of maintenance strategies for a randomly failing production system