Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. pages 41-50, ACM, 2018. [doi]

Authors

Sergiy Bogomolov

This author has not been identified. Look up 'Sergiy Bogomolov' in Google

Marcelo Forets

This author has not been identified. Look up 'Marcelo Forets' in Google

Goran Frehse

This author has not been identified. Look up 'Goran Frehse' in Google

Frédéric Viry

This author has not been identified. Look up 'Frédéric Viry' in Google

Andreas Podelski

This author has not been identified. Look up 'Andreas Podelski' in Google

Christian Schilling

This author has not been identified. Look up 'Christian Schilling' in Google