Search for dissertations about: "hybrid dynamical systems"

Showing result 1 - 5 of 16 swedish dissertations containing the words hybrid dynamical systems.

  2. 1. Hybrid observers for systems with intrinsic pulse-modulated feedback

    Author : Diana Yamalova; Alexander Medvedev; Xiaoming Hu; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hybrid systems; impulsive systems; biomedical systems; Goodwin s oscillator; observers; time-delay; Elektroteknik med inriktning mot reglerteknik; Electrical Engineering with specialization in Automatic Control;

    Abstract : Dynamical processes resulting from the interaction of continuous and discrete dynamics are often encountered in living organisms. Time evolutions of such processes constitute continuous variables that are subject to instant changes at discrete points of time. READ MORE

  4. 2. Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks

    Author : Lars Lindemann; Dimos V. Dimarogonas; Ozay Necmiye; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Temporal Logic; Multi-agent systems; Motion planning; Automatic Control; Hybrid Systems; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Dynamical systems that provably satisfy given specifications have become increasingly important in many engineering areas. For instance, safety-critical systems such as human-robot networks or autonomous driving systems are required to be safe and to also satisfy some complex specifications that may include timing constraints, i.e. READ MORE

  5. 3. Efficient and Trustworthy Artificial Intelligence for Critical Robotic Systems

    Author : Christopher Sprague; Petter Ögren; John Folkesson; Ivan Stenius; Todor Stoyanov; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; behaviour trees; hybrid dynamical systems; formal guarantees; optimal control; machine learning; autonomy; Datalogi; Computer Science;

    Abstract : Critical robotic systems are systems whose functioning is critical to both ensuring the accomplishment of a given mission and preventing the endangerment of life and the surrounding environment. These critical aspects can be formally captured by convergence, in the sense that the system's state goes to a desired region of the statespace, and safety, in the sense that the system's state avoids unsafe regions of the statespace. READ MORE

  6. 4. Indoor Navigation for Mobile Robots : Control and Representations

    Author : Philipp Althaus; KTH; []
    Keywords : mobile robots; robot navigation; indoor navigation; behaviour based robotics; hybrid deliberative systems; dynamical systems approach; topological maps; symbol anchoring; autonomous mapping; human-robot interaction;

    Abstract : This thesis deals with various aspects of indoor navigationfor mobile robots. For a system that moves around in ahousehold or office environment,two major problems must betackled. First, an appropriate control scheme has to bedesigned in order to navigate the platform. Second, the form ofrepresentations of the environment must be chosen. READ MORE

  7. 5. Rigorous Simulation : Its Theory and Applications

    Author : Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Abstract : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. READ MORE