Trans-Boolean Cyber Physical Systems | SpringerLink
Skip to main content
Springer Nature Link
Log in

Trans-Boolean Cyber Physical Systems

  • Conference paper
  • First Online:
Technological Innovation for Connected Cyber Physical Spaces (DoCEIS 2023)

Part of the book series: IFIP Advances in Information and Communication Technology ((IFIPAICT,volume 678))

Included in the following conference series:

  • 337 Accesses

Abstract

This paper discusses the interplay between discrete time signal processing and symbolic computation under a general Turing Machine approach in the Cyber Physical systems framework. Discrete signals and symbols are analyzed for their Turing computing capabilities using either Kolmogorov axioms or quantum probability amplitudes. It analyzes the discrete time Trans Boolean gate √NOT and its impact on conventional computational theories used for embedded systems and Internet of Things.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
JPY 14299
Price includes VAT (Japan)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. J. Math. 58(345–363), 5 (1936)

    MATH  Google Scholar 

  2. Herken, R.: The Universal Turing Machine: A Half-century Survey. Springer, Heidelberg (1988)

    Google Scholar 

  3. Wegner, P., Goldin, D.: Computation beyond turing machines. Commun. ACM 46(4), 100–102 (2003)

    Article  Google Scholar 

  4. Cohen, D.I.A.: Introduction to Computer Theory, 2nd edn. Wiley, Hoboken (1996)

    Google Scholar 

  5. Yoeli, M., Rosenfeld, G.: Logical design of ternary switching circuits. IEEE Trans. Electron. Comput. 1(1), 19–29 (1965)

    Article  MATH  Google Scholar 

  6. Van Orman Quine, W.: Quiddities: An Intermittently Philosophical Dictionary. Harvard University Press, Cambridge (1987)

    Google Scholar 

  7. Feynman, R.P.: Feynman Lectures on Computation. CRC Press, Boca Raton (2018)

    Book  Google Scholar 

  8. Deutsch, D.E.: Quantum computational networks. Proc. R. Soc. London A Math. Phys. Sci. 425(1868), 73–90 (1989)

    Google Scholar 

  9. Velasques, F.J.F.: Aprimoramento de segurança a nível físico. Master’s thesis, NOVA School of Science and Technology (2022)

    Google Scholar 

  10. Landauer, R.: Dissipation and noise immunity in computation and communication. Nature 335, 779–784 (1988)

    Article  Google Scholar 

  11. Lambson, B., Carlton, D., Bokor, J.: Exploring the thermodynamic limits of computation in integrated systems: Magnetic memory, nanomagnetic logic, and the landauer limit. Phys. Rev. Lett. 107(1), 010604 (2011)

    Article  Google Scholar 

  12. Kennedy, R.A., Sadeghi, P.: Hilbert Space Methods in Signal Processing. Cambridge University Press, Cambridge (2013)

    Book  MATH  Google Scholar 

  13. Celeghini, E., Gadella, M., Del Olmo, M.A.: Applications of rigged hilbert spaces in quantum mechanics and signal processing. J. Math. Phys. 57(7), 072105 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  14. Puschel, M., Moura, J.M.F.: Algebraic signal processing theory: foundation and 1-D time. IEEE Trans. Signal Process. 56(8), 3572–3585 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  15. Shi, J., Moura, J.M.F.: Graph signal processing: modulation, convolution, and sampling. arXiv preprint arXiv:1912.06762 (2019)

  16. Marella, S.T., Parisa, H.S.K.: Introduction to quantum computing. In: Quantum Computing and Communications (2020)

    Google Scholar 

  17. Sigov, A., Ratkin, L., Ivanov, L.A.: Quantum information technology. J. Ind. Inf. Integr. 28, 100365 (2022)

    Google Scholar 

  18. Lesch, V., Züfle, M., Bauer, A., Iffländer, L., Krupitzer, C., Kounev, S.: A literature review of IoT and CPS—what they are, and what they are not. J. Syst. Softw. 200, 111631 (2023)

    Article  Google Scholar 

  19. Aceto, G., Persico, V., Pescapé, A.: A survey on information and communication technologies for industry 4.0: state-of-the-art, taxonomies, perspectives, and challenges. IEEE Commun. Surv. Tutor. 21(4), 3467–3501 (2019)

    Google Scholar 

  20. Monostori, L.: Cyber-physical production systems: roots, expectations and R&D challenges. Procedia Cirp 17, 9–13 (2014)

    Article  Google Scholar 

  21. Siegelmann, H.T.: Computation beyond the turing limit. Science 268(5210), 545–548 (1995)

    Article  Google Scholar 

  22. Lee, E.A.: Constructive models of discrete and continuous physical phenomena. IEEE Access 2, 797–821 (2014)

    Article  Google Scholar 

  23. Menin, B.: Construction of a model as an information channel between the physical phenomenon and observer. J. Am. Soc. Inf. Sci. 72(9), 1198–1210 (2021)

    Google Scholar 

  24. Rato, R.E.C.T.: Formalização da tolerância à ausência de dados no processamento de sinais discretos. Ph.D. thesis, Faculdade de Ciências e Tecnologia, October 2012

    Google Scholar 

  25. Ortigueira, M.: Processamento digital de sinais. Fundação Calouste Gulbenkian (2005)

    Google Scholar 

  26. Pattee, H.H.: Laws and constraints, symbols and languages. In: Biological Process in Living Systems, pp. 248–258. Routledge (2017)

    Google Scholar 

  27. Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(3), 379–423 (1948)

    Article  MathSciNet  MATH  Google Scholar 

  28. Hamming, R.W.: Coding and Information Theory. Prentice-Hall Inc., Hoboken (1986)

    MATH  Google Scholar 

  29. Ortigueira, M.D., Valério, D.: Fractional Signals and Systems. De Gruyter, Berlin (2020)

    Book  MATH  Google Scholar 

  30. Hippenstiel, R.D.: Detection Theory: Applications and Digital Signal Processing. CRC Press, Boca Raton (2017)

    Book  Google Scholar 

  31. Barkat, M.: Signal Detection and Estimation, 2nd edn. Artech (2005)

    Google Scholar 

  32. Onik, M.M.H., Chul-Soo, K.I.M., Yang, J.: Personal Data Privacy Challenges of the Fourth Industrial Revolution, pp. 635–638 (2019). https://doi.org/10.23919/ICACT.2019.8701932

  33. Rieffel, E., Polak, W.: Quantum Computing: A Gentle Introduction, 1st edn. The MIT Press, Cambridge (2011)

    MATH  Google Scholar 

  34. Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th Annual Symposium on Foundations of Computer Science, pp. 124–134 (1994). https://doi.org/10.1109/SFCS.1994.365700

  35. Scarani, V., Kurtsiefer, C.: The black paper of quantum cryptography: real implementation problems. Theor. Comput. Sci. 560, 27–32 (2014). https://doi.org/10.1016/j.tcs.2014.09.015

    Article  MathSciNet  MATH  Google Scholar 

  36. Hirvensalo, M.: Quantum Computing, 2nd edn. Springer, Cham (2010)

    MATH  Google Scholar 

  37. Shende, V.V., Prasad, A.K., Markov, I.L., Hayes, J.P.: Reversible Logic Circuit Synthesis (2003)

    Google Scholar 

  38. Piguet, C.: Low-Power Electronics Design (2004)

    Google Scholar 

  39. Franks, L.E.: Signal Theory, revised edition. Dowden & Culver (1981)

    Google Scholar 

  40. Grochenig, K.: Foundations of Time–Frequency Analysis (2001). https://doi.org/10.1007/978-1-4612-0003-1

  41. Stern, A.: Matrix Logic. Elsevier (1988)

    Google Scholar 

  42. Allouche, J., Shallit, J.: Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press, Cambridge (2003). https://doi.org/10.1017/CBO9780511546563

  43. Imre, S., Balazs, F.: Quantum Computing and Communications: An Engineering Approach. Wiley, Hoboken (2005)

    Google Scholar 

  44. Yao, A.C.-C.: Quantum circuit complexity. In: Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, pp. 352–361 (1993). https://doi.org/10.1109/SFCS.1993.366852

  45. Moore, E.: Gedanken-experiments on sequential machines. In: Shannon, C., McCarthy, J. (ed.) Automata Studies. (AM-34), vol. 34, pp. 129–154. Princeton University Press, Princeton (2016). https://doi.org/10.1515/9781400882618-006

  46. Fischer, P.: de Leeuw K., Moore E. F., Shannon C. E., and Shapiro N.. Computability by probabilistic machines. Automata studies, edited by Shannon C. E. and McCarthy J., Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton 1956, pp. 183–212. J. Symb. Logic 35. 481–482 (2014). https://doi.org/10.2307/2270759

  47. Hayes, B.T.: The Square Root of NOT (2016)

    Google Scholar 

