A
Andrew S. Miner
Researcher at Iowa State University
Publications - 52
Citations - 1409
Andrew S. Miner is an academic researcher from Iowa State University. The author has contributed to research in topics: Influence diagram & Model checking. The author has an hindex of 19, co-authored 48 publications receiving 1335 citations. Previous affiliations of Andrew S. Miner include College of William & Mary.
Papers
More filters
Book ChapterDOI
Efficient Reachability Set Generation and Storage Using Decision Diagrams
TL;DR: A new technique for the generation and storage of the reachability set of a Petri net is presented, which exploits a concept of locality for the effect of a transition's firing to vastly improve algorithmic performance.
Proceedings ArticleDOI
Anomaly intrusion detection using one class SVM
Y. Wang,J. Wong,Andrew S. Miner +2 more
TL;DR: This work extends kernel methods to intrusion detection domain by introducing a new family of kernels suitable for intrusion detection, combined with an unsupervised learning method - one-class support vector machine.
Proceedings ArticleDOI
A data structure for the efficient Kronecker solution of GSPNs
TL;DR: This work shows how, by using a new data structure which is called matrix diagrams, it is able to greatly reduce or eliminate many of these overheads, resulting in a very efficient overall solution process.
Book ChapterDOI
Logical and Stochastic Modeling with Smart
TL;DR: Since Smart targets both the classroom and realistic industrial settings as a learning, research, and application tool, it is written in a modular way that allows for easy integration of new formalisms and solution algorithms.
Journal ArticleDOI
Logic and stochastic modeling with SMART
TL;DR: Since SMART targets both the classroom and realistic industrial settings as a learning, research, and application tool, it is written in a modular way that allows for easy integration of new formalisms and solution algorithms.