Spacecraft relative rotation tracking without angular velocity measurements

We present a solution to the problem of tracking relative rotation in a leader-follower spacecraft formation using feedback from relative attitude only. The controller incorporates an approximate-differentiation filter to account for the unmeasured angular velocity. We show uniform practical asymptotic stability (UPAS) of the closed-loop system. For simplicity, we assume that the leader is controlled and that we know orbital perturbations; however, this assumption can be easily relaxed to boundedness without degrading the stability property. We also assume that angular velocities of spacecraft relative to an inertial frame are bounded. Simulation results of a leader-follower spacecraft formation using the proposed controller structure are also presented.     

An alternative Kalman-Yakubovich-Popov lemma and some extensions

This paper introduces an alternative formulation of the Kalman-Yakubovich-Popov (KYP) Lemma, relating an infinite dimensional Frequency Domain Inequality (FDI) to a pair of finite dimensional Linear Matrix Inequalities (LMI). It is shown that this new formulation encompasses previous generalizations of the KYP Lemma which hold in the case the coefficient matrix of the FDI does not depend on frequency. In addition, it allows the coefficient matrix of the frequency domain inequality to vary affinely with the frequency parameter. One application of this results is illustrated in an example of computing upper bounds to the structured singular value with frequency-dependent scalings.     

Feasibility of estimating leaf water content using spectral indices from WorldView-3’s near-infrared and shortwave infrared bands

A recently-launched high-resolution commercial satellite, DigitalGlobe’s WorldView-3, has 8 bands in the shortwave infrared (SWIR) wavelength region, which may be capable of estimating canopy water content at 3.7-m spatial resolution. WorldView-3 also has 8 multispectral bands at 1.24-m resolution with two bands in the near-infrared (NIR). The relative spectral response functions for WorldView-3 were provided by DigitalGlobe, Inc., and band reflectances were determined for reflectance spectra of PROSPECT model simulations and leaf data from maize, trees, grasses, and broadleaf herbaceous eudicots. For laboratory measurements, the range of leaf water contents was extended by including drying leaves and leaf stacks of corn, soybean, oaks, and maples. Correlations between leaf water content and spectral indices from model simulations suggested that indices using SWIR band 1 (center wavelength 1210 nm) had low variability with respect to leaf water content, but also low sensitivity. Other indices using SWIR band 5 (2165 nm) had the highest sensitivity, but also had high variability caused by different values of the leaf structure parameter in PROSPECT. Indices using SWIR bands 2, 3 and 4 (1570, 1660, and 1730 nm, respectively) had high correlations and intermediate variability from the leaf structure parameter. Spectral indices calculated from the leaf data had the same overall patterns as the simulations for variation and sensitivity; however, indices using SWIR band 1 had low correlations, and the best correlations were from indices that used SWIR bands 2, 3 and 4. Spectral indices for maize, grasses, and herbaceous crops and weeds had similar responses to leaf water content; tree leaves had higher index values and saturated at lower leaf water contents. The specified width of NIR band 2 (860–1040 nm) overlaps the water absorption feature at 970 nm wavelength; however, the normalized difference of NIR band 1 and 2 was insensitive to water content because NIR band 2’s spectral response was most heavily weighted to wavelengths less than 930 nm. The high spatial resolution of the WorldView-3 SWIR data will help analyze how variation among plant species and functional groups affects spectral responses to differences in canopy water content.     

Quantum dot light emitting devices for photomedical applications

While OLEDs have struggled to find a niche lighting application that can fully take advantage of their unique form factors as thin, flexible, lightweight and uniformly large‐area luminaire, photomedical researchers have been in search of low‐cost, effective illumination devices with such form factors that could facilitate widespread clinical applications of photodynamic therapy (PDT) or photobiomodulation (PBM). Although existing OLEDs with either fluorescent or phosphorescent emitters cannot achieve the required high power density at the right wavelength windows for photomedicine, the recently developed ultrabright and efficient deep red quantum dot light emitting devices (QLEDs) can nicely fit into this niche. Here, we report for the first time the in‐vitro study to demonstrate that this QLED‐based photomedical approach could increase cell metabolism over control systems for PBM and kill cancerous cells efficiently for PDT. The perspective of developing wavelength‐specific, flexible QLEDs for two critical photomedical fields (wound repair and cancer treatment) will be presented with their potential impacts summarized. The work promises to generate flexible QLED‐based light sources that could enable the widespread use and clinical acceptance of photomedical strategies including PDT and PBM.     

