Sökning: "hybrid dynamical systems"

Visar resultat 1 - 5 av 16 avhandlingar innehållade orden hybrid dynamical systems.

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

    Författare :Diana Yamalova; Alexander Medvedev; Xiaoming Hu; Uppsala universitet; []
    Nyckelord :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;

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

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

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

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

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

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

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

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

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

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

  7. 5. Rigorous Simulation : Its Theory and Applications

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

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