Towards Efficient Exact Synthesis for Linear Hybrid Systems

We study the problem of automatically computing the controllable region of a Linear Hybrid Automaton, with respect to a safety objective. We describe the techniques that are needed to effectively and efficiently implement a recently-proposed solution procedure, based on polyhedral abstractions of the state space. Supporting experimental results are presented, based on an implementation of the proposed techniques on top of the tool PHAVer.Comment: In Proceedings GandALF 2011, arXiv:1106.081

Substituent effects on absorption spectra of pH indicators: an experimental and computational study of sulfonphthaleine dyes

Sulfonphthaleine dyes are an important class of pH indicators, finding applications in novel (textile) sensors. In this paper, we present a combined experimental and theoretical study to elucidate the halochromic behaviour of a large set of sulfonphthaleine compounds. Starting from an experimental analysis consisting of UV-Vis spectroscopy, the pH region and the absorption wavelengths related to the colour shift are obtained and pK(a) values are derived. The effect of the substituents on the pH region can be traced back to their electron donating/withdrawing properties. Time-Dependent Density Functional Theory (TD-DFT) is able to adequately produce the trend in experimental wavelengths. Proton affinities are used to assess the effect of substituents on the pH region. The combination of theory and experiment is able to give a better understanding of the pH sensitivity; the methodology in this work will be useful in future dye design and is applicable to other dye classes as well. (C) 2013 Elsevier Ltd. All rights reserved