Forensic taxonomy of android productivity apps

Android productivity apps have provided the facility of having a constantly accessible and productive workforce to the information and work capabilities needed by the users. With hundreds of productivity apps available in the Android app market, it is necessary to develop a taxonomy for the forensic investigators and the end users to allow them to know what personal data remnants are available from the productivity apps. In this paper, 30 popular Android productivity apps were examined. A logical extraction of the Android phone was collected by using a well-known mobile forensic tool- XRY to extract various information of forensic interest such as user email ID and list of tasks. Based on the findings, a two-dimensional taxonomy of the forensic artefacts of the productivity apps is proposed with the app categories in one dimension and the classes of artefacts in the other dimension. The artefacts identified in the study of the apps are summarised using the taxonomy. In addition, a comparison with the existing forensic taxonomies of different categories of Android apps is provided to facilitate timely collection and analysis of evidentiary materials from mobile devices.     

Tamper detection and image recovery for BTC-compressed images

To ensure the integrity of images compressed using block truncation coding (BTC), a tamper detection and image recovery scheme is proposed in this paper. In this scheme, the size of the authentication data can be adaptively selected according to the user’s requirement. The authentication data is embedded in the value differences of the quantization levels in each BTC-compressed image block. Multiple copies of the recovery data are embedded into the bit maps of the smooth blocks. Experimental results show that the proposed scheme performs well in terms of detection precision and the embedded image quality. Meanwhile, the tampered areas can be roughly recovered by using the proposed scheme.     

A password based authentication scheme for wireless multimedia systems

In this digital era, where Internet of Things (IoT) is increasing day by day, use of resource constrained devices is also increasing. Indeed, the features such as low cost, less maintenance, more adaptive to hostile environment, etc. make the wireless multimedia devices to be the best choice as the resource constrained devices. For the security, the end user device requires to establish the session key with the server before transferring the data. Mobile is one of the device having more and more usage as wireless multimedia device in recent years. In 2013, Li et al. proposed an efficient scheme for the wireless mobile communications and claimed it to be secure against various attacks. Recently, Shen et al. claimed that the scheme of Li et al. is still vulnerable to the privileged insider attack, the stolen verifier attack and finally proposed a scheme to withstand the mentioned and other attacks. However, in this paper we claim that the scheme of Shen et al. is still susceptible to the user anonymity, the session specific temporary information attack and the replay attack. In addition, Shen et al.’s scheme requires more time due to many operations. Further, we propose an efficient scheme that is secure against various known attacks and due to reduced time complexity our scheme is a preferred choice for the wireless mobile networks and hence for wireless multimedia systems.     

Spacecraft formation reconfiguration with collision avoidance

In this paper we present a behavioral control solution for reconfiguration of a spacecraft formation using the Null-Space Based (NSB) concept. The solution is task based, and aims to reconfigure and maintain a rigid formation while avoiding collisions between spacecraft. A model of relative translation is derived, together with a passivity-based sliding surface controller which globally stabilizes the equilibrium point of the closed-loop system. The NSB control method is implemented by giving each task different priorities and then calculating desired velocity and a Jacobian matrix for each spacecraft and each task. The velocity vector for each task is then projected into the null-space for higher prioritized tasks to remove conflicting velocity components. Simulation results are presented, showing that each spacecraft moves into the predefined formation without breaking any rules for the higher priority tasks, and all collisions are avoided.     

Designing a Controller for a Multi-Train Multi-Track System

The use of formal methods for analyzing and synthesizing a controller for a multi-train multi-track railway system is discussed. The research was motivated by a case study involving the Bay Area Rapid Transit (BART) system. The overall goal is to design a train acceleration control function that enables trains to be safely placed but also increases system throughput. The use of a modeling language for specifying safety properties and a control function is illustrated. The program transformation methodology supported in the HATS system is employed to generate an efficient implementation from a high-level specification of a controller. This implementation can then be used to simulate the controller behavior, thus further enhancing confidence in the design. Properties of optimization transformations can be verified using an rewrite-rule based induction theorem prover Rewrite Rule Laboratory (RRL).