Sökning: "embedded algorithms"

Visar resultat 16 - 20 av 136 avhandlingar innehållade orden embedded algorithms.

1. 16. Test Models and Algorithms for Model-Based Testing of Software Product Lines

   Författare :Mahsa Varshosaz; Slawomir Nowaczyk; Maurice ter Beek; Högskolan i Halmstad; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Software product line (SPL) engineering has become common practice for mass production and customization of software. A software product line comprises a family of software systems which share a managed core set of artifacts. There are also a set of well-defined variabilities between the products of a product line. LÄS MER

3. 17. Towards Real-World Federated Learning: Empirical Studies in the Domain of Embedded Systems

   Författare :Hongyi Zhang; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Machine learning; Software engineering; Federated Learning;

   Sammanfattning : Context: Artificial intelligence (AI) has led a new phase of technical revolution and industrial development around the world since the twenty-first century, revolutionizing the way of production. Artificial intelligence (AI), an emerging information technology, is thriving, and AI application technologies are gaining traction, particularly in professional services such as healthcare, education, finance, security, etc. LÄS MER

4. 18. Quality-Driven Synthesis and Optimization of Embedded Control Systems

   Författare :Soheil Samii; Petru Eles; Zebo Peng; Samarjit Chakraborty; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded control; distributed embedded systems; distributed control; control quality; control performance; scheduling; optimization; adaptive system; multi-mode system; fault tolerance; self-triggered control; Computer science; Datavetenskap;

   Sammanfattning : This thesis addresses several synthesis and optimization issues for embedded control systems. Examples of such systems are automotive and avionics systems in which physical processes are controlled by embedded computers through sensor and actuator interfaces. LÄS MER

5. 19. Scheduling Garbage Collection in Embedded Systems

   Författare :Roger Henriksson; Institutionen för datavetenskap; []
   Nyckelord :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

7. 20. Structure-Exploiting Numerical Algorithms for Optimal Control

   Författare :Isak Nielsen; Daniel Axehill; Anders Hansson; Eric Kerrigan; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Numerical Optimal Control; Model Predictive Control; Riccati Recursion; Parallel Algorithms; Low-Rank Modifications; Parametric Programming; Optimization; Explicit MPC; Moving Horizon Estimation; Partial Condensing;

   Sammanfattning : Numerical algorithms for efficiently solving optimal control problems are important for commonly used advanced control strategies, such as model predictive control (MPC), but can also be useful for advanced estimation techniques, such as moving horizon estimation (MHE). In MPC, the control input is computed by solving a constrained finite-time optimal control (CFTOC) problem on-line, and in MHE the estimated states are obtained by solving an optimization problem that often can be formulated as a CFTOC problem. LÄS MER