scholarly journals Approximate solution for two stage open networks with Markov-modulated queues minimizing the state space explosion problem

2009 ◽  
Vol 223 (1) ◽  
pp. 519-533 ◽  
Author(s):  
Orhan Gemikonakli ◽  
Enver Ever ◽  
Altan Kocyigit
Keyword(s):  
Approximate Solution ◽  
State Space ◽  
The State ◽  
Two Stage ◽  
State Space Explosion ◽  
Open Networks ◽  
Markov Modulated

scholarly journals Efficient Temporal Planning Using Metastates

2019 ◽  
Vol 33 ◽  
pp. 7554-7561 ◽  
Author(s):  
Amanda Coles ◽  
Andrew Coles ◽  
J. Christopher Beck
Keyword(s):  
State Space ◽  
State Of The Art ◽  
The State ◽  
The Other ◽  
Temporal Constraints ◽  
State Space Explosion ◽  
Temporal Planning ◽  
State Space Search ◽  
Temporal Inconsistency

When performing temporal planning as forward state-space search, effective state memoisation is challenging. Whereas in classical planning, two states are equal if they have the same facts and variable values, in temporal planning this is not the case: as the plans that led to the two states are subject to temporal constraints, one might be extendable into at temporally valid plan, while the other might not. In this paper, we present an approach for reducing the state space explosion that arises due to having to keep many copies of the same ‘classically’ equal state – states that are classically equal are aggregated into metastates, and these are separated lazily only in the case of temporal inconsistency. Our evaluation shows that this approach, implemented in OPTIC and compared to existing state-of-the-art memoisation techniques, improves performance across a range of temporal domains.

scholarly journals Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems

2021 ◽  
Vol 5 (2) ◽  
pp. 1-26
Author(s):  
João Bastos ◽  
Jeroen Voeten ◽  
Sander Stuijk ◽  
Ramon Schiffelers ◽  
Henk Corporaal
Keyword(s):  
State Space ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
The State ◽  
State Space Explosion

scholarly journals Specification guidelines to avoid the state space explosion problem

2014 ◽  
Vol 25 (1) ◽  
pp. 4-33 ◽  
Author(s):  
Jan Friso Groote ◽  
Tim W.D.M. Kouters ◽  
Ammar Osaiweran
Keyword(s):  
State Space ◽  
The State ◽  
State Space Explosion

scholarly journals Symbolic and Structural Model-Checking

2022 ◽  
Vol 183 (3-4) ◽  
pp. 319-342
Author(s):  
Yann Thierry-Mieg
Keyword(s):  
Model Checking ◽  
State Space ◽  
Structural Model ◽  
The State ◽  
Force Model ◽  
Deadlock Detection ◽  
Brute Force ◽  
General Applicability ◽  
State Space Explosion ◽  
Reachability Queries

Brute-force model-checking consists in exhaustive exploration of the state-space of a Petri net, and meets the dreaded state-space explosion problem. In contrast, this paper shows how to solve model-checking problems using a combination of techniques that stay in complexity proportional to the size of the net structure rather than to the state-space size. We combine an SMT based over-approximation to prove that some behaviors are unfeasible, an under-approximation using memory-less sampling of runs to find witness traces or counter-examples, and a set of structural reduction rules that can simplify both the system and the property. This approach was able to win by a clear margin the model-checking contest 2020 for reachability queries as well as deadlock detection, thus demonstrating the practical effectiveness and general applicability of the system of rules presented in this paper.

A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues

2013 ◽  
Vol 36 (2) ◽  
pp. 908-926 ◽  
Author(s):  
Enver Ever ◽  
Orhan Gemikonakli ◽  
Altan Kocyigit ◽  
Eser Gemikonakli
Keyword(s):  
State Space ◽  
Hybrid Approach ◽  
Tandem Queues ◽  
Two Stage ◽  
State Space Explosion

Dynamic Fault Trees Analysis for Importance Measures Based on Cut Sequence Set Model

2012 ◽  
Vol 232 ◽  
pp. 578-582 ◽  
Author(s):  
Dong Liu ◽  
Xiao Juan Chen ◽  
Yi Li ◽  
Zhong Wen Zhao ◽  
Xin Ming Li
Keyword(s):  
State Space ◽  
Fault Tree ◽  
The State ◽  
Time To Failure ◽  
Exponential Distributions ◽  
Fault Trees ◽  
Dynamic Behaviors ◽  
State Space Explosion ◽  
Dynamic Fault Tree ◽  
System Components

Importance Measures (IMs) for dynamic fault tree (DFT) remains widely open, for that Markov-based methodology is limited to exponential distributions as well as the state space explosion. Cut sequence describes the dynamic behaviors among components, and Cut sequence set (CSS) model provides ways to generate and calculate the probabilities of cut sequences, but it does not show how to analysis IMs using CSS model. This paper proposed a novel methodology of IMs in CSS model, including Birnbaum measure (BI), Risk Achievement Worth (RAW) and Structure Importance (SI) and an example demonstrates the superiority of the methodology. In contrast to the Markov-based methodology, the proposed methodology is combinatorial and can handle with any type of time-to-failure distributions for the system components.

Sign in / Sign up

Export Citation Format

Share Document