Searching for "Hybrid system reduction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Linking STeP with SPIN
by Anca Browne, Henny Sipma, Ting Zhang — 2000 — Proc. of the 7th International SPIN Workshops, volume 1885 of Lecture Notes in Computer Science
… abstraction, modularity, diagrams, and hybrid system reduction, and take advantage of specialized, and highly…
Cited by 1 (0 self) – Add To MetaCart

Algorithmic Analysis of Nonlinear Hybrid Systems
by Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi — 1996 — IEEE Transactions on Automatic Control
… extends the model-checking approach to the analysis of nonlinear hybrid systems, by reduction…
Cited by 80 (12 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB