On the reaction time of some synchronous systems

This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such systems under some classic composition primitives is studied. Reaction time is shown to be non-compositional in general. Possible solutions are proposed, and applications to verification are discussed. This framework is illustrated by some examples issued from studies on real-time embedded systems.Comment: In Proceedings ICE 2011, arXiv:1108.014

Probing the Thermal Deoxygenation of Graphene Oxide using High Resolution In Situ X-Ray based Spectroscopies

Despite the recent developments in Graphene Oxide due to its importance as a host precursor of Graphene, the detailed electronic structure and its evolution during the thermal reduction remain largely unknown, hindering its potential applications. We show that a combination of high resolution in situ X-ray photoemission and X-ray absorption spectroscopies offer a powerful approach to monitor the deoxygenation process and comprehensively evaluate the electronic structure of Graphene Oxide thin films at different stages of the thermal reduction process. It is established that the edge plane carboxyl groups are highly unstable, whereas carbonyl groups are more difficult to remove. The results consistently support the formation of phenol groups through reaction of basal plane epoxide groups with adjacent hydroxyl groups at moderate degrees of thermal activation (~400 {\deg}C). The phenol groups are predominant over carbonyl groups and survive even at a temperature of 1000 {\deg}C. For the first time a drastic increase in the density of states (DOS) near the Fermi level at 600 {\deg}C is observed, suggesting a progressive restoration of aromatic structure in the thermally reduced graphene oxideComment: Pagona Papakonstantinou as Corresponding author, E-mail: [email protected]