-
1
-
-
0018062404
-
On the complexity of minimum inference of regular sets
-
D. Angluin, "On the complexity of minimum inference of regular sets," Information and Control, Vol. 39, pp. 337-350, 1978
-
(1978)
Information and Control
, vol.39
, pp. 337-350
-
-
Angluin, D.1
-
2
-
-
0032280077
-
Learning deterministic finite automata from smallest counterexamples
-
A. Birkendorf, A. Boker, and H. U. Simon, "Learning deterministic finite automata from smallest counterexamples," In Proc. 9th Ann. ACM/SIAM Symp. Discr. Alg. SODA '98, pp. 599-608, 1998.
-
(1998)
Proc. 9th Ann. ACM/SIAM Symp. Discr. Alg. SODA '98
, pp. 599-608
-
-
Birkendorf, A.1
Boker, A.2
Simon, H.U.3
-
3
-
-
0025750056
-
Classical and logic based dynamic observers for finite automata
-
P. Caines, R. Greiner, and S. Wang, "Classical and logic based dynamic observers for finite automata," IMA Journal of Mathematical Control and Information, Vol. 8, pp. 45-80, 1991.
-
(1991)
IMA Journal of Mathematical Control and Information
, vol.8
, pp. 45-80
-
-
Caines, P.1
Greiner, R.2
Wang, S.3
-
5
-
-
12844278347
-
Minimal valid automata of sample sequence for discrete event systems
-
S.-L. Chung and C.-L Li, "Minimal Valid Automata of Sample Sequence for Discrete Event Systems," submitted to Asia Journal of Control, 2003.
-
(2003)
Asia Journal of Control
-
-
Chung, S.-L.1
Li, C.-L.2
-
6
-
-
0027307379
-
Efficient learning of typical finite automata from random walks
-
Y. Freund, M. Kearns, and D. Ron, "Efficient learning of typical finite automata from random walks," In Proceeding of the 24th Annual ACM Symposium on Theory of Computing, pp. 315-324, 1993.
-
(1993)
Proceeding of the 24th Annual ACM Symposium on Theory of Computing
, pp. 315-324
-
-
Freund, Y.1
Kearns, M.2
Ron, D.3
-
7
-
-
0001187706
-
Complexity of automaton identification from given data
-
E.M. Gold, "Complexity of automaton identification from given data," Information and Control, Vol. 37, pp. 302-320, 1978.
-
(1978)
Information and Control
, vol.37
, pp. 302-320
-
-
Gold, E.M.1
-
9
-
-
0030212784
-
Principles and methods of testing finite state machines-a survey
-
Aug.
-
D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines-a survey,". Proceedings of the IEEE, Vol. 84, No. 8, pp. 1090-1123, Aug. 1996.
-
(1996)
Proceedings of the IEEE
, vol.84
, Issue.8
, pp. 1090-1123
-
-
Lee, D.1
Yannakakis, M.2
-
10
-
-
0023995784
-
On observability of discrete event dynamic systems
-
F. Lin and W.M. Wonham, "On observability of discrete event dynamic systems," Information Sceiences, Vol. 44, No. 3, pp. 173-198, 1988.
-
(1988)
Information Sceiences
, vol.44
, Issue.3
, pp. 173-198
-
-
Lin, F.1
Wonham, W.M.2
-
11
-
-
0001047238
-
Diagnosability of discrete event systems and its applications
-
May
-
F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dynamic Systems: Theory and Applications, Vol. 4, No. 2, pp. 197-212, May 1994.
-
(1994)
Discrete Event Dynamic Systems: Theory and Applications
, vol.4
, Issue.2
, pp. 197-212
-
-
Lin, F.1
-
12
-
-
0015744909
-
State reduction in incompletely specified finite state machines
-
C.P. Pleeger, "State reduction in incompletely specified finite state machines," IEEE Trans. Comput. 22, pp. 1099-1102, 1973.
-
(1973)
IEEE Trans. Comput.
, vol.22
, pp. 1099-1102
-
-
Pleeger, C.P.1
|