A Matlab tool for finding testable models
Download: Latest version of TestModTool [zip](2010-09-13)
TestModTool is a Matlab implementation of algorithms for finding testable sets of equations given structural models. The type of testable models that can be computed with these algorithms are minimal structurally overdetermined (MSO) sets, proper structurally overdetermined (PSO) sets, test equation supports (TES) and minimal test equation supports (MTES). The software is made available for research purposes.
TestModTool is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation.
If you use this software in research or otherwise, please cite the latest publication regarding this topic from. A list of our publications is available at http://www.fs.isy.liu.se/Publications/. The papers to cite are, at the moment:
An Efficient Algorithm for Finding Minimal Over-constrained Sub-systems for Model-based Diagnosis, Mattias Krysander, Jan Åslund, and Mattias Nyberg. In: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 38(1).
A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis, Mattias Krysander, Jan Åslund and Erik Frisk. In proceedings of DX'10 - International Workshop on Principles of Diagnosis, Portland, USA, 2010.
If you have comments, bug reports or other concerns the authors may be
contacted at the following email address:
Mattias Krysander (firstname.lastname@example.org)
Informationsansvarig: Mattias Krysander
Senast uppdaterad: 2010-11-29