Verification complexity of a class of observational properties for modular discrete events systems

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

Diagnosability of discrete-event systems

Meera Sampath, Raja Sengupta, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 1995 · 1.6K citations

Computing, Computer Science, Systems Engineering +13

Relationships between nondeterministic and deterministic tape complexities

Walter J. Savitch · Journal of Computer and System Sciences · 1970 · 1.4K citations

Computing, Computer Science, Algorithms +5

On observability of discrete-event systems

F. Lin, W.M. Wonham · Information Sciences · 1988 · 807 citations

Engineering, Computer Science, Systems Engineering +12