Download references

Acknowledgments

The authors would like to thank professor Dr. Luís Camarinha-Matos for the useful instructions. This work was supported in part by the Portuguese FCT program UIDB/00066/2020.

Author information

Authors and Affiliations

  1. School of Science and Technology, UNINOVA – CTS and LASI, Nova University of Lisbon, 2829-516, Caparica, Portugal

    Francisco Neves, Raul Rato & Manuel Ortigueira

Authors
  1. Francisco Neves
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raul Rato
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manuel Ortigueira
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francisco Neves .

Editor information

Editors and Affiliations

  1. School of Science and Technology, NOVA University of Lisbon, Monte Caparica, Portugal

    Luis M. Camarinha-Matos

  2. School of Science and Technology, NOVA University of Lisbon, Monte Caparica, Portugal

    Filipa Ferrada

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Neves, F., Rato, R., Ortigueira, M. (2023). Trans-Boolean Cyber Physical Systems. In: Camarinha-Matos, L.M., Ferrada, F. (eds) Technological Innovation for Connected Cyber Physical Spaces. DoCEIS 2023. IFIP Advances in Information and Communication Technology, vol 678. Springer, Cham. https://doi.org/10.1007/978-3-031-36007-7_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-36007-7_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-36006-0

  • Online ISBN: 978-3-031-36007-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation