MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Integration Graphs A Class of Decidable Hybrid Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Integration Graphs: A Class of Decidable Hybrid Systems  
  • by Kesten Pnueli Sifakis, Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine — 1992 — In Hybrid Systems, volume 736 of Lecture Notes in Computer Science
  • …Integration Graphs: A Class of Decidable Hybrid Systems ? Y. Kesten 1 , A. Pnueli 1 , J…
  • Add To MetaCart
  • Decidability of Hybrid Systems with Rectangular Differential Inclusions  
  • by Anuj Puri, Pravin Varaiya, T. Henzinger, What Good, Digital Clocks, Poc Th, T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Symbolic Model-checking For, O. Maler, Z. Manna, Z. Manna, A. Pnueli, A. Pnueli, From Timed, Hybrid Systems, Poc Rex, J. A. Mcmanis, Control Real-time, Discrete Event Dynamical — 1994
  • … Society Press, 1992. 10. Y. Kesten, A. Pnueli, J. Sifakis and S. Yovine, Integration graphs: a class…
  • Cited by 46 (6 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB