User profiles for Andrew S. Miner
Andrew MinerComputer Science, Iowa State University Verified email at iastate.edu Cited by 1983 |
Logic and stochastic modeling with S m A r T
We describe the main features of S m A r T, a software package providing a seamless
environment for the logic and probabilistic analysis of complex systems. S m A r T can combine …
environment for the logic and probabilistic analysis of complex systems. S m A r T can combine …
Efficient reachability set generation and storage using decision diagrams
We present a new technique for the generation and storage of the reachability set of a Petri
net. Our approach is inspired by previous work on Binary and Multi-valued Decision …
net. Our approach is inspired by previous work on Binary and Multi-valued Decision …
A data structure for the efficient Kronecker solution of GSPNs
Kronecker-based approaches have been proposed for the solution of structured GSPNs with
extremely large state spaces. Representing the transition rate matrix using Kronecker sums …
extremely large state spaces. Representing the transition rate matrix using Kronecker sums …
Efficient solution of GSPNs using canonical matrix diagrams
AS Miner - Proceedings 9th International Workshop on Petri …, 2001 - ieeexplore.ieee.org
The solution of a generalized stochastic Petri net (GSPN) is severely restricted by the size of
its underlying continuous-time Markov chain. In recent work (G. Ciardo and AS Miner, 1999), …
its underlying continuous-time Markov chain. In recent work (G. Ciardo and AS Miner, 1999), …
Using the exact state space of a Markov model to compute approximate stationary measures
We present a new approximation algorithm based on an exact representation of the state
space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algebra, …
space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algebra, …
Saturation for a general class of models
AS Miner - IEEE Transactions on Software Engineering, 2006 - ieeexplore.ieee.org
… Andrew S. Miner received the BS degree in computer science and physics from RandolphMacon
College, Ashland, Virginia, in 1993, and received the MS and PhD degrees in …
College, Ashland, Virginia, in 1993, and received the MS and PhD degrees in …
Logical and Stochastic Modeling with Smart
We describe the main features of Smart, a software package providing a seamless environment
for the logic and probabilistic analysis of complex systems. Smart can combine different …
for the logic and probabilistic analysis of complex systems. Smart can combine different …
Implicit GSPN reachability set generation using decision diagrams
AS Miner - Performance Evaluation, 2004 - Elsevier
Implicit techniques for representing and generating the reachability set of a high-level model
have become quite efficient. However, such techniques are usually restricted to models …
have become quite efficient. However, such techniques are usually restricted to models …
Storage alternatives for large structured state spaces
We consider the problem of storing and searching a large state space obtained from a high-level
model such as a queueing network or a Petri net. After reviewing the traditional …
model such as a queueing network or a Petri net. After reviewing the traditional …
Smart: The stochastic model checking analyzer for reliability and timing
SMART provides a seamless environment for the logic and probabilistic analysis of complex
systems, for use in both the classroom and industrial applications. While initially designed …
systems, for use in both the classroom and industrial applications. While initially designed …