The algorithmic analysis of hybrid systems

R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, Springer, 1994, pp. 331–351.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
Author
; ; ; ; ; ; ;
Series Title
LNCIS
Publishing Year
Date Published
1994-01-01
Volume
199
Page
331 - 351
Conference
ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems
IST-REx-ID

Cite this

Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems (Vol. 199, pp. 331–351). Presented at the ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, Springer. https://doi.org/10.1007/BFb0033565
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems,” 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
R. Alur et al., “The algorithmic analysis of hybrid systems,” presented at the ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, 1994, vol. 199, pp. 331–351.
Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199. 331–351.
Alur, Rajeev, et al. The Algorithmic Analysis of Hybrid Systems. Vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar