Enforcing State-Based Opacity using Synchronizing Automata.

Jaime A. Dulce-Galindo Lucas V. R. Alves Guilherme V. Raffo Patrícia N. Pena

Published in: CDC (2021)

Keyphrases

state space
data model
database
data sets
real world
social networks
image processing
video sequences
relational databases
artificial neural networks
finite state machines