We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
graphes d'événements temporisés
graphe d'événements temporisés
We consider a class of controlled timed event graphs subject to strict temporal constraints.
Nous considérons une classe de graphes d'événements temporisés contrôlés soumis à des contraintes temporelles strictes.
We define in this thesis the semantics of a particular sub-class of Petri nets: timed event graphs with time uncertainties, which correspond to systems of relations expressed in a dioid of intervals.
Nous proposons une définition de la sémantique d'une sous-classe bien particulière de ces réseaux : les graphes d'événements temporisés à incertitudes temporelles, qui permettent de retranscrire des relations exprimées dans un dioïde d'intervalles.
The timed event graphs (TEG) -a subclass of Petri nets where are synchronization phenomena only- are typical examples of such systems.
Les graphes d'événements temporisés (GET) -sous classe des réseaux de Petri où n'interviennent que des phénomènes de synchronisation- sont des exemples typiques de tels systèmes.
This theory concerns the subclass of discrete event dynamic systems modeled by Timed Event Graphs (TEG).
Cette théorie concerne la sous-classe des systèmes à événements discrets modélisables par les Graphes d'Événements Temporisés (GET).
On the one hand, we use timed event graphs (TEG) and stationary linear (max, +) models to describe the synchronised working.
Un fonctionnement synchronisé pour lequel nous utilisons un modèle graphe d'événements temporisés (GET) et un modèle (max, +) linéaire stationnaire qui lui est associé.
So, after getting Timed Event Graphs based models of the SCR and their linear state (Max,+) representation, we obtain formulae that enables to calculate straightforwardly the SCR response times.
Après modélisation des SCR client/serveur à l'aide de Graphe d'Evénements Temporisés puis représentation de leurs dynamiques à l'aides d'équations (Max,+) linéaires, nous obtenons des formules de calcul direct du temps de réponse.
It leads to a polyhedral writing of the form Ax b. An algebraic technique for expressing the earliest trajectories and synthesis of control under the criterion of just-in-time to a timed event graphs uses the concepts of order components, lattice and monotone inequality.
Nous donnons une technique algébrique permettant d'exprimer les trajectoires au plus tôt et réalisons une synthèse de la commande sous le critère classique de juste- a-temps d'un GE temporise.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.