The Beagle 2 microscope

The Beagle 2 microscope provides optical images of the Martian surface at a resolution 5x higher than any other experiment currently planned. By using a novel illumination system it images in three colors and can also detect fluorescent materials

Phase Synchronization Control of Robotic Networks on Periodic Ellipses with Adaptive Network Topologies

This paper presents a novel formation control method for a large number of robots or vehicles described by Euler-Lagrange (EL) systems moving in elliptical orbits. A new coordinate transformation method for phase synchronization of networked EL systems in elliptical trajectories is introduced to define desired formation patterns. The proposed phase synchronization controller synchronizes the motions of agents, thereby yielding a smaller synchronization error than an uncoupled control law in the presence of bounded disturbances. A complex time-varying and switching network topology, constructed by the adaptive graph Laplacian matrix, relaxes the standard requirement of consensus stability, even permitting stabilization on an arbitrary unbalanced graph. The proofs of stability are constructed by robust contraction analysis, a relatively new nonlinear stability tool. An example of reconfiguring swarms of spacecraft in Low Earth Orbit shows the effectiveness of the proposed phase synchronization controller for a large number of complex EL systems moving in elliptical orbits

An ISS Small-Gain Theorem for General Networks

We provide a generalized version of the nonlinear small-gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection gains are described in a nonlinear gain matrix and the small-gain condition requires bounds on the image of this gain matrix. The condition may be interpreted as a nonlinear generalization of the requirement that the spectral radius of the gain matrix is less than one. We give some interpretations of the condition in special cases covering two subsystems, linear gains, linear systems and an associated artificial dynamical system.Comment: 26 pages, 3 figures, submitted to Mathematics of Control, Signals, and Systems (MCSS

Dynamics of Metal Centers Monitored by Nuclear Inelastic Scattering

Nuclear inelastic scattering of synchrotron radiation has been used now since 10 years as a tool for vibrational spectroscopy. This method has turned out especially useful in case of large molecules that contain a M\"ossbauer active metal center. Recent applications to iron-sulfur proteins, to iron(II) spin crossover complexes and to tin-DNA complexes are discussed. Special emphasis is given to the combination of nuclear inelastic scattering and density functional calculations

M\"ossbauer, nuclear inelastic scattering and density functional studies on the second metastable state of Na2[Fe(CN)5NO]⋅\cdot2H2O

The structure of the light-induced metastable state SII of Na2[Fe(CN)5NO]$\cdot$2H2O 14 was investigated by transmission M\"ossbauer spectroscopy (TMS) in the temperature range 15 between 85 and 135 K, nuclear inelastic scattering (NIS) at 98 K using synchrotron 16 radiation and density functional theory (DFT) calculations. The DFT and TMS results 17 strongly support the view that the NO group in SII takes a side-on molecular orientation 18 and, further, is dynamically displaced from one eclipsed, via a staggered, to a second 19 eclipsed orientation. The population conditions for generating SII are optimal for 20 measurements by TMS, yet they are modest for accumulating NIS spectra. Optimization 21 of population conditions for NIS measurements is discussed and new NIS experiments on 22 SII are proposed

The microscope for the Beagle 2 lander on ESA's Mars Express

The microscope for the Beagle 2 lander on Mars Express will provide 4 µm per pixel images of rock and soil samples. The instrument is described and test results are presented

On Predicting Mössbauer Parameters of Iron-Containing Molecules with Density-Functional Theory

The performance of six frequently used density functional theory (DFT) methods (RPBE, OLYP, TPSS, B3LYP, B3LYP*, and TPSSh) in the prediction of Mössbauer isomer shifts(δ) and quadrupole splittings (ΔEQ) is studied for an extended and diverse set of Fe complexes. In addition to the influence of the applied density functional and the type of the basis set, the effect of the environment of the molecule, approximated with the conducting-like screening solvation model (COSMO) on the computed Mössbauer parameters, is also investigated. For the isomer shifts the COSMO-B3LYP method is found to provide accurate δ values for all 66 investigated complexes, with a mean absolute error (MAE) of 0.05 mm s–1 and a maximum deviation of 0.12 mm s–1. Obtaining accurate ΔEQ values presents a bigger challenge; however, with the selection of an appropriate DFT method, a reasonable agreement can be achieved between experiment and theory. Identifying the various chemical classes of compounds that need different treatment allowed us to construct a recipe for ΔEQ calculations; the application of this approach yields a MAE of 0.12 mm s–1 (7% error) and a maximum deviation of 0.55 mm s–1 (17% error). This accuracy should be sufficient for most chemical problems that concern Fe complexes. Furthermore, the reliability of the DFT approach is verified by extending the investigation to chemically relevant case studies which include geometric isomerism, phase transitions induced by variations of the electronic structure (e.g., spin crossover and inversion of the orbital ground state), and the description of electronically degenerate triplet and quintet states. Finally, the immense and often unexploited potential of utilizing the sign of the ΔEQ in characterizing distortions or in identifying the appropriate electronic state at the assignment of the spectral lines is also shown

Review on computational methods for Lyapunov functions

Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both in theory and applications. They provide sufficient conditions for the stability of equilibria or more general invariant sets, as well as for their basin of attraction. The necessity, i.e. the existence of Lyapunov functions, has been studied in converse theorems, however, they do not provide a general method to compute them. Because of their importance in stability analysis, numerous computational construction methods have been developed within the Engineering, Informatics, and Mathematics community. They cover different types of systems such as ordinary differential equations, switched systems, non-smooth systems, discrete-time systems etc., and employ di_erent methods such as series expansion, linear programming, linear matrix inequalities, collocation methods, algebraic methods, set-theoretic methods, and many others. This review brings these different methods together. First, the different types of systems, where Lyapunov functions are used, are briefly discussed. In the main part, the computational methods are presented, ordered by the type of method used to construct a Lyapunov function