[PDF] Top 20 Real-Time Execution Control for Autonomous Systems
Has 10000 "Real-Time Execution Control for Autonomous Systems" found on our website. Below are the top 20 most common "Real-Time Execution Control for Autonomous Systems".
Real-Time Execution Control for Autonomous Systems
... Architecture for Autonomous Systems, OBDD, Dependability 1 Introduction Advanced robots or satellites have an increasing need for a high level autonomy while performing in a hard real ... Voir le document complet
12
Real-Time Distributed Receding Horizon Motion Planning and Control for Mobile Multi-Robot Dynamic Systems
... navigation for teams of robots that uses DW can be found in [5]. In this work, real-time navigation for high speed robots respecting dynamic constraints is solved in three separated stages; an ... Voir le document complet
8
Real time and interactive co-execution platform for the validation of embedded systems
... complex systems and to provide associated ...a real time and interactive co-execution platform that provides heterogeneous model integration, models validation and ...reduce time to ... Voir le document complet
11
A real-time feedback scheduler based on control error for environmental energy harvesting systems
... a real-time feedback scheduler algo- rithm for environmental energy harvesting systems, in which the processor speed can be adjusted continu- ...accounts for the energy harvesting ... Voir le document complet
9
Contributions to Real Time Scheduling for Energy Autonomous Systems.
... Contributions to Real Time Scheduling for Energy Autonomous Systems. Résumé La récupération de l’énergie ambiante en temps réel est une tech- nique qui permet d’allonger ... Voir le document complet
154
Regulation versus Flow Control in NoC for Hard Real-time Systems: a Preliminary Case Study
... candidates for the de- sign of hard real-time ...flow control aspects impact NoC performances and thus those of the many-core, including the Worst-Case Traversal Time (WCTT) which has ... Voir le document complet
5
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems
... authors: real-time system design and analysis; execution control and planning; formal ...evidenced, for example, in our design choices for the scheduling model of our engine, ... Voir le document complet
40
Discrete and Continuous Optimal Control for Energy Minimization in Real-Time Systems
... n-release time, the processor chooses a speed s(n) that is used until the new release time ...in time: at any time t ∈ [0, T ], the processor chooses the current speed s(t) and we show that, ... Voir le document complet
9
Computational analysis of real-time convex optimization for control systems
... The control system included a parameter identification algorithm which identified the stability and control derivatives on-line, in concert with a receding horizon cont[r] ... Voir le document complet
189
PROARTIS: Probabilistically Analysable Real-Time Systems
... about execution history ...distribution for each path under analysis, and then to combine them using the maximum envelope of the inverse cumulative distribution ...the execution time of the ... Voir le document complet
34
Research on virtualisation technlogy for real-time reconfigurable systems
... threads. For example, it never stores function pointers at run-time, so call jumps can be resolved ...hard real-time ...case execution time (WCET) of tasks can be accurately ... Voir le document complet
172
A Mechanized Semantic Framework for Real-Time Systems
... timed systems within a proof ...timed systems in adapted mathematical terms, which are here theories of transition systems and execution runs (or traces) which include time ... Voir le document complet
16
Joint tasks and cache partitioning for real-time systems
... 2.2 Real-time systems on multi core architectures The recent evolution of processors has recently mutated from a increase of the frequency of a single core to an increase of the number of ... Voir le document complet
35
Model driven engineering for embedded real-time systems
... more time to spend on the functional part of their ...under control, improving product quality, and reducing time-to- market delays in the same ... Voir le document complet
9
A Mechanized Semantic Framework for Real-Time Systems
... the time already waited by other transitions (which were not taken) included in the same nondeterministic choice as the one that has been ...however. For example, in the nonde- terministic choice from the ... Voir le document complet
17
Testing real-time systems using TINA
... of real-time adds another source of explosion, ...generate time-optimal test cases and test suites, ...possible time to ...the real-time model checker selt and the path analysis ... Voir le document complet
17
Sustainable Quality of Service for real-time jobs in Autonomous Computing Devices
... Initially, we investigated the issue of scheduling peri- odic task sets only in [4]. We presented an heuristic called EDeg (Earliest Deadline with energy guarantee). However we did not provide schedulability test and ... Voir le document complet
6
A game approach to the parametric control of real-time systems
... control problem for TGA (Maler et ...of control it may not be very realistic to be allowed to forbid uncontrollable transitions using the values of their ...that for the subclass of L/U game ... Voir le document complet
23
A MDE-based optimisation process for Real-Time systems
... teria for choosing this thread is the number of connec- tions with others ...of control and display threads are merged, because their higher periods and low CPU usage make their merging ... Voir le document complet
9
Incremental Validation of Real-Time Systems
... system. For example, the function inter_atomic sets the status as follows: if the instance previously executed is atomic (not preemptable) and if the transition does not corresponds to the end of its ... Voir le document complet
11
Sujets connexes