Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine. Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theoretical Computer Science, 390(1):1-26, 2008. [doi]

Authors

Eugene Asarin

This author has not been identified. Look up 'Eugene Asarin' in Google

Gordon J. Pace

Identified as Gordon J. Pace

Gerardo Schneider

This author has not been identified. It may be one of the following persons: Look up 'Gerardo Schneider' in Google

Sergio Yovine

This author has not been identified. Look up 'Sergio Yovine' in Google