Search for dissertations about: "automated synthesis"

Showing result 1 - 5 of 56 swedish dissertations containing the words automated synthesis.

  2. 1. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Author : Jonas Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Abstract : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. READ MORE

  4. 2. Developments in the Field of Aza-Diels-Alder Reactions, Catalytic Michael Additions and Automated Synthesis

    Author : Stefan Modin; Pher Andersson; Lars Engman; Hans Adolfsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Organic chemistry; Asymmetric synthesis; aza-Diels-Alder; Michael addition; Transfer hydrogenation; automated synthesis; Catalysis; Organisk kemi; Organic chemistry; Organisk kemi;

    Abstract : The development of new aza-bicyclic structures with potential applications as ligands synthesised via an aza-Diels-Alder cycloaddition has been studied. The studies are concerning the i) development of large scale aza-Diels-Alder reaction, ii) development of a fast and simple route to bicyclic diamine ligands, iii) development of new aza-Diels-Alder adducts from different dienes, iv) development and application of bicyclic N,P ligands for catalytic Michael additions and v) development of robotized asymmetric transfer hydrogenation reactions. READ MORE

  5. 3. Correct-by-Construction Tactical Planners for Automated Cars

    Author : Jonas Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

    Abstract : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. READ MORE

  6. 4. Novel Methods for Synthesis of High Quality Oligonucleotides

    Author : Andrey Semenyuk; Marek Kwiatkowski; Ulf Landegren; Joachim W. Engels; Uppsala universitet; []
    Keywords : Organic chemistry; oligonucleotide; solid-phase synthesis; RNA synthesis; phosphoramidite; abasic sites; depurination; 2 -O-DTM; protecting group; cartridge; conjugate; dithiomethyl linker; base-stable linker; oligonucleotide purification; nucleoside; Organisk kemi;

    Abstract : The first part of the work describes a procedure of oligonucleotide purification using a reversed-phase cartridge. The developed method employs a very efficient yet mild oligonucleotide detritylation on the cartridge support allowing fast purification of oligonucleotides regardless of their 5´-modification. READ MORE

  7. 5. Sustainable Design and Control of Automated Material Handling Systems

    Author : Maziar Mashaei; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mixed integer leaner model.; CPN tool; Universal design framework; Sustainable production philosophy; Conceptual and detailed design phases; Automated material handling system; Pallet system; Synthesis and evaluation methods;

    Abstract : An automated material handling system is a collection of electro mechanical components, electronics, and computer-based devices that act together to maintain flow of parts and materials in a modern production environment. Material flow is a significant factor in the design of manufacturing plants. READ MORE