We study the model-checking problem for WMTL, a cost-extension of the linear-time timed
temporal logic MTL, that is interpreted over weighted timed automata. We draw a complete …

Un système sur Puce (SoC) est un système électronique complet intégré sur une puce. Il
peut être constitué d'une ou plusieurs unités de calcul dont le GPU. Le GPU est considéré …

Résumé Les progrès récents dans les communications sans fil et le domaine de
l'électronique ont permis le développement des micro-capteurs, moins coûteux et …

Résumé En quelques décennies, les systèmes informatiques sont arrivés au stade de
devenir indispen (sables et indissociables de notre quotidien et il nuest pas rare de voir ces …

During the last decades much theoretical research in computing science has been devoted
to formal methods. This research has resulted in many formal languages and in validation …

Notre environnement familier regorge d'appareils contrôlés par des systemes informatiques.
Des équipements électro-ménagersa domicile, aux automobiles, aux métros ou aux avions …

Depuis le milieu du vingtieme siecle, les systemes informatiques occupent une place
croissante dans notre quotidien. Autrefois cantonnés au domaine militaire (on n'oubliera pas …

A reactive control system is a computer system reacting to certain stimuli emitted by its
environment in order to maintain it in a desired state. Distributed reactive control systems are …

Résumé Les systèmes temps réel sont des systèmes dotés d'un comportement qui est
contraint par le temps, un tel système doit réagir correctement avec son environnement non …