Optimal symbolic controllers determinization for BDD storage^⁎

Controller synthesis techniques based on symbolic abstractions appeal by producing correct-by-design controllers, under intricate behavioural constraints. Yet, being relations between abstract states and inputs, such controllers are immense in size, which makes them futile for embedded platforms. Control-synthesis tools such as PESSOA, SCOTS,...

Guaranteed Quality ECG Signal Compression Algorithm

The aim of the project is to develop an ECG signal compression algorithm that has a high compression ratio while guaranteeing signal quality. An electrocardiography (ECG) signal is a representation of cardiac activity and has an need to be compressed to reduce data storage requirements and energy cost of transmission. Previous ECG signal...

HydroZIP: How hydrological knowledge can be used to improve compression of hydrological data

From algorithmic information theory, which connects the information content of a data set to the shortest computer program that can produce it, it is known that there are strong analogies between compression, knowledge, inference and prediction. The more we know about a data generating process, the better we can predict and compress the data. A...

Time Measurements of Software Cryptographic Algorithms for Real-time Transmission of Information

Abstract—In recent years, much of the information exchange is done with the use of PC’s. This increase in PC usage leads to an increase in illegal information leakage and eavesdropping. To protect the information (data) measures must be taken to ensure security. A way to enforce protection is by the application of cryptography. We have used DES...

Overlapped Transform Coding of Images: Theory, Application and Realization

Multi-program video data compression

Telescience experiments using the prototype optical diagnostic instrument (PODI)

The breadboard called PODI (Prototype Optical Diagnostic Instrument) was developed following a study for a general facility for fluid experimental research on fluid physics in a space laboratory. PODI has been developed further for the study of telescience and image processing related to microgee instrumentation. The extended breadboard called...

The use of MEBAS in creating a simulation environment for compression and encryption

In order to get a better sight on the performance of compression and encryption algorithms under various conditions a simulation environment is needed. Within this simulation environment It must be possible to investigate the influence of code tables, channel characteristics and frame formats on the performance of the algorithms. In this report...

Image data reduction with splines and segmentation with emphasis on earth observation

This report describes the results of a feasibility study on image data compression using spline approximation and image segmentation, with emphasis on earth observation applications. The main subjects dealt with, are: the data compression method, implementation aspects, the test software and test results. It appears that a reduction factor of 5...