Sökning: "combinatorial optimisation"

Visar resultat 6 - 7 av 7 avhandlingar innehållade orden combinatorial optimisation.

  1. 6. Technology for biocomputational devices based on molecular motors

    Författare :Frida Lindberg; NanoLund: Centre for Nanoscience; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Molecular motors; Nanofabrication; Biocomputation; Nanostructures; Fysicumarkivet A:2019:Lindberg;

    Sammanfattning : For many multivariable problems there are no efficient algorithms for finding solutions. To this day, conventional electronic computers mainly solve problems in a sequential manner. This sequential operation prevents problem-solving within a reasonable time-frame due to superpolynomial, and sometimes even exponential, time complexities. LÄS MER

  3. 7. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

    Författare :Hugo Flordal; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; nonblocking; finite state automata; verification; controllability; Discrete event systems; model reduction; synthesis; interlocking; supervisory control;

    Sammanfattning : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. LÄS MER