Efficient Mode Enumeration of Compositional Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari. Efficient Mode Enumeration of Compositional Hybrid Systems. In Oded Maler, Amir Pnueli, editors, Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Volume 2623 of Lecture Notes in Computer Science, pages 216-232, Springer, 2003. [doi]

This author has not been identified. Look up 'Tobias Geyer' in GoogleThis author has not been identified. Look up 'Fabio Danilo Torrisi' in GoogleThis author has not been identified. Look up 'Manfred Morari' in Google

runs on WebDSL