[PDF] Top 20 A game approach to the parametric control of real-time systems
Has 10000 "A game approach to the parametric control of real-time systems" found on our website. Below are the top 20 most common "A game approach to the parametric control of real-time systems".
A game approach to the parametric control of real-time systems
... study The applications of parametric real-time control cover a wide range of ...manufacturing systems, traffic systems, communication protocols, ... Voir le document complet
23
Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach
... means to share data between levels, teams and work environments and support cross-cutting ...order to achieve these objectives, we combined a set of modeling languages with dedicated ... Voir le document complet
9
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems
... similar approach is followed by the SymTA/S tool [ HHJ + 05 ], which is based on the event-stream model [ RE02 ...interesting approach is the Modular Performance Analysis (MPA) [ WTVL06 ... Voir le document complet
18
A real-time feedback scheduler based on control error for environmental energy harvesting systems
... offers a promising approach to overcome these limitations where actual execution times are not fixed and unknown until the task com- ...treated the problems of min- imizing power ... Voir le document complet
9
Real-time feedback control of gene expression
... Despite the fact that the importance of control theory for systems and synthetic biology has been widely recognized for more than a decade (33, 34), the actual use ... Voir le document complet
183
A real-time gesture classification using surface EMG to control a robotics hand
... arranged to form a so-called feature ...Performance of pattern-recognition-based control algorithms presented in literature is never less that 98% (in terms of correct classification ... Voir le document complet
4
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems
... by the CEA LIST to generate an executable based on a time-triggered ap- ...proach. The temporal information in an OASIS model is directly specified in the code using a ... Voir le document complet
40
Bounded attitude control of rigid bodies: Real-time experimentation to a quadrotor mini-helicopter
... Introduction The problem of attitude control of a rigid body has attracted consider- able amount of interest since the 1950’s within the scientific communities ... Voir le document complet
34
Conformance Testing of Preemptive Real-Time Systems
... partly control. Further, the test cases must be executed in ...hoc, time-consuming and error prone. With the use of models in soft- ware/hardware design and development, timed ... Voir le document complet
27
Parameter dependent state-feedback control of LPV time-delay systems with time-varying delays using a projection approach
... is the direct sum of matrices. Section 2 presents a delay-dependent stability result for LPV time-delay systems with time-varying delays and a relaxation lemma used ... Voir le document complet
7
Time-triggered and event-triggered control of switched affine systems via a hybrid dynamical approach
... in the plan τ, φ(x, τ, σ) of the jump set, represented by the blue and green lines and of the flow set by the yellow and red ...areas. The figure also shows two ... Voir le document complet
34
A Model-Based Approach for Real-Time Systems Architecture Exploration
... tackle the two mentioned problems: modeling of real-time systems, and their ...presenting a framework called Qompass. The framework is structured in a set of ... Voir le document complet
15
Real-Time Control with Parametric Timed Reachability Games
... in parametric domain, which serves to model real-time controller synthesis ...by a logical characterization, Bozzelli et al. (2009): if TGA A is simulated by TGA B then whenever ... Voir le document complet
9
A global optimization approach to H infinity synthesis with parametric uncertainties applied to AUV control
... that the H ∞ constraints are respected for any value of p 1 and p 2 in ...value of p (the worst case) such neither of the constraints is respected ∀k ∈ ...In the same way, ... Voir le document complet
7
Real Time Simulation of Biological Soft Tissues: A PGD Approach
... : real time; surgery; model order reduction; proper generalized decomposition ...INTRODUCTION Real-time simulation is one of the most challenging scenarios for simulation-based ... Voir le document complet
16
Contributions to Real Time Scheduling for Energy Autonomous Systems.
... Abstract Real-time energy harvesting is a technology that significantly ex- tends the lifetime of embedded ...by the amount of energy that can be stored in traditional ... Voir le document complet
154
A game approach to determinize timed automata
... read the same timed word. The determinization, that is, the construction of an equivalent deterministic timed automaton, is used to address several problems such as implementability, ... Voir le document complet
40
A Mechanized Semantic Framework for Real-Time Systems
... address the whole fiacre lan- guage [6] semantics in this ...consider the introduced model of tcts (together with [12]) as the semantic kernel of fiacre and the corner- stone ... Voir le document complet
16
A Data Oriented Approach for Real-Time Systems
... by the implementation. This paper presents the formal definitions used to build and analyze our ...by a simple example, an automatic cruise con- trol ...describe the underlying formal ... Voir le document complet
11
Transient Stability of Power Systems: A Unified Approach to Assessment and Control
... 2.2.2 Parameters and technicalities 2.2.3 Initial clearing time conditions 2.2.4 Performances 2.2.5 Illustrations on the 3-machine system 2.2.6 Illustrations on the 627-machine system 2.[r] ... Voir le document complet
254
Sujets connexes