Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research focused on Time hierarchy theorem and Automaton, with related work in Supervisor, Recursively enumerable language, Property (philosophy). Notable publications include 'Automata theory based on complete residuated lattice-valued logic: Turing machines', 'Decentralized Safe Diagnosis of Fuzzy Discrete-Event Systems', and 'An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems'.