Scientiae Mathematicae Japonicae
Online ISSN : 1346-0447
UNCONVENTIONAL PROVING TECHNIQUES IN CYBER - PHYSICAL SYSTEMS
T V GOPAL
Author information
JOURNAL RESTRICTED ACCESS

2021 Volume 84 Issue 3 Pages 213-232

Details
Abstract

Cyber - Physical Systems [CPS] are “Engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components”. CPS have the potential to provide much richer functionality - including efficiency, flexibility, autonomy, and reliability – than systems that are loosely coupled, discrete, or manually operated. CPS also can create vulnerability related to protection, security and reliability. This can result in a chaotic collapse around the many new complex and powerful technological systems we rely on. The very complexity and interconnectedness of such CPS warrants unconventional proofing to unravel. Moreover, CPS is diffused across the social fabric. The sociology of mathematics is quite elusive for the construction of formal proofing in CPS.

The gap between rigorous argument and formal proof in the sense of mathematical logic is one that will close in CPS.

The generic characteristics of CPS are:

Content from these authors
© 2021 International Society for Mathematical Sciences
Previous article
feedback
Top