Symbolic approach to nonblocking and safe control of Extended Finite Automata.

Lucien Ouedraogo Ratnesh Kumar Robi Malik Knut Åkesson

Published in: CASE (2010)

Keyphrases

finite automata
grammatical inference
deterministic automata
probabilistic automata
regular expressions
control system
regular languages
finite automaton
domain knowledge
database
artificial intelligence
database systems
data analysis
knowledge based systems