Searching for "Decidability of Hybrid Systems with Rectangular Differential Inclusion." – 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.

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
… of decidable hybrid systems, Wokshop on Thcoy of Hybid Systems, Lyngby, Denmark, October 1992. 11. O. Maler, Z…
Cited by 46 (6 self) – Add To MetaCart

Verification of an Air Traffic Management Protocol using HyTech
by Claire Tomlin — 1996
… (Decidability of Hybrid Systems with Rectangular Differential Inclusions) The reachability problem…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

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