Sökning: "out-of-order communications"

Hittade 2 avhandlingar innehållade orden out-of-order communications.

1. 1. Design, Implementation and Validation of Resource-Aware and Resilient Wireless Networked Control Systems

   Författare :José Araújo; Karl H. Johansson; Jan Lunze; KTH; []
   Nyckelord :wireless networked control systems; NCS; wireless communications; control; distributed reconfiguration; resilient; fault-tolerant control; IEEE 802.15.4; resource-aware; WNCS; aperiodic control; event-triggered; self-triggered; event-based; co-simulator; estimation; GISOO; MAC; scheduling; routing; RPL; delay; out-of-order communications; CPS; Cyber Physical Systems; Wireless Cyber Physical Systems; Wireless Cyber Physical Control Systems; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Networked control over wireless networks is of growing importance in many application domains such as industrial control, building automation and transportation systems. Wide deployment however, requires systematic design tools to enable efficient resource usage while guaranteeing close-loop control performance. LÄS MER

3. 2. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

   Författare :Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

   Sammanfattning : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. LÄS MER