Sökning: "reduced order systems"

Visar resultat 1 - 5 av 488 avhandlingar innehållade orden reduced order systems.

  1. 1. Architecting and Modeling Automotive Embedded Systems

    Författare :Ola Larses; Martin Törngren; Kurt Sandkuhl; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Automotive; Embedded systems; Architecture; Dependability; Cost; Systems engineering; Systemteknik;

    Sammanfattning : Dealing properly with electronics and software will be a strong competitive advantage in the automotive sector in the near future. Electronics are driving current innovations and are at the same time becoming a larger part of the cost of the vehicle. LÄS MER

  2. 2. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    Författare :Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Sammanfattning : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. LÄS MER

  3. 3. Intrinsic Formation and Macroscopic Intervention in Multi-agent Systems

    Författare :Silun Zhang; Xiaoming Hu; Johan Karlsson; Jorge Goncalves; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Attitude control; agents and autonomous systems; distributed control; formation control; nonlinear systems; moment based modelling; large- scale systems; reduced order modeling; nonlinear system identification; Mathematics; Matematik;

    Sammanfattning : In this dissertation, we study two problems within the field of the multi-agent systems theory. One is the formation control for multiple reducedattitudes, which are extensively utilized in many pointing applications and under-actuated scenarios for attitude maneuvers. LÄS MER

  4. 4. Scheduling Garbage Collection in Embedded Systems

    Författare :Roger Henriksson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; memory management; garbage collection; real-time; embedded systems; hard deadlines; run-time systems; Systems engineering; scheduling analysis; Data- och systemvetenskap; computer technology;

    Sammanfattning : The complexity of systems for automatic control and other safety-critical applications grows rapidly. Computer software represents an increasing part of the complexity. As larger systems are developed, we need to find scalable techniques to manage the complexity in order to guarantee high product quality. LÄS MER

  5. 5. Balancing variable renewable electricity generation using combined heat and power plants, large-scale heat pumps, and thermal energy storages in Swedish district heating systems

    Författare :Svante Monie; Magnus Åberg; Annica Nilsson; Joakim Widén; Magnus Wallén; Uppsala universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; District heating systems; Power-to-Heat; Heat pumps; Combined heat and power; Thermal energy storage; Power balance; Variable renewable electricity; Biomass fuel; Engineering Science with specialization in Civil Engineering and Built Environment; Teknisk fysik med inriktning mot byggteknik och byggd miljö;

    Sammanfattning : The global ambitions to hamper the greenhouse effect has led to ambitious targets for increasing renewable energy use. This, in combination with recent years' vast development of wind and solar power, implies that there will be significant amounts of variable renewable electricity (VRE) in future energy systems. LÄS MER