DCSYNTH is a tool for the synthesis of controllers from safety and bounded liveness requirements given in interval temporal logic QDDC. It investigates the role of soft requirements (with priorities) in obtaining high quality controllers. A QDDC formula specifies past time properties. In DCSYNTH synthesis, hard requirements must be invariantly satisfied whereas soft requirements may be satisfie...

In this article, recent measurements made with LIFTIRS, the Livermore Imaging Fourier Transform InfraRed Spectrometer, are presented. The experience gained with this instrument has produced a variety of insights into the tradeoffs between signal to noise ratio (SNR), spectral resolution and temporal resolution for time multiplexed Fourier transform imaging spectrometers. This experience has als...