Full-Symbol Automatic Analyzed software tool for Hybr id System
Date Issued
2003-07-31
Date
2003-07-31
Author(s)
DOI
912213E002131
Abstract
With the three-year support from NSC, we want to invesigate the root of the
complexity of the analysis and verification problems of hybrid automata and move to
the development of empirically efficient solutions. The root of the complexity lies
with the data-structures and their manipulation algorithms. we shall also enhance the
friendliness and functionalities of our verification tools. For example, we shall
develop the window GUI and fully symbolic simulators. After almost one year’s effort,
we now have a usable SGM which has already passed several small benchmarks.
Publisher
臺北市：國立臺灣大學電機工程學系暨研究所
Type
report
File(s)![Thumbnail Image]()
Loading...
Name
912213E002131.pdf
Size
253.46 KB
Format
Adobe PDF
Checksum
(MD5):98d3e8ffaf75025faf5fe892f60fd6df