P
Pei-Hsin Ho
Researcher at Synopsys
Publications - 48
Citations - 6345
Pei-Hsin Ho is an academic researcher from Synopsys. The author has contributed to research in topics: Model checking & Hybrid system. The author has an hindex of 28, co-authored 48 publications receiving 6233 citations. Previous affiliations of Pei-Hsin Ho include Cornell University & Intel.
Papers
More filters
Book ChapterDOI
Algorithmic analysis of nonlinear hybrid systems
TL;DR: Two methods for translating nonlinear hybrid systems into linear hybrid automata are presented and one conservatively overapproximates the phase portrait of a hybrid automaton using piecewise-constant polyhedral differential inclusions.
Book ChapterDOI
A User Guide to HyTech
TL;DR: This guide gives several examples of usage, some hints for gaining maximal computational efficiency from the tool, and the complete grammar for the input language for describing and analyzing systems.
Proceedings ArticleDOI
HYTECH: the next generation
TL;DR: A new implementation of HYTECH, a symbolic model checker for hybrid systems, is described and offers a cleaner and more expressive input language, greater portability, superior performance, and new features such as diagnostic error-trace generation.
Book ChapterDOI
HYTECH: The Cornell HYbrid TECHnology Tool
Thomas A. Henzinger,Pei-Hsin Ho +1 more
TL;DR: The formal technologies that have been incorporated into HyTech are reviewed, and the use of HyTech is illustrated with three nontrivial case studies.
Proceedings ArticleDOI
Coverage estimation for symbolic model checking
TL;DR: A coverage metric to estimate the "completeness" of a set of properties verified by model checking and a symbolic algorithm is presented to compute this metric for a subset of the CTL property specification language.