Cyber-Secure UAV Communications Using Heuristically Inferred Stochastic Grammars and Hard Real-Time Adaptive Waveform Synthesis and Evolution

This paper initially describes how an inferred context-free (stochastic) grammar can be used to verify command transmissions and serve as a hedge against a successful cyber-attack. The remainder of the paper addresses a computational problem not amenable to closed-form solution; namely, the hard real-time (~57 usec) synthesis of a desired waveform through the adaptive modification of a carrier wave. This effectively increases the signal to noise ratio - ensuring better UAV communications. Here, the modulation of the primary waveform is under user control and is of strictly positive amplitude. The primary waveform induces a secondary waveform having delayed leading and trailing edges and expanded rise and fall times. There is, in general, a direct relation between the period of the primary waveform and the amplitude of the secondary waveform. The relation between the primary and secondary waveforms may be characterized by trigonometric functions or even interpolating polynomials. However, response time will be minimized where the primary waveforms are discretized and stored in the form of array-based cases. The tertiary (target) wave may be any periodic trigonometric function, but is taken to be a simple sine wave without loss of generality. The task of the adaptive program is to minimize ||s(t) - g(t)||2, where f(t) →g(t) and f(t) is the primary waveform at time t, g(t) is the secondary waveform at time t, and s(t) is the tertiary waveform at time t. A computationally efficient algorithm is provided for solving this task in real time. Moreover, an evolutionary program (EP) is provided for automatic case acquisition. Primary waveforms are mutated in accordance with a normal distribution

Using MapReduce Streaming for Distributed Life Simulation on the Cloud

Distributed software simulations are indispensable in the study of large-scale life models but often require the use of technically complex lower-level distributed computing frameworks, such as MPI. We propose to overcome the complexity challenge by applying the emerging MapReduce (MR) model to distributed life simulations and by running such simulations on the cloud. Technically, we design optimized MR streaming algorithms for discrete and continuous versions of Conway’s life according to a general MR streaming pattern. We chose life because it is simple enough as a testbed for MR’s applicability to a-life simulations and general enough to make our results applicable to various lattice-based a-life models. We implement and empirically evaluate our algorithms’ performance on Amazon’s Elastic MR cloud. Our experiments demonstrate that a single MR optimization technique called strip partitioning can reduce the execution time of continuous life simulations by 64%. To the best of our knowledge, we are the first to propose and evaluate MR streaming algorithms for lattice-based simulations. Our algorithms can serve as prototypes in the development of novel MR simulation algorithms for large-scale lattice-based a-life models.https://digitalcommons.chapman.edu/scs_books/1014/thumbnail.jp

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Robotics 2010

Without a doubt, robotics has made an incredible progress over the last decades. The vision of developing, designing and creating technical systems that help humans to achieve hard and complex tasks, has intelligently led to an incredible variety of solutions. There are barely technical fields that could exhibit more interdisciplinary interconnections like robotics. This fact is generated by highly complex challenges imposed by robotic systems, especially the requirement on intelligent and autonomous operation. This book tries to give an insight into the evolutionary process that takes place in robotics. It provides articles covering a wide range of this exciting area. The progress of technical challenges and concepts may illuminate the relationship between developments that seem to be completely different at first sight. The robotics remains an exciting scientific and engineering field. The community looks optimistically ahead and also looks forward for the future challenges and new development

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing