-
Robustness and Identification of Communicating Applications
version pdf avec un meilleur rendu -
Assistance to the maintenance in residence of the handicapped or old people
International audience -
Building a JMX management interface inside OSGi
The «pervasive computing» will allow users to be able to utilize various applications through functional objects anytime and anywhere. Since pervasive computing is... -
Linear Control of Live Marked Graphs
Given a linear constraint on the firing vectors of a live marked graph (bounded or unbounded) with uncontrollable / unobservable transitions, we apply linear... -
Robust Fault Decision: Application to an Omni Directional Mobile Robot
Fault diagnosis is crucial for ensuring the safe operation of complex engineering systems and avoiding the execution of an unsafe behaviour. This chapter deals with... -
Plateforme Ouverte de Supervision et de Traçabilité pour les Environnements C...
International audience -
User-Oriented approach for service orchestrations supervision
Quality of Service (QoS) is an important issue today in the developement of software applications, especially in the context of Service-Oriented Architectures (SOA).... -
Supervision of distributed systems using constrained unfoldings of timed models
This work is devoted to the issue of monitoring of distributed real-time systems. In particular, it focuses on formal aspects of model-based supervision and problems... -
A generic recursive multiagent model to simplify supervision of decentralized...
Observation of large scale artificials systems is difficult because of their dimension and their openness. This thesis proposes a model SMA-R (Recursive Multi-Agent... -
Joint generation of controls and user interfaces for reconfigurable sociotech...
The design of large systems suffers from communication problems inside design team and inconsistencies in design documentation. We have identified two concurrent but... -
Functional and behavioural models for the supervision of an intelligent and a...
International audience -
Functional and behavior models for the supervision of an intelligent and auto...
International audience -
Exécution répartie et temps-réel de réseaux de Petri
International audience -
Formal supervision of mobile ad hoc networks for security flaws detection
Mobile ad hoc networks (MANETs) are self-configuring networks of mobile devices connected via wireless links. Every device in MANETs is also a router because it is... -
Évaluation de performance des architectures de gestion de réseaux : état de l...
Les architectures de gestion sont de plus en plus complexes et des nouvelles approches et standards ne cessent d'apparaître. Ces approches de gestion sont souvent... -
Decision Support System for supervision and environmental education, applied ...
Initially, the project's objective was to build a simulator of a chemical detoxication stage for the electroplating industry. Our guiding principle was to develop the... -
L'arbitrage de haut niveau : d'une phase transitoire actuelle à la négociatio...
Le système sportif est devenu un secteur professionnel concurrentiel. Si l'arbitre est au cœur de l'évolution du système, l'impact des changements sur son activité et... -
Une société d'agents temporels pour la supervision de systèmes industriels
Industrial systems are getting increasingly complex, heterogeneous and decentralized. Consequently their functioning undergoes more and more constraints witch very... -
Supervision Décentralisée des Chorégraphies de Services
International audience
