Enforcing State-Based Opacity using Synchronizing Automata

Jaime A. Dulce-Galindo, Lucas V. R. Alves, Guilherme V. Raffo, Patrícia N. Pena. Enforcing State-Based Opacity using Synchronizing Automata. In 60th IEEE Conference on Decision and Control, CDC 2021, Austin, TX, USA, December 14-17, 2021. pages 7009-7014, IEEE, 2021. [doi]

Authors

Jaime A. Dulce-Galindo

This author has not been identified. Look up 'Jaime A. Dulce-Galindo' in Google

Lucas V. R. Alves

This author has not been identified. Look up 'Lucas V. R. Alves' in Google

Guilherme V. Raffo

This author has not been identified. Look up 'Guilherme V. Raffo' in Google

Patrícia N. Pena

This author has not been identified. Look up 'Patrícia N. Pena' in Google