Searching for "An Approach to the Description and Analysis of Hybrid Systems." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

An Approach to the Description and Analysis of Hybrid Systems
by X. Nicollin, A. Olivero, J. Sifakis, S. Yovine
…Lecture Notes in Comp. Sci. 736 1 An Approach to the Description and Analysis of Hybrid Systems…
Cited by 69 (3 self) – 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
…. Sifakis and S. Yovine, An Approach to the Description and Analysis of Hybrid Systems, Wokshop on Thcoy…
Cited by 46 (6 self) – Add To MetaCart

Modelling And Analysis Of Continuous-Discrete Systems With Hybrid Petri Nets
by Mourad Chouikha, Stefan Wegele, Eckehard Schnieder — 1999 — the Proceedings of the IFAC Congress ‘99
… and analysis of hybrid systems was developed. The developed description mean is characterised by the fact…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 3.

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