Search for dissertations about: "automatic systems"

Showing result 1 - 5 of 533 swedish dissertations containing the words automatic systems.

  1. 1. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    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. 2. Field Programmable Gate Arrays and Reconfigurable Computing in Automatic Control

    Author : Carl Wilhelmsson; Förbränningsmotorer; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; systems analysis; FPGA; Field Programmable Gate Array; programming; Compendex: Field programmable gate arrays FPGA ; programming environments; computer science; programmable controllers; observers; adaptive control; modelling; closed loop systems; logic CAD; control systems; reconfigurable architectures; field programmable gate arrays; Computer Programming; telecommunication control; Control system applications; Real time control; Computer control systems; Control systems; Engine Control; Heat release analysis; Cylinder pressure; power-train control; Vehicle control; High speed; Rapid Prototyping; Combustion control; Automotive control; Control application; High frequency; Computer control; Feedback Control; Closed loop systems; Control; Reconfigurable computing; Reconfigurable hardware; VLSI; Closed loop control; programmable logic arrays; Automatic Control; System on Chip SoC ;

    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

  3. 3. Underactuated mechanical systems : Contributions to trajectory planning, analysis, and control

    Author : Pedro La Hera; Anton Shiriaev; Ambarish Goswami; Umeå universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Underactuated mechanical systems; mechanical systems with impacts; trajectory planning; periodic trajectories; orbital stabilization; walking robots; virtual holonomic constraints; transverse linearization; Automatic control; Reglerteknik; Automatic Control; reglerteknik;

    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

  4. 4. Automatic memory management for flexible real-time systems

    Author : Sven Robertz; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; feedback scheduling; embedded systems; real-time; memory management; garbage collection; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll;

    Abstract : In a flexible real-time system, the constraints in available CPU time and memory lead to resource management problems, which must be handled carefully in order to maximize quality of service while avoiding overload. Managing CPU time -- scheduling -- is well studied and dynamic scheduling is widely accepted in the real-time industry. READ MORE

  5. 5. Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation

    Author : Mahder Gebremedhin; Peter Fritzson; Erwin Laure; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Modelling; Simulation; Multi-core; Automatic Parallelization; Clustering; Scheduling; Explicit Parallelization; ParModelica; Task Systems; GPGPU;

    Abstract : The move from single-core processor systems to multi-core and manyprocessor systems comes with the requirement of implementing computations in a way that can utilize these multiple computational units efficiently. This task of writing efficient parallel algorithms will not be possible without improving programming languages and compilers to provide the supporting mechanisms. READ MORE