in this investigation, a facile and green sonochemical route has been developed for the synthesis of 2-ketomethylquinolines by using 2-methylquinolines and several acyl chlorides in the presence of nanocrystalline mgal2o4 as an efficient heterogeneous catalyst. the combination of nanocatalyst and ultrasonic process afforded corresponding ketomethyl quinolines in shorter reaction durations, and ...

a simple, efficient, and high yielding one-pot protocol has been developed for the synthesis of 4h-benzo[b]pyrans scaffolds installing a three-component tandem knoevenagel-cyclocondensation reaction of an aldehyde, malononitrile and dimedone using guanidinium chloride as polyfunctional organocatalyst under solvent-free conditions in high to excellent yields. various aromatic aldehydes were util...

For the preparation of a carbocyclic nitrogen analogue of S-adenosylmethionine (carba-AdoazaMet, 4), a practical synthesis of (-)-aristeromycin (7) has been developed using variations of literature procedures. This approach called for a stereospecific synthesis of (3aR,6aR)-2,2-dimethyl-3a,6a-dihydrocyclopenta[1,3]dioxol-4-one ((4R, 5R)-4,5-O-isopropylidene-2-cyclopentenone) (8), which was achi...

The target of this paper is to draw attention to some important relations between different procedures of state space synthesis of discrete linear systems optimizing the quadratic cost function. Common form of the synthesis concerns one-dimensional and multi-dimensional control problems solved by Second Method of Lyapunov, Maximum Principle of Pontryagin and by Bellamn's Dynamic Programming. Em...

The purpose of this paper is to describe systematic analysis and design tools for robust control problems with criteria. We first generalize the Hill–Moylan–Willems framework for dissipative systems to accommodate criteria, and then derive state feedback and measurement feedback synthesis procedures for robust control problems. The information state framework is used for the measurement feedbac...

The purpose of this paper is to describe systematic analysis and design tools for robust control problems with l∞ criteria. We first generalize the Hill-MoylanWillems framework for dissipative systems to accommodate l∞ criteria, and then derive state feedback and measurement feedback synthesis procedures for l∞ robust control problems. The information state framework is used for the measurement...

We compare the complexity of “internal” and “external” equivalence checking. The former is meant for proving the correctness of a synthesis transformation by which circuit N2 is obtained from circuit N1. The latter is meant for proving that circuits N1 and N2 are functionally equivalent without making any explicit assumptions about the origin of N1 and N2. We describe logic synthesis procedures...

A common approach to hybrid control problems is to alternate refinement of a plant abstraction with trial controller synthesis performed on the current abstraction. These steps are repeated until a solution to the control problem can be found, or computational resources are exhausted. In this contribution we use a temporal decomposition of the control problem in order to gain relevant diagnosti...