K. İnan

Finitely recursive process models for discrete event systems

K. İnan, Pravin Varaiya · IEEE Transactions on Automatic Control · 1988 · 99 citations

Engineering, Computer Science, Systems Engineering +17

Algebras of discrete event models

K. İnan, Pravin Varaiya · Proceedings of the IEEE · 1989 · 42 citations

Engineering, Computer Science, Computer Systems +17

An algebraic approach to supervisory control

K. İnan · Mathematics of Control Signals and Systems · 1992 · 30 citations

Engineering, Systems Engineering, Process Control +8

The relation between preset distinguishing sequences and synchronizing sequences

Canan Güniçen, K. İnan, Uraz Cengiz Türker et al. · Formal Aspects of Computing · 2014 · 15 citations · Full text

Life Sciences, Linguistics, Sequence Analysis +6

Efficient checking sequences for testing finite state machines

K. İnan, Hasan Ural · Information and Software Technology · 1999 · 12 citations

Computing, Computer Engineering, Computer Science +8