Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes

Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay. Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):3969-3980, 2022. [doi]

Authors

Liren Yang

This author has not been identified. Look up 'Liren Yang' in Google

Hang Zhang

This author has not been identified. Look up 'Hang Zhang' in Google

Jean-Baptiste Jeannin

This author has not been identified. Look up 'Jean-Baptiste Jeannin' in Google

Necmiye Ozay

This author has not been identified. Look up 'Necmiye Ozay' in Google