Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.

Xin Chen, Erika brahm, Sriram Sankaranarayanan

Browse the full RTSS paper archive.