Sökning: "Mälardalens Universitet"
Visar resultat 11 - 15 av 118 avhandlingar innehållade orden Mälardalens Universitet.
11. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance
Sammanfattning : Autonomous vehicles such as mobile driver-less construction equipment bear the promise of increased safety and industrial productivity by automating repetitive tasks and reducing manual labor costs. These systems are usually involved in safety- or mission-critical scenarios, therefore they require thorough analysis and verification. LÄS MER
12. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance
Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER
13. Intelligence-Driven Software Performance Assurance
Sammanfattning : Software performance assurance is of great importance for the success of software products, which are nowadays involved in many parts of our life. Performance evaluation approaches such as performance modeling, testing, as well as runtime performance control methods, all can contribute to the realization of software performance assurance. LÄS MER
14. Avoiding greenhouse gas emissions using flexibility in smart thermal grids
Sammanfattning : The Paris Agreement on climate change entered into force in 2016 and has been ratified by 193 of the 197 Parties to-date, followed by country targets to cut greenhouse gas emissions, not least through an increasing penetration of renewable energy sources. In its 2021 annual World Energy Outlook, the IEA envisages a Net-Zero Emissions by 2050 scenario (NZE) in which renewables as a percentage of total energy supply increase from around 10% in 2020 to over 65% in 2050 and is reflected by a similar change in the percentage of variable renewables in total generation, thereby increasing the need for system flexibility. LÄS MER
15. Energy savings for petroleum processing : Using mathematical models, optimal control and diagnostics
Sammanfattning : Petroleum products are widely used as an energy supply, and the total production capacity of petroleum refineries is quite high. In this thesis, an energy intensive refinery process, hydroprocessing, is selected and evaluated in terms of its energy loss contributors. Digital solutions are discussed and demonstrated to reduce losses. LÄS MER
