A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
A Sweep-Line Method for State Space Exploration
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
We present a state space exploration method for on-the-fly verification. The method is aimed at systems for which it is possible to define a measure of progress based on the states of the system. ...
Our experiments show significant reductions in both space and time used during state space exploration. ...
For infinite-state systems the sweep-line method can be used to explore and analyse larger prefixes of the state space than can be done with ordinary state space exploration. ...
doi:10.1007/3-540-45319-9_31
fatcat:dlwvzagdengflking4iq2wkshy
A Compositional Sweep-Line State Space Exploration Method
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The sweep-line method exploits a certain kind of progress present in many systems to reduce peak memory usage during state space exploration. ...
State space exploration is a main approach to verification of finite-state systems. ...
The authors would like to thank Michael Westergaard for assisting in the implementation of the prototype. ...
doi:10.1007/3-540-36135-9_21
fatcat:xg3crkf4ija4lnun2ffp3dr5ni
The sweep-line state space exploration method
2012
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Second, we survey a selection of case studies where the sweep-line method has been put into practical use for the verification of concurrent systems. ...
The sweep-line method exploits intrinsic progress in concurrent systems to alleviate the state explosion problem in explicit state model checking. ...
Acknowledgements The sweep-line method has been influenced by several co-authors of papers. In particular, we acknowledge the contributions of Jonathan Billington, Søren Christensen, Guy E. ...
doi:10.1016/j.tcs.2011.12.036
fatcat:ajwaohtrgzffzkrngki7vcjgcm
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The sweep-line method is an explicit-state model checking technique that uses a notion of progress to delete states from internal memory during state space exploration and thereby reduce peak memory usage ...
detection compared to a pure external memory state space exploration method. ...
The operation of the sweep-line method is illustrated in Fig. 1 which depicts a generic snapshot during state space exploration. ...
doi:10.1007/978-3-642-31759-0_6
fatcat:q7h725iqwjgn5lejmp6hz755ke
Advanced State Space Methods
[chapter]
2009
Coloured Petri Nets
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Requires a partitioning function mapping from the set of states into partitions. A Sweep-Line Method for State Space Exploration S. Christensen, L.M. Kristensen and T. ...
A conceptual sweep-line moves through the state space layer by layer: All states in the layer are "on" the sweep-line. ...
doi:10.1007/b95112_8
fatcat:puynvaytqzb3rfwjac57fpvvii
Automated Generation of a Progress Measure for the Sweep-Line Method
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In the context of Petri nets, we propose an automated construction of a progress measure which is an important pre-requisite for a state space reduction technique called the sweep-line method. ...
Introduction The sweep-line method [Mai03] is a recently proposed reduction technique for explicit state space verification. ...
The Sweep-Line Method First, we sketch the basic sweep-line method [CKM01] . At any snapshot during explicit state space exploration, we can distinguish three kinds of states. ...
doi:10.1007/978-3-540-24730-2_17
fatcat:le2sz44cozdgpcc75zj3lz3b7q
ASAP: An Extensible Platform for State Space Analysis
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ...
ASAP supports a wide range of state space reduction techniques and is intended to be easy to extend and to use, making it a suitable tool for students, researchers, and industrial users that would like ...
Graphical representation of the Sweep Line Exploration task getParameters and getReturnType methods. ...
doi:10.1007/978-3-642-02424-5_18
fatcat:dpwhcuxp3ravfapbvqhb4mby4q
Formal specification and state space analysis of an operational planning process
2007
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
State space analysis was conducted using full state spaces and the sweep-line state space reduction method. ...
In the analysis step, we also investigated the use of the sweep-line method which exploits the progress present in systems to reclaim memory during state space exploration and thereby alleviate the state ...
In [11] , a CPN model of the planning process based on the observation of a DSTO-TR-1762 ...
doi:10.1007/s10009-007-0032-3
fatcat:gs4e6ijepvc5jfw7reopi4kt3a
Checking safety properties on-the-fly with the sweep-line method
2007
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
space exploration
CPN'09 -13
Conclusions
ComBack method for alleviating state explosion:
Extension of the hash compaction to guarantee full coverage. ...
:
Distributed model checking: State space exploration is conducted using a set of machines / processes. ...
Example: Partition Refinement
Heuristics The refinement step requires the selection of state component to be used for the refinement. ...
doi:10.1007/s10009-007-0031-4
fatcat:4zx4q74c2zb2dewowqvs4v3c24
A Markov Decision Model for Area Coverage in Autonomous Demining Robot
2017
International Journal of Informatics and Communication Technology (IJ-ICT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This approach, called Goals to Goals Area Coverage on-line Algorithm, is based on a decomposition of the state space into smaller regions whose states are considered as goals with the same reward value ...
In this work, we propose a new approach using Markov Decision Process to plan an optimum path to reach the general goal of exploring an unknown environment containing buried mines. ...
For a large state space and real environment with obstacles, line sweep decomposition into monotone subregions can be used [13] ; in each subregion, an adequate line-sweep search mode is used to ensure ...
doi:10.11591/ijict.v6i2.pp105-116
fatcat:geiumlys7beaxgujrjozdkhvju
Search-Order Independent State Caching
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
provided by the sweep-line method. ...
to explore the state space implied by these parameters, i.e., visit all its states. ...
states stored by the sweep-line method. ...
doi:10.1007/978-3-642-18222-8_2
fatcat:npqorm25krbvnaos6qsqsxsi6u
Postponed Updates for Temporal-Difference Reinforcement Learning
2009
2009 Ninth International Conference on Intelligent Systems Design and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents postponed updates, a new strategy for TD methods that can improve sample efficiency without incurring the computational and space requirements of model-based RL. ...
Experimental results demonstrate that postponed updates outperforms several competitors, most notably eligibility traces, a traditional way to improve the sample efficiency of TD methods. ...
The pseudocode for this method implements line 6 of algorithm 2 as:
10: end loop Besides that, the priority queue P Queue has to be initialized as an empty queue and after line 11 the line promote pair ...
doi:10.1109/isda.2009.76
dblp:conf/isda/SeijenW09
fatcat:xaplfgkw3recdiksyd2cispmqe
Optimistic Simulated Exploration as an Incentive for Real Exploration
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
I propose to use simulated exploration with an optimistic model to discover promising paths for real exploration. This reduces the needs for the real exploration. ...
Many reinforcement learning exploration techniques are overly optimistic and try to explore every state. Such exploration is impossible in environments with the unlimited number of states. ...
I also wish to thank the community around the rl-list@googlegroups.com mailing list for provocative ideas and discussions. ...
arXiv:0903.2972v3
fatcat:ssawdiqi7jg5dh3uqikjtr4bje
Symanzik Improvement In The Static Quark Potential
[article]
2001
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
We have considered novel methods for stepping off-axis in the static quark potential which provides new insights into the extent to which the ground state potential dominates the Wilson loop correlation ...
A matched set of standard Wilson gauge configurations is prepared at \beta = 5.74 with the same physical volume and lattice spacing and is studied for comparison. ...
DE-FG05-86ER40273 and by the Florida State University Supercomputer Computations Research Institute which is partially funded by the Department of Energy through contract No. DE-FC05-85ER25000 ...
arXiv:hep-lat/9912044v2
fatcat:zs6odvxy55fl5kxliyqeh7kvmy
Respiration resolved imaging with continuous stable state 2D acquisition using linear frequency SWEEP
2019
Magnetic Resonance in Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To investigate the potential of continuous radiofrequency (RF) shifting (SWEEP) as a technique for creating densely sampled data while maintaining a stable signal state for dynamic imaging. ...
In this case the sweep rate was explored linearly between R s = 0−1%. For comparison a typical M2D (Rs = 0%) acquisition scheme was simulated with a new slice started every 90 RF pulses. ...
methods can be explored in the absence of significant tissue motion ( Figure 5) . ...
doi:10.1002/mrm.27834
pmid:31183892
pmcid:PMC6682494
fatcat:k7e4gg3ufzhxho6mufos66tzae
« Previous
Showing results 1 — 15 out of 90,518 results