Sökning: "large-scale systems"

Visar resultat 6 - 10 av 760 avhandlingar innehållade orden large-scale systems.

1. 6. On Falsification of Large-Scale Cyber-Physical Systems

   Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

   Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER

3. 7. Accelerating Convergence of Large-scale Optimization Algorithms

   Författare :Euhanna Ghadimi; Mikael Johansson; Angelia Nedich; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Convex optimization; Large-scale systems; First-order methods; Convergence analysis; ADMM; Optimization algorithms; Electrical Engineering; Elektro- och systemteknik; Matematik; Mathematics;

   Sammanfattning : Several recent engineering applications in multi-agent systems, communication networks, and machine learning deal with decision problems that can be formulated as optimization problems. For many of these problems, new constraints limit the usefulness of traditional optimization algorithms. LÄS MER

4. 8. Fundamental Limitations of Distributed Feedback Control in Large-Scale Networks

   Författare :Emma Tegling; Henrik Sandberg; Ali Jadbabaie; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Distributed control; Large-scale systems; networked control; decentralized control; fundamental limitations; networked systems; frequency control; smart grid; consensus; spatial invariance; power system dynamics; microgrids; vehicular formation systems; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Networked systems accomplish global behaviors through local feedback interactions. The purpose of a distributed control design is to select interaction rules and control protocols that achieve desired global control objectives. LÄS MER

5. 9. Distributed Peer Discovery in Large-Scale P2P Streaming Systems : Addressing Practical Problems of P2P Deployments on the Open Internet

   Författare :Raul Jimenez; Seif Haridi; Björn Knutsson; Arnaud Legout; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Peer-to-peer (P2P) techniques allow users with limited resources to distribute content to a potentially large audience by turning passive clients into peers. Peers can self-organize to distribute content to each other, increasing the scalability of the system and decreasing the publisher’s costs, compared to a publisher distributing the data himself using a content delivery network (CDN) or his own servers. LÄS MER

7. 10. Short-Term Traffic Prediction in Large-Scale Urban Networks

   Författare :Matej Cebecauer; Erik Jenelius; Wilco Burghout; Balázs Kulcsár; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; travel time prediction; short-term travel time prediction; traffic prediction; clustering; partitioning; spatio-temporal partitioning; large-scale prediction; PPCA; 3D speed map; Transportvetenskap; Transport Science;

   Sammanfattning : City-wide travel time prediction in real-time is an important enabler for efficient use of the road network. It can be used in traveler information to enable more efficient routing of individual vehicles as well as decision support for traffic management applications such as directed information campaigns or incident management. LÄS MER