Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

Xin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In Proceedings of the 33rd IEEE Real-Time Systems Symposium, RTSS 2012, San Juan, PR, USA, December 4-7, 2012. pages 183-192, IEEE Computer Society, 2012. [doi]

Authors

Xin Chen 0002

This author has not been identified. Look up 'Xin Chen 0002' in Google

Erika Ábrahám

This author has not been identified. Look up 'Erika Ábrahám' in Google

Sriram Sankaranarayanan

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