Decidability of Hybrid Systems with Rectangular Differential Inclusions

Decidability of Hybrid Systems with Rectangular Differential Inclusions (1994)

Cached

Download Links

[www.path.berkeley.edu]

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

Citations:

48 - 7 self

BibTeX

@MISC{Puri94decidabilityof,
    author = {Anuj Puri and Pravin Varaiya and T. Henzinger and What Good and Digital Clocks and Poc Th and T. A. Henzinger and X. Nicollin and J. Sifakis and S. Yovine and Symbolic Model-checking For and O. Maler and Z. Manna and Z. Manna and A. Pnueli and A. Pnueli and From Timed and Hybrid Systems and Poc Rex and J. A. Mcmanis and Control Real-time and Discrete Event Dynamical},
    title = {Decidability of Hybrid Systems with Rectangular Differential Inclusions},
    year = {1994}
}

Bookmark

OpenURL

Abstract

This article was processed using the kTEX macro package with LLNCS style Proof: cr C (HD) (or C (Hc)) provided there is a sequence p :< D(lo), 50, o >< D(/), 5, > ... which is discrete-time (continuous-time) consistent. As dis- cussed at beginning of Sect. 3, every discrete-time consistent sequence is continuoustime consistent. From Lemma 3 - Lemma 7, every continuous-time consistent sequence is also discrete-time consistent. Thus (Ho) iff (Hc)

Citations

No citations identified.