Top

Published in:

2020 | OriginalPaper | Chapter

Polyhedra of Finite State Machines and Their Use in the Identification Problem

Authors : Sergey Yu. Melnikov, Konstantin E. Samouylov

Published in: Internet of Things, Smart Spaces, and Next Generation Networks and Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The possible sets of joint distribution of the word occurrence frequencies in the finite state machine input and output sequences are considered. A geometric description of such sets as convex polyhedra in a real unit cube of suitable dimension is proposed. A method has been developed for comparison of unknown and reference automata by the observed input and output sequence fragments. The method does not require installation to the fixed initial state.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Detection of Anonymised Traffic: Tor as Case Study

next chapter Probability Distributions of Instantaneous Amplitude Values of Random Optimal FTN Signal Sequences with Controlled ISI

Marsaglia, G.: Random numbers fall mainly in the planes. Proc. Natl. Acad. Sci. 61(1968), 5–28 (1968)MathSciNetMATH

Haramoto, H., Matsumoto, M.: Again, random numbers fall mainly in the planes: xorshift128+, arxiv.org/abs/1908.10020. Accessed 30 Jun 2020

Tverdokhlebov, V.A.: Geometrical approach to technical diagnosing of automatons. In: Proceedings of the IEEE East-West Design & Test Symposium, EWDTS 2011, National University of Radioelectronics, Kharkov, pp. 240–243 (2011)

Babash, A.V.: Automaton barriers. Math. Notes 91(5–6), 625–629 (2012)MathSciNetCrossRef

Parkhomenko, D.V.: Automata generated p-languages. Discrete Math. Appl. 24(4), 207–212 (2014)MathSciNetCrossRef

Chatterjee, K., Doyen, L., Edelsbrunner, H., Henzinger, T.A., Rannou, P.: Mean-payoff automaton expressions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 269–283. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15375-4_19CrossRef

Grusho, A.A., Timonina, E.E.: Prohibitions in discrete probabilistic statistical problems. Discrete Math. Appl. 21(3), 275–281 (2011)MathSciNetCrossRef

Gerasimenko, M., Petrov, V., Galinina, O., Andreev, S., Koucheryavy, Y.: Energy and delay analysis of LTE-Advanced RACH performance under MTC overload. In: 2012 IEEE Globecom Workshops, GC Wkshps 2012, pp. 1632–1637 (2012). Art. no. 6477830

Pyattaev, A., Johnsson, K., Surak, A., Florea, R., Andreev, S., Koucheryavy, Y.: Network-assisted D2D communications: implementing a technology prototype for cellular traffic offloading. In: IEEE Wireless Communications and Networking Conference, WCNC, pp. 3266–3271 (2014). Art. no. 6953070

10.

Ometov, A., et al.: Toward trusted, social-aware D2D connectivity: bridging across the technology and sociality realms. IEEE Wirel. Commun. 23(4), 103–111 (2016). Art. no. 7553033CrossRef

11.

Jacobs, K.: Turing-Maschinen und zufällige 0–1-Folgen. In: Jacobs, K. (ed.) Selecta Mathematica II Heidelberger Taschenbücher, vol. 67, pp. 141–167. Springer, Heidelberg (1970). https://doi.org/10.1007/978-3-642-88162-6_6CrossRef

12.

Johnson, D.B.: Finding all the elementary circuits of a directed graph. SIAM J. Comput. 4(1), 77–84 (1975)MathSciNetCrossRef

13.

Liu, H., Wang, J.: A new way to enumerate cycles in graph. In: Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, AICT-ICIW 2006, Washington, DC, USA, pp. 57–59 (2006)

14.

Preparata, F.P., Shamos, M.I.: Computational Geometry - An Introduction. Monographs in Computer Science. Springer, New York (1988). https://doi.org/10.1007/978-1-4612-1098-6CrossRefMATH

15.

Skala, V.: Point-in-convex polygon and point-in-convex polyhedron algorithms with O(1) complexity using space subdivision. In: ICNAAM 2015, pp. 22–28. AIP Publishing LLC. (2015)

Title: Polyhedra of Finite State Machines and Their Use in the Identification Problem
Authors: Sergey Yu. Melnikov
Konstantin E. Samouylov
Publisher: Springer International Publishing
Book: Internet of Things, Smart Spaces, and Next Generation Networks and Systems
Print ISBN: 978-3-030-65728-4

Electronic ISBN: 978-3-030-65729-1

Copyright Year: 2020
DOI: https://doi.org/10.1007/978-3-030-65729-1_10

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner