Searching for "What's Decidable about Hybrid Automata?" – 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.

What's Decidable about Hybrid Automata?
by Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya — 1995 — Journal of Computer and System Sciences
…What's Decidable About Hybrid Automata? y Thomas A. Henzinger z Peter W. Kopke x Anuj Puri y…
Cited by 210 (15 self) – Add To MetaCart

Essential Reading: Theory of Timed and Hybrid Systems
by R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, Hkpv T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya What's Decidable — 1997 — Proc. IEEE Conf. on Decision and Control
…, and P. Varaiya. What's decidable about hybrid automata. In proc. 27th STOC, pages 373--382. ACM Press…
Add To MetaCart

Showing 1 through 2.

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