We present three algorithms for supervisor synthesis in discrete-event systems. In all cases the desired language is not both controllable and observable. To allow supervisor synthesis, we approximate the desired language with languages that are controllable and observable. These languages are contained in the desired language, and are ‘large’ in some sense. We note that there exists algorithms...

Behavioural modelling has been widely used to aid in the design of concurrent systems. Behaviour models have shown to be useful to uncover design errors in early stages of the development process. However, building correct behaviour models is costly and requires significant experience. Controller synthesis offers a way to build models that are correct by construction. Existing software engineer...

Efficient resolution of racemates chiral molecules is great significance in the pharmaceutical, agrochemical, fragrances, and food additives industries. Emerging homochiral porous materials such as metal–organic frameworks, covalent-organic porous-organic cages, metal-organic cages with ultrahigh surface area, controllable pore chemistry ample recognition sites are promising for efficient resol...

Dual-atom catalysts are at the forefront of latest research because they exhibit outstanding catalytic properties owing to their unique synergistic effects; however, controllable synthesis methods remain limited. In this study, a confinement pyrolysis strategy was used efficiently prepare various dual-atom catalysts.

This article provides an overview of solution-based methods for the controllable synthesis of metal oxides and their applications for electrochemical energy storage. Typical solution synthesis strategies are summarized and the detailed chemical reactions are elaborated for several common nanostructured transition metal oxides and their composites. The merits and demerits of these synthesis meth...

Synthesis of mesoporous graphene materials by soft-template methods remains a great challenge, owing to the poor self-assembly capability of precursors and the severe agglomeration of graphene nanosheets. Herein, a micelle-template strategy to prepare porous graphene materials with controllable mesopores, high specific surface areas and large pore volumes is reported. By fine-tuning the synthes...

We describe the successful synthesis of modulation-doped silicon nanowires by achieving pure axial elongation without radial overcoating during the growth process. Scanning gate microscopy shows that the key properties of the modulated structures-including the number, size, and period of the differentially doped regions-are defined in a controllable manner during synthesis, and moreover, that f...

We demonstrate an ion implantation method for large-scale synthesis of high quality graphene films with controllable thickness. Thermally annealing polycrystalline nickel substrates that have been ion implanted with carbon atoms results in the surface growth of graphene films whose average thickness is controlled by implantation dose. The graphene film quality, as probed with Raman and electric...

Recent results in the literature have provided an efficient control synthesis technique for the problem of enforcing generalized mutual exclusion constraints on place/transition nets. With this technique both the plant and the controller are described by Petri nets in order to have an useful linear algebrique model for control analysis and synthesis. The synthesis is not computation demanding s...