Oriental Journal of Computer Science and Technology

Open Access Open Access  Restricted Access Subscription Access

Logical Foundations for Reasoning in Cyber - Physical Systems


Affiliations
1 Department of Computer Science and Engineering & Co-Ordinator, Centre for Applied Research in Indic Technologies [CARIT] College of Engineering, Guindy Campus, Anna University, Chennai, India
 

This paper aims at building the causal relations and event structures13 to study the complex and evolving cyber – physical systems with illustrations of the reasoning based on Robotics24 and Policy Analysis25 for Communication Systems. An empirical analysis points to the realism that network security is also a geometric theory with safety and authentication tending to geometric formulae that make the larger structures. Security is very much a matter of perception too. The proposed approach also factors the perceptual aspects of the human mind. This paper includes several interesting possibilities for using linear algebra, discrete mathematics, analysis, and topology in the domains such as economics, game theory, robotics and biology to mention a few.

Keywords

Cyber – Physical Systems, Geometric Combinatorics, Geometric Logic, Reasoning Systems, Tensegrity.
User
Notifications
Font Size

  • Ali Bajravani, “L-topological spaces”, Sahand Communications in Mathematical Analysis (SCMA), 2018, Vol. 10, No. 1, pp 119-133.

  • Baudriller Haïmad, Maurin Bernard, Cañadas Patrick, Montcourrier Philippe, Parmeggiani Andrea and Bettache Nadir,“Form-finding of complex tensegrity structures: application to cell cytoskeleton modelling”, Comptes Rendus Mecanique - C R MEC. 2006, Vol. 334, pp 662-668.

  • Connelly R and Back Allen, “Mathematics and Tensegrity”, American Scientist. March 1998, Vol. 86, No. 2, pp 142 – 151.

  • Donald E. Ingber, Ning Wang and Dimitrije Stamenović, “Tensegrity, Cellular Biophysics and the Mechanics of Living Systems”, Reports on Progress in Physics, 2014, Vol. 77, No.4.

  • Elizabeth Spelke, Sang Ah Lee, and Véronique Izard, “Beyond core knowledge: Natural geometry”, Cognitive Science. 1 May 2010, Vol. 34, No. 5, pp 863–884.

  • Ezra Miller and Victor Reiner, “What is Geometric Combinatorics? –An Overview of the Graduate Summer School”, IAS/Park City Mathematics Series, 2004, Volume 14.

  • Gopal T V, “GAPS: Geometric Analogy Problem Solver”, CSI 1988, 6-9 January 1988, Chennai, INDIA.

  • Gopal T V, “Cyber – Physical Systems: Mathematics, Logic and Computation”, Journal of Combinatorics, Information and System Sciences, 2020, Vol. 44, Issues 1-4, pp 151 – 162.

  • Gopal T V, “Carbon – Silicon Interface”, International Conference Unconventional Modelling, Simulation & Optimization & Management Engineering [UMSO – ISME], 25 – 27 December 2020, Waseda University, Japan.

  • Gunawardena, J. “Geometric logic, causality and event structures”. In: Baeten, J.C.M., Groote, J.F. (Eds) CONCUR 1991. Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 1991, Vol 527.

  • Ingber D E, Wang N, Stamenovic D, “Tensegrity, Cellular Biophysics, and the Mechanics of Living Systems”, Reports on Progress in Physics, April 2014, Vol. 77, No.4.

  • Jayant Shah, “A History of Piṅgala’s Combinatorics”, 2008, Northeastern University, Boston, Massachusetts, 2008.

  • Jeremy Gunawardena, “Geometric Logic, Causality and Event Structures”, September 1991, HPL-91-119.

  • Julia E. Diggins, “String, Straightedge, and Shadow the Story of Geometry”, 1965, Viking Press.

  • Leandro Nunes de Castro, “Fundamentals of Natural Computing: An Overview”, Physics of Life Reviews, 2007, Volume 4, Issue 1, pp 1-36.

  • Matila Ghyka, “The Geometry of Art and Life”, 1977, Dover Publications Inc.

  • N. Bel Hadj Ali and I.F.C. Smith, “Dynamic Behavior and Vibration Control of a Tensegrity Structure”, International Journal of Solids and Structures, 2010, Vol. 47, pp 1285–1296.

  • Orrin E. Dunlap Jr., “Tesla Sees Evidence Radio and Light Are Sound”, 8 April 1934., New York Times.

  • Philip N. Johnson-Laird, “Mental models and human reasoning”, PNAS, October 26, 2010, Vol. 107, No. 43, pp 18243–18250.

  • Pitamber Kaushik and Girish Srinivasan, “How A Poet Founded Mathematics”, 11 April 2020, Heritage Daily.

  • Purbita Jana, “Generalised Geometric Logic”, 2021, Semantic Scholar.

  • Robert Connolly, “Tensegrity Structures: Why are They Stable?”, In: Rigidity Theory and Applications, M F Thorpe and P M Duxbury (Eds.), 1999, Kluwer Academic / Plenum Publishers.

  • Robert E. Skelton and Mauricio C. de Oliveira, “Tensegrity Systems”, 2009, Springer.

  • Robert F Woodbury and Irving J Oppenheim, “An Approach to Geometric Reasoning in Robotics”, IEEE Transactions on Aerospace and Electronic Systems, September 1988, Vol. 24, No. 5, pp 630 – 646.

  • Salman Saghafi, Tim Nelson and Daniel J Dougherty, “Geometric Logic for Policy Analysis”, 2013, Worcester Polytechnic Institute Report, NSF Grant No. CNS-1116557.

  • Varshney L.R, “Local fidelity, constrained codes, and the Meru Prastara”, IEEE Potentials, 2008, Vol. 27, pp 27 – 32.

  • William L Abler, “The human mind: origin in geometry”, Science Progress, 2010, Vol. 93, No. 4, pp 403 – 427.


Abstract Views: 126

PDF Views: 2




  • Logical Foundations for Reasoning in Cyber - Physical Systems

Abstract Views: 126  |  PDF Views: 2

Authors

T V Gopal
Department of Computer Science and Engineering & Co-Ordinator, Centre for Applied Research in Indic Technologies [CARIT] College of Engineering, Guindy Campus, Anna University, Chennai, India

Abstract


This paper aims at building the causal relations and event structures13 to study the complex and evolving cyber – physical systems with illustrations of the reasoning based on Robotics24 and Policy Analysis25 for Communication Systems. An empirical analysis points to the realism that network security is also a geometric theory with safety and authentication tending to geometric formulae that make the larger structures. Security is very much a matter of perception too. The proposed approach also factors the perceptual aspects of the human mind. This paper includes several interesting possibilities for using linear algebra, discrete mathematics, analysis, and topology in the domains such as economics, game theory, robotics and biology to mention a few.

Keywords


Cyber – Physical Systems, Geometric Combinatorics, Geometric Logic, Reasoning Systems, Tensegrity.

References





DOI: https://doi.org/10.13005/ojcst16.01.01