Model checking is a formal automatic verification technology for complex concurrent systems. It is used widely in the verification and analysis of computer software and hardware systems, communication protocols, security protocols, etc. The generaliz...
Currently, there is uncertainty in the modeling techniques of cyber-physical systems (CPS) when faced with the multiple possibilities and distributions of complex system behavior. This uncertainty leads to the system’s inability to handle uncer...
This research addresses the problem of multi-objective resource allocation or resource deficits, offering robust answers to planning decisions that involve the elementary question: “How is it done?”. The solution to the problem is realize...
This research aims at developing methodological tools for decision makers (DMs) to determine the locations for generating sites for hybrid renewable energy systems, considering complementarity characteristics of the corresponding sources and their se...
Waste management involves the systematic collection, transportation, processing, and treatment of waste materials generated by human activities. It entails a variety of strategies and technologies to diminish environmental impacts, protect public hea...