Modification of the method of generation of control finite-state machines with continuous actions based on training examples-Reference-Cited by-同舟云学术

Modification of the method of generation of control finite-state machines with continuous actions based on training examples

Published:2015-11 Issue:6 Volume:54 Page:853-865
ISSN:1064-2307
Container-title:Journal of Computer and Systems Sciences International
language:en
Short-container-title:J. Comput. Syst. Sci. Int.

Author:

Buzhinsky I. P.,Kazakov S. V.,Ulyantsev V. I.,Tsarev F. N.,Shalyto A. A.

Publisher

Pleiades Publishing Ltd

Subject

Applied Mathematics,Computer Networks and Communications,Computer Vision and Pattern Recognition,Information Systems,Theoretical Computer Science,Control and Systems Engineering,Software

Link

http://link.springer.com/content/pdf/10.1134/S1064230715050044.pdf

Reference20 articles.

1. D. Harel and A. Pnueli, “On the development of reactive systems,” in Logic and Models of Concurrent Systems, Ed. by K. Apt, NATO Advanced Study Institute on Logic and Models for Verification and Specification of Concurrent Systems Series (Springer-Verlag, 1985), pp. 477–498.

2. D. Harel and M. Politi, Modeling Reactive Systems with Statechart. The Statemate Approach (McGraw-Hill, New York, 1998).

3. N. I. Polikarpova and A. A. Shalyto, Automata-Based Programming (Piter, St.-Petersburg, 2011) [in Russian]. http://is.ifmo.ru/books/_book.pdf

4. N. Walkinshaw, K. Bogdanov, M. Holcombe, et al., “Reverse engineering state machines by interactive grammar inference,” in Proceedings of the 14th Working Conference on Reverse Engineering, WCRE’07 (IEEE Computer Society Press, Vancouver, 2007), pp. 209–218.

5. N. Walkinshaw, R. Taylor, and J. Derrick, “Inferring extended finite state machine models from software executions,” in Proceedings of the 20th Working Conference on Reverse Engineering WCRE’13 (IEEE Computer Society Press, Koblenz, 2013), pp. 301–310.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. About Some Aspects of Finite State Machine Models Application to Group Control;Mekhatronika, Avtomatizatsiya, Upravlenie;2023-04-11

2. Exploring the Relationship between the Structural and the Actual Similarities of Automata;Proceedings of the 3rd International Conference on Machine Learning and Soft Computing - ICMLSC 2019;2019

3. Neural network for synthesizing deterministic finite automata;Procedia Computer Science;2017