Sökning: "behavior synthesis"

Visar resultat 6 - 10 av 192 avhandlingar innehållade orden behavior synthesis.

1. 6. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

   Författare :Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. LÄS MER

3. 7. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

   Författare :Philipp Schillinger; Dimos V. Dimarogonas; Daniele Magazzeni; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. LÄS MER

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

   Författare :Jonas Krook; Chalmers tekniska högskola; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

5. 9. On the other side of change : Exploring the role that design can play in retaining sustainable doings

   Författare :Wanjun Chu; Renee Wever; Wiktoria Glad; Oskar Rexfelt; Linköpings universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Design for sustainable behavior; Behavior retention; Behavior change; Sustainable design; Context change; Activity theory;

   Sammanfattning : The world keeps changing more rapidly. Induced by context change disruptions such as individual life-course changes and macro socio-economical events, the way people carry out their everyday life doings is also undergoing a dynamic transition process, which may open up windows of opportunity for design to transit people’s behavior in a more sustainable direction. LÄS MER

7. 10. Metal Oxide Nanoparticles for Contrast Enhancement in Magnetic Resonance Imaging : Synthesis, Functionalization and Characterization

   Författare :Maria Ahrén; Kajsa Uvdal; Jan Kehr; Linköpings universitet; []
   Nyckelord :;

   Sammanfattning : This thesis work focuses on the design and production of nanoparticle based contrast agents for signal enhancement in magnetic resonance imaging (MRI). Three different synthesis routes are explored, primarily to produce crystalline gadolinium oxide (Gd2O3) nanoparticles, and surface modification is done to obtain stable, dispersible, biocompatible probes inducing high proton relaxivities. LÄS MER