Sciweavers

5 search results - page 1 / 1
» From DIOID Algebra to P-Time Event Graphs
Sort
View
ICINCO
2004
72views Robotics» more  ICINCO 2004»
13 years 6 months ago
From DIOID Algebra to P-Time Event Graphs
Mohamed Khalid Didi Alaoui, Philippe Declerck
CONCUR
1998
Springer
13 years 9 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
ETFA
2008
IEEE
13 years 11 months ago
From monotone inequalities to Model Predictive Control
The dater equalities constitute a well-known tool which allows the description of Timed Event Graphs in the field of (max, +) algebra. This paper gives an equivalent model in the...
Abdelhak Guezzi, Philippe Declerck, Jean-Louis Boi...
IPPS
2007
IEEE
13 years 11 months ago
Decomposing Partial Order Execution Graphs to Improve Message Race Detection
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
Basile Schaeli, Sebastian Gerlach, Roger D. Hersch
TASE
2010
IEEE
12 years 11 months ago
Analytic Calculus of Response Time in Networked Automation Systems
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
Boussad Addad, Said Amari, Jean-Jacques Lesage