Sökning: "Distribuerade system"
Visar resultat 1 - 5 av 84 avhandlingar innehållade orden Distribuerade system.
1. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration
Sammanfattning : To cope with the increasing complexity of embedded and cyber-physical system design, different system-level design approaches are proposed which start from abstract models and implement them using design flows with high degrees of automation. However, creating models of such systems and also formulating the mathematical problems arising in these design flows are themselves challenging tasks. LÄS MER
2. Data management improvements in the electrical grid : a pathway to a smarter cyber-physical system
Sammanfattning : The current power system is a network of electrical components forming a physical system. It is experiencing changes, such as the deployment of electric vehicles and distributed energy sources. Meanwhile, cybernetworks are becoming coupled into the physical grid to an increasing degree. LÄS MER
3. Applied Machine Learning in District Heating System
Sammanfattning : In an increasingly applied domain of pervasive computing, sensing devices are being deployed progressively for data acquisition from various systems through the use of technologies such as wireless sensor networks. Data obtained from such systems are used analytically to advance or improve system performance or efficiency. LÄS MER
4. Toward Privacy-Preserving Decentralised Systems
Sammanfattning : Privacy enhancing technologies have proven to be a beneficial area of research lessening the threats users' privacy in centralised systems such as online social networks. Decentralised solutions have been proposed to extend the control that users have over their data as opposed to the centralised massive collection of personal and sensitive data. LÄS MER
5. Design of Assured and Efficient Safety-critical Systems
Sammanfattning : Safety-critical systems need to be analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER