scholarly journals Reachability analysis for n-squared state charts over a boolean semiring applied to a hysteretic discrete event structural control model

Author(s):  
P.M. Sain ◽  
Ying Shang ◽  
M.K. Sain
2012 ◽  
Vol 605-607 ◽  
pp. 1831-1835
Author(s):  
Daniel Yuh Chao ◽  
Yao Nan Lien ◽  
Jiun Ting Chen ◽  
Yu Ying Shih

The set-covering approach by Piroddi et al. may reach the optimal number of states among all approaches for a well-known benchmark using a siphon-based approach without reachability analysis. However, the resulting model is a generalized Petri net incurring extra cost in system verification, validation and implementation. The only improvement is to replace two monitors with weighted arcs by two new monitors without weighted arcs. We develop a theory for explaining the cause of state losses and providing the foundation for the above improvement model.


2022 ◽  
Vol 11 (1) ◽  
pp. 43-54 ◽  
Author(s):  
Hanane Rachih ◽  
Fatima Zahra Mhada ◽  
Raddouane Chiheb

Nowadays, companies are recognizing their primordial roles and responsibilities towards the protection of the environment and save the natural resources. They are focusing on some contemporary activities such as Reverse Logistics which is economically and environmentally viable. However, the integration of such an initiative needs flows restructuring and supply chain management in order to increase sustainability and maximize profits. Under this background, this paper addresses an inventory control model for a reverse logistics system that deals with two separated types of demand, for new products and remanufactured products, with different selling prices. The model consists of a single shared machine between production and remanufacturing operations, while the machine is subject to random failures and repairs. Three stock points respectively for returns, new products and remanufactured products are investigated. Meanwhile, in this paper, a modeling of the problem with Discrete-Event simulation using Arena® was conducted. Regarding the purpose of finding, a near-optimal inventory control policy that minimizes the total cost, an optimization of the model based on Tabu Search and Genetic Algorithms was established. Computational examples and sensitivity analysis were performed in order to compare the results and the robustness of each proposed algorithm. Then the results of the two methods were compared with those of OptQuest® optimization tool.


1975 ◽  
Vol 40 (6) ◽  
pp. 813 ◽  
Author(s):  
Norman P. Hummon ◽  
Patrick Doreian ◽  
Klaus Teuter

Author(s):  
M. Sarikaya ◽  
J. T. Staley ◽  
I. A. Aksay

Biomimetics is an area of research in which the analysis of structures and functions of natural materials provide a source of inspiration for design and processing concepts for novel synthetic materials. Through biomimetics, it may be possible to establish structural control on a continuous length scale, resulting in superior structures able to withstand the requirements placed upon advanced materials. It is well recognized that biological systems efficiently produce complex and hierarchical structures on the molecular, micrometer, and macro scales with unique properties, and with greater structural control than is possible with synthetic materials. The dynamism of these systems allows the collection and transport of constituents; the nucleation, configuration, and growth of new structures by self-assembly; and the repair and replacement of old and damaged components. These materials include all-organic components such as spider webs and insect cuticles (Fig. 1); inorganic-organic composites, such as seashells (Fig. 2) and bones; all-ceramic composites, such as sea urchin teeth, spines, and other skeletal units (Fig. 3); and inorganic ultrafine magnetic and semiconducting particles produced by bacteria and algae, respectively (Fig. 4).


2014 ◽  
Author(s):  
Melissa D. McKenzie ◽  
Sarah Ramsey ◽  
Alan Rosenbaum

Sign in / Sign up

Export Citation Format

Share Document