Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems

Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada. Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. In 60th IEEE Conference on Decision and Control, CDC 2021, Austin, TX, USA, December 14-17, 2021. pages 1112-1119, IEEE, 2021. [doi]

Authors

Zexiang Liu

This author has not been identified. Look up 'Zexiang Liu' in Google

Tzanis Anevlavis

This author has not been identified. Look up 'Tzanis Anevlavis' in Google

Necmiye Ozay

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

Paulo Tabuada

This author has not been identified. Look up 'Paulo Tabuada' in Google