Search for dissertations about: "dynamic logic"

Showing result 11 - 15 of 80 swedish dissertations containing the words dynamic logic.

2. 11. Towards Development of Safe and Secure Java Card Applets

   Author : Wojciech Mostowski; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

   Abstract : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. READ MORE

4. 12. Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal Logic Tasks

   Author : Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; cooperative manipulation; formation control; temporal logic; motion planning; adaptive control; funnel control; navigation; Electrical Engineering; Elektro- och systemteknik;

   Abstract : Control and planning of multi-agent systems is an active and increasingly studied topic of research, with many practical applications such as rescue missions, security, surveillance, and transportation. This thesis addresses the planning and control of multi-agent systems under temporal logic tasks. READ MORE

5. 13. Integrated Logic Synthesis Using Simulated Annealing

   Author : Petra Färm; Elena Dubrova; Michael Miller; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical engineering; electronics and photonics; Elektroteknik; elektronik och fotonik;

   Abstract : A conventional logic synthesis flow is composed of three separate phases: technologyindependent optimization, technology mapping, and technology dependentoptimization. A fundamental problem with such a three-phased approach is thatthe global logic structure is decided during the first phase without any knowledge ofthe actual technology parameters considered during later phases. READ MORE

6. 14. On the logic of pattern cutting : foundational cuts and approximations of the body

   Author : Rickard Lindqvist; Högskolan i Borås; []
   Keywords : HUMANIORA; HUMANITIES; Textiles and fashion; Textiles and Fashion General ; Textil och mode generell ;

   Abstract : Fashion designers are presented with a range of different principles for pattern cutting and the interest in this area has grown rapidly over the past few years, both due to the publication of a number of works dealing with the subject in different ways and the fact that a growing number of designers emphasise cutting in their practices. Although a range of principles and concepts for pattern cutting are presented from different perspectives, the main body of these systems, traditional as well as contemporary, are predominately based on a quantified approximation of the body. READ MORE

7. 15. On modeling and control of complex dynamic systems

   Author : Limei Ding; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reglerteknik; Control Engineering;

   Abstract : Nonlinear complex multi-input multi-output process is very troublesome to control. It is usually also ill-modeled. The problem of such process both in control and modeling requires a comprehensive utilization of various techniques. The thesis presents the methods for the modeling and control of complex systems. READ MORE