Sökning: "constraint satisfaction problem"

Visar resultat 16 - 20 av 28 avhandlingar innehållade orden constraint satisfaction problem.

  1. 16. Enabling Safe Autonomous Driving in Uncertain Environments

    Författare :Ivo Batkovic; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; robust constraint satisfaction; autonomous driving; uncertain environments; model predictive control;

    Sammanfattning : Autonomous driving technologies have been developed in the past decades with the objective of increasing safety and efficiency. However, in order to enable such systems to be deployed on a global scale, the problems and concerns regarding safety must be addressed. LÄS MER

  3. 17. A Constraint-Based Approach for Hybrid Reasoning in Robotics

    Författare :Masoumeh Mansouri; Federico Pecora; Alessandro Saffiotti; Nick Hawes; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Sammanfattning : The quest of AI and Robotics researchers to realize fully AI-driven integrated robotic systems has not yet led to such realizations, in spite of great attainments in both research areas. This thesis claims that one of the major hindrances to these realizations is the lack of attention to what we call “the hybrid reasoning problem”. LÄS MER

  4. 18. Algorithms and Hardness Results for Some Valued CSPs

    Författare :Fredrik Kuivinen; Peter Jonsson; Peter Jeavons; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : In the Constraint Satisfaction Problem (CSP) one is supposed to find an assignment to a set of variables so that a set of given constraints are satisfied. Many problems, both practical and theoretical, can be modelled as CSPs. LÄS MER

  5. 19. Computational dynamics – real and complex

    Författare :Anna Belova; Warwick Tucker; Denis Gaidashev; Àlex Haro Provinciale; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Continued fractions; Generating functions; Rotation numbers; Rigorous computations; Interval analysis; Interval arithmetic; Multipliers; Quadratic map; Kuramoto-Sivashinsky equation; Mathematics; Matematik;

    Sammanfattning : The PhD thesis considers four topics in dynamical systems and is based on one paper and three manuscripts.In Paper I we apply methods of interval analysis in order to compute the rigorous enclosure of rotation number. LÄS MER

  7. 20. Resource- and Time-Constrained Control Synthesis for Multi-Agent Systems

    Författare :Pian Yu; Dimos V. Dimarogonas; Carlo Fischione; Ming Cao; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-agent systems; event-triggered communication and control; limited data rate; task scheduling; control synthesis;

    Sammanfattning : Multi-agent systems are employed for a group of agents to achieve coordinated tasks, in which distributed sensing, computing, communication and control are usually integrated with shared resources. Efficient usage of these resources is therefore an important issue. LÄS MER