On continuous timed automata with input-determined guards

We consider a general class of timed automata parameterized by a set of “input-determined” operators, in a continuous time setting. We show that for any such set of operators, we have a monadic second order logic characterization of the class of timed languages accepted by the corresponding class of automata. Further, we consider natural timed temporal logics based on these operators, and show that they are expressively equivalent to the first-order fragment of the corresponding MSO logics. As a corollary of these general results we obtain an expressive completeness result for the continuous version of MTL.

Efficient and practical synthesis of modular chiral beta-organochalcogeno amines, ArYCH2CH(R)NH2, and single crystal structures of (S) - MsOCH2CH(Bz)NH3+ center dot Cl- and (R)-MsOCH2CH(Ph)NH3+ center dot Cl-

Modular chiral I3-organochalcogeno amines, ArYCH2CH(R)NH2 (4a-4g) where R = Me, Bz, Ph; and ArY = PhS, BzSe and 4-MeOC6H4Te respectively have been synthesized and characterized. Compounds 4a-4g were synthesized (Method II) from chiral aminoalkyl 13-methanesulfonate hydrochlorides, MsOCH2CH(R)NH3+ center dot Cl- (2a-2c) through nucleophilic displacement of MsO- with organochalcogenolate (ArY-). In another attempt (Method I) chiral beta-organotelluro amines (4a-4c) were prepared by deprotection of chiral N-boc I3-organotelluro amides, 4-MeOC6H4TeCH2CH(R)NH-Boc (3a-3c), which in turn, 13,-,1 were made from chiral N-boc 13-methanesulfonate amides (la-lc) and ArTeNa. 1H, and FTIR spectra of all the compounds (3a-3c and 4a-4g) were characteristic. The composition of 3a-3c was determined by elemental analysis. The a]TD values of 3b-3c and 4a-4g were determined. The single crystal structures of (S)-2b and (R)-2c were determined by X-Ray diffraction studies. Both (S)-2b and (R)2c were crystallized in orthorhombic system and the Flack parameter x was found 0.08(12) and 0.00(2) respectively. The crystal of (S)-2b contain two asymmetric units with gauche (A) and staggered (B) conformations. There are NH Cl-, NH-O and CH-O intra and intermolecular secondary interactions in (S)-2b and (R)-2c resulting in supramolecular structures. (C) 2015 Elsevier By. All rights reserved.