Search for dissertations about: "automatic systems"
Showing result 1 - 5 of 554 swedish dissertations containing the words automatic systems.
-
1. Parameterized Systems : Generalizing and Simplifying Automatic Verification
Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE
-
2. Functional Programming for Embedded Systems
Abstract : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. READ MORE
-
3. Field Programmable Gate Arrays and Reconfigurable Computing in Automatic Control
Abstract : New combustion engine principles increase the demands on feedback combustion control, at the same time economical considerations currently enforce the usage of low-end control hardware limiting implementation possibilities. Significant development is simultaneously and continuously carried out within the field of Field Programmable Gate Arrays (FPGAs). READ MORE
-
4. Preservation of Extra-Functional Properties in Embedded Systems Development
Abstract : The interaction of embedded systems with their environments and their resource limitations make it important to take into account properties such as timing, security, and resource consumption in designing such systems. These so-called Extra-Functional Properties (EFPs) capture and describe the quality and characteristics of a system, and they need to be taken into account from early phases of development and throughout the system's lifecycle. READ MORE
-
5. Underactuated mechanical systems : Contributions to trajectory planning, analysis, and control
Abstract : Nature and its variety of motion forms have inspired new robot designs with inherentunderactuated dynamics. The fundamental characteristic of these controlled mechanicalsystems, called underactuated, is to have the number of actuators less than the number ofdegrees of freedom. READ MORE