Laboratoire d'Informatique Scientifique et Industrielle
 |
Pascal Richard |
|
Pascal Richard |
| Equipe temps réel |  |
 |
||
| Publications |  |
 |
||
| Contacts |  |
|
Pascal
RICHARD
|
 |
Je travaille dans l'équipe temps réel du Laboratoire d'Informatique Scientifique et Industrielle (LISI). Mon activité porte principalement sur l'ordonnancement de systèmes temps réel monoprocesseurs et distribués (Analyse d'ordonnançabilité, évaluation pire cas des tests d'ordonnançabilité, l'analyse de compétitivité des algorithmes en-ligne, complexité des problèmes de décision et d'optimisation dans les systèmes temps réel).
(2009) - Referential Horizontal Partitioning Selection Problem in Data Warehouses: Hardness Study and Selection Algorithms .
Ladjel Bellatreche, Kamel Boukhalfa, Pascal Richard and Komla Yamavo Woameno., International Journal of Data Warehousing and Mining, vol. 5 (4), 2009, pp. 1-23
(2009) - A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines.
E. Bini, T.H.C Nguyen, P. Richard and S.K. Baruah., IEEE Transactions on Computers, vol. 58 (2), IEEE, February, 2009, pp. 279-28Abstract:
Since worst case response times must be determined repeatedly during the interactive design of real-time application systems, repeated exact computation of such response times would slow down the design process considerably. In this research, we identify three desirable properties of estimates of the exact response times: continuity with respect to system parameters, efficient computability, and approximability. We derive a technique possessing these properties for estimating the worst-case response time of sporadic task systems that are scheduled using fixed priorities upon a preemptive uniprocessor.
(2009) - Minimisation du nombre de processeurs pour les systèmes temps réel distribués.
François DORIN, Michael RICHARD, Emmanuel GROLLEAU and Pascal RICHARD., dixième conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), 2009
(2009) - Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities.
François DORIN, Pascal RICHARD, Michaël RICHARD and Joël GOOSSENS., Real-Time and Network System, 2009
(2009) - Approximation techniques for response-time analysis of static-priority tasks.
Thi Huyen Chau NGuyen, Pascal Richard and Enrico Bini., Real-Time Systems, vol. 43, Springer Verlag, 2009, pp. 147-176Abstract:
We consider sporadic tasks with static priorities and constrained deadlines to be executed upon a uniprocessor platform. Pseudo-polynomial time algorithms are known for computing worstcase response times for this task model. Some applications require to evaluate efficiently upper bounds of response times. For this purpose, we propose parametric algorithms that allow to make a tradeoff between quality of results and computational effort according to an input accuracy parameter. In this paper, we present a parametric polynomial-time algorithm for computing upper bounds of worst-case response times, that is based on an improved FPTAS (Fully Polynomial Time Approximation Scheme). Then, we show that our bound does not achieve constant error bound in comparison with the exact worst-case response time. However, using the resource augmentation technique, we obtain a performance guarantee that allows to define a compromise between our response-time bound and processor capacity requirements. The algorithm average behavior is then analyzed through numerical experimentations.
(2008) - Horizontal Partitioning in Data Warehouse: Hardness Study, Selection Algorithms and Validation on ORACLE10G.
Ladjel Bellatreche, Kamel Boukhalfa and Pascal Richard., in 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2008), edited by LNCS, September, 2008, pp. 87-96
(2008) - Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g.
Kamel BOUKHALFA, Ladjel BELLATRECHE and Pascal RICHARD. (Rapport de Recherche, N° 01 -2008), LISI, Mars, 2008
(2008) - Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g.
Kamel Boukhalfa, Ladjel Bellatreche and Pascal Richard., Revue des Nouvelles Technologies de l'Information (EDA'2008), Juin, 2008Abstract:
La fragmentation horizontale a été largement adoptée par la communauté des bases de données. Elle a une place à part entière dans la conception physique. Plusieurs systèmes de gestion de bases de données (SGBD) commerciaux ont proposé un langage de définition de données pour partitionner des tables relationnelles en utilisant différents modes. Dans ce papier, nous présentons d’abord l’évolution de la fragmentation ces dernières années au sein des SGBDs. Deuxièmement, nous étudions le problème de sélection de schéma de fragmentation d’un entrepôt de données relationnel, et nous montrons qu’il est NP-complet. Vu sa complexité, nous développons un algorithme de hill climbing (méthode de voisinage) pour sélectionner un schéma de fragmentation quasi optimal. Nous effectuons des expérimentations afin de comparer cet algorithme avec deux autres algorithmes: un génétique et un recuit simulé en utilisant un modèle de coût mathématique. Finalement, nous effectuons une validation réelle de nos algorithmes sous ORACLE10g en utilisant les données issues du banc d’essai APB1.
(2008) - Minimizing the number of processors for real-time distributed systems.
François Dorin, Michaël Richard, Emmanuel Grolleau and Pascal Richard., Real-Time and Network Systems (RTNS'08), 2008
(2008) - Improved approximate response time bounds for static priority tasks.
Thi Huyen Chau Nguyen, Pascal Richard and Enrico Bini., Real-Time and Network Systems (RTNS'08), 2008
(2008) - Constructive complexity: a metric for operations research spreadsheet model design.
P. Richard and J.F. Raffensperger., Int. J. Information and Operations Management Education, vol. In Press, 2008
(2008) - On-line scheduling on a batch processing machine with unbounded batch size to minimize the makespan.
Frédéric Ridouard, Pascal Richard and Patrick Martineau., European Journal of Operational Research, vol. 189 (3), Elsevier, 2008, pp. 1227-1242
(2007) - Continuity and Approximability of Response Time Bounds.
Sanjoy Baruah, Enrico Bini, Chau Huyen Nguyen and Pascal Richard., Euromicro Conf. on Real-Time Systems (ECRTS'07), Work-in Progress, Pisa, 2007
(2007) - Parametric Polynomial-Time Algorithms for Computing Response-Time Bounds for Static-Priority Tasks with Release Jitters.
Nathan Fisher, Chau Huyen Nguyen, Joel Goossens and Pascal Richard., 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea, 2007
(2007) - Letter by Art Lew, response by Raffensperger et al..
Art Lew, John F. Raffensperger and P. Richard., INFORMS Transactions on Education (3), INFORMS, 2007
(2007) - Approximate Feasibility Analysis and Response-Time Bounds of Static-Priority Tasks with Release Jitters.
Pascal Richard, Joël Gossens and Nathan Fisher., Real-Time and Network Systems (RTNS'07), Nancy, 2007
(2006) - Petri nets.
Annie Choquet-Geniet and Pascal Richard., An introduction to sofware specification: a case study, vol. 2sd edition, edited by Hermès London, 2006
(2006) - Polynomial-Time Approximate Schedulability Tests for Fixed-Priority Real-Time Tasks: Some Numerical Experimentations.
Pascal Richard., 14th Int. Conf. on Real-Time and Network Systems, 2006, pp. 191-199Abstract:
Efficient schedulability tests are required for analyzing large task systems or for designing on-line admission controllers. We next focus on periodic fixed-priority tasks. For fixed-priority tasks with constrained deadlines (i.e., deadlines are less than or equal to periods), no exact polynomial time feasibility test is known. We propose several polynomial time algorithms with performance guarantees (with an ijnput accuracy parameter) and compare them with known exact feasibility tests (running in pseudo-polynomial time) and a fully polynomial time approximation scheme (FPTAS). Our main objective is to define the capabilities of such algorithms according to the system workload and an accuracy parameter defining the quality of results to compute.
(2006) - Approximating response times of static-priority tasks with release jitters.
Pascal Richard and Joël Goossens., Euromicro Int. Conf. on Real-Time Systems (ECRTS'06), Work-in progress, 2006
(2006) - Ordonnancement temps réel monoprocesseur.
Pascal Richard and Frédéric Ridouard., Systèmes Temps Réel : Ordonnancement, Réseaux, Qualité de Service, edited by Hermès, 2006
(2006) - Worst-case analysis of feasibility tests for self-suspending tasks.
Frédéric Ridouard and Pascal Richard., proc. 14th Real-Time and Network Systems, Poitiers, 2006
(2006) - Some results on scheduling tasks with self-suspensions.
Frédéric Ridouard, Pascal Richard, Francis Cottet and Karim Traore., Journal of Embedded Computing, 2006
(2005) - Optimisation de performance pour des systèmes temps réel stricts à priorité fixe.
Joël Goossens and Pascal Richard., Technique et Science Informatiques, vol. 24, Hermès, 2005, pp. 991-1011
(2005) - Implementing Dynamic Programs in Spreadsheet.
John F. Raffensperger and Pascal Richard., INFORMS Transactions on Education, vol. 5 (2), INFORMS, January, 2005Abstract:
This paper has two purposes: to help explain dynamic programs (DP) to students who have no background in procedural languages, and to quantitatively motivate good spreadsheet designs that can be developed and modified easily. Teachers and practitioners could benefit from using spreadsheets to solve the common problems that are suited to DP. We give examples of several important DPs, implemented in different ways with a spreadsheet. We further analyze these DPs for their constructive complexity, which is the number of keystrokes required to write a spreadsheet for a given computational task, as a function of the input data. We show that a given DP can be written in several ways, with varying constructive complexity. The implementation can drastically affect the difficulty of writing and modifying a spreadsheet. The different examples demonstrate the value of good spreadsheet design.
(2005) - Analyse des temps de réponse et de la demande processeur en ordonnancement temps réel de tâches périodiques.
Pascal Richard., Ecole d'été Temps Réel (ETR'05), 2005
(2005) - Ordonnancement de tâches indépendantes avec suspension.
Frédéric Ridouard, Pascal Richard and Francis Cottet., 13th INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS (RTS), Avril, 2005Abstract:
Les systèmes temps-réel utilisent souvent un modèle de tâche simplifié. Dans la majorité des applications, les tâches sont représentées par un unique bloc d’exécution.Mais certaines tâches ont besoin au cours de leur exécution d’effectuer des opérations externes (comme par exemple des opérations d’entrée/sortie) et ainsi doivent se suspendre. Ce sont des tâches dites à suspension. Dans cet article, nous montrons que le problème d’ordonnancement de tâche à suspension est un problème NP-Difficile au sens fort. Nous démontrons également qu’il n’existe aucun algorithme optimal qui soit polynomial ou même pseudo-polynomial en temps de calculs pour choisir la prochaine tâche à s’exécuter. Et, nous démontrons la faiblesse de politiques classiques d’ordonnancement bien connues comme EDF (Earliest Deadline First), RM (Rate Monotonic), DM (Deadline Monotonic) et LLF (Least Laxity First) même sur des configurations de tâches avec une charge processeur faible, proche de zéro.
(2004) - Overview of real-time scheduling problems.
J. Goossens and P. Richard., Euro Workshop on Project Management and Scheduling, Invited Paper, 2004
(2004) - Performance Optimization for hard Real-Time Fixed Priority Tasks.
J. Goossens and P. Richard., proc. Real-Time Embedded Systems, 2004
(2004) - Ordonnancement temps réel avec profils variables de consommation d'énergie.
S. Jeannenot, P. Richard and F. Ridouard., proc. Real-Time Embedded Systems, 2004
(2004) - Ordonnancement temps réel en-ligne : contraintes, conception et analyses, Habilitation à Diriger des Recherches.
Pascal Richard., Thesis, Université de Poitiers, 2004
(2004) - On-line minimization of makespan for single batching machine scheduling problems.
F. Ridouard, P. Richard and P. Martineau., Euro Workshop on Project Management and Scheduling, 2004
(2004) - Negative results for scheduling independent hard real-time tasks with self-suspensions.
Frédéric Ridouard, Pascal Richard and Francis Cottet., The 25th IEEE International Real-Time Systems Symposium, December, 2004Abstract:
In most real-time systems, tasks use remote operations that are executed upon dedicated processors. External operations introduce self-suspension delays in the behavior of tasks. This paper presents several negative results concerning scheduling independent hard real-time tasks with self-suspensions. Our main objective is to show that well-known scheduling policies such as fixed-priority or Earliest Deadline First are not efficient to schedule such task systems. We prove the scheduling problem to be NP-hard in the strong sense, even for synchronous task systems with implicit deadlines. We also show that scheduling anomalies can occur at run-time: reducing the execution requirement or the suspension delay of a task can lead the task system to be infeasible under EDF. Lastly, we present negative results on the worst-case performances of well-known scheduling algorithms (EDF, RM, DM, LLF, SRPTF) to maximize tasks completed by their deadlines.
(2003) - Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués.
Michael Richard and Pascal Richard., TSI (Numéro Spécial), 2003Abstract:
La conception d’un système informatique temps réel nécessite une validation temporelle de son comportement afin de vérifier que les tâches respectent leurs échéances. Lorsque le système est distribué, cette validation est totalement dépendante du placement des tâches sur les processeurs. Nous considérons des systèmes distribués composés de plusieurs processeurs interconnectés par un ou plusieurs réseaux. Les tâches sont ordonnancées sur les processeurs par une politique à priorités fixes. Nous proposons une méthode réalisant le placement des tâches et l’affectation des priorités à ces dernières. Notre méthode se distingue des autres travaux sur ce problème d’une part par le fait que placement et ordonnancement sont réalisés simultanément, et d’autre part par le fait que la validation n’est pas limitée à une règle d’affectation des priorités. Des résultats des tests de la méthode sont également présentés. Un tel outils s’avère être une aide précieuse lors de la conception d’application temps réel distribuée.
(2003) - Allocating and Scheduling Tasks in Multiple Fieldbus Real-Time Systems.
Michael Richard, Pascal Richard and Francis Cottet., IEEE Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, edited by IEEE, Septembre, 2003, pp. 137-144Abstract:
We consider real-time systems connected via several fieldbuses. Validating such systems consists in prooving that tasks meet their end-to-end deadlines. Tasks are scheduled on processors by fixed-priority schedulers. We propose an automatic method for allocating tasks on processors and assigning priorities to tasks so that every deadline is met. Allocation and scheduling are simultaneously achieved. We do not limit the search space to a specific priority rule (such as Rate Monotonic or Deadline Monotonic). Feasible schedules are validated by a Holistic Analysis. Numerical results of the method are lastly presented on a real-size application. Our tool will be a beneficial help to design real-time distributed systems.
(2003) - Placement et Validation dans les Systèmes Temps Réel Distribués.
Michael Richard, Pascal Richard and Francis Cottet., RTS'03, edited by Teknea, 2003, pp. 387-410Abstract:
Lorsque l'architecture matérielle est distribuée, l'ordonnancement des tâches est fortement dépendant du placement de celles-ci sur les différents processeurs. Nous considérons ici le problème du placement statique et de l'ordonnancement à priorités fixes. Nous proposons dans cet article une méthode de placement et d'affectation des priorités permettant la validation d'une application distribuée. Le placement des tâches et l'affectation des priorités aux tâches et aux messages sont réalisés simultanément.
(2003) - On the complexity of scheduling real-time tasks with self-suspension on one processor.
Pascal Richard., 15th IEEE Int. Euromicro Conferecnce on Real-Time Systems (ECRTS'03), edited by IEEE Computer Press, 2003Abstract:
Integrating practical factors in scheduling theory is a major issue. Efficient schedulability tests (polynomial time or pseudo-polynomial time algorithms) are known for preemptive, independent tasks. In this paper, tasks are allowed to self-suspend. In practice, the real-time kernel suspends a task when it requests an external blocking operation. We study feasibility analysis problems from the computational complexity point of view. The problem is proved NP-hard in the strong sense for periodic, preemptive or non-preemptive task sets. If we allow tasks to have several flows of control (multi-threaded tasks), then the corresponding feasibility problem is shown to be NP-hard in the strong sense in the case of unit execution time threads.
(2003) - Analyse du temps de réponse des systèmes temps réel.
Pascal Richard., Actes de l'Ecole d'été Temps Réel, 2003Abstract:
La validation des systèmes temps réel impose de vérifier que les tâches respectent leurs contraintes temporelles. Des techniques analytiques spécifiques aux systèmes temps réel ont été conçues pour répondre à cet objectif. Les trois principales approches sont fondées sur l'analyse du facteur d'utilisation du processeur, l'analyse de la demande processeur et l'analyse du temps de réponse. Cet article présente les concepts fondamentaux de cette dernière technique. Nous présenterons tout d'abord l'analyse des systèmes monoprocesseurs et des réseaux temps réel à travers l'exemple du réseau CAN. Nous présenterons ensuite l'analyse des systèmes distribués. Nous terminerons par les logiciels d'analyse du temps de réponse des systèmes temps réel.
(2003) - Analyse holistique des systèmes temps réel distribués : principes et algorithmes.
Pascal Richard, Michaël Richard and Francis Cottet., Ordonnancement pour l'informatique parallèle, edited by Hermès, 2003
(2003) - On-line scheduling on a single batching machine to minimize the makespan.
Pascal Richard, Frédéric Ridouard and Patrick Martineau., 6th Int. Conference on Industrial Engineering and Production Management (IEPM'03), 2003Abstract:
We present an on-line algorithm to minimize the makespan on a single batch processing machine. We consider a parallel batching machine that can process up to $b$ jobs simultaneously. Jobs in the same batch complete at the same time. Such a model of a batch processing machine has been motivated by burn-in ovens in final testing stage of semiconductor manufacturing. We deal with the on-line scheduling problem when jobs arrive over time. We consider a set of independent jobs. Their number is not known in advance. Each job is available at its release date and its processing requirement is not known in advance. Deterministic algorithms that do not insert idle-times in the schedule cannot be better than 2-competitive and a simple rule based on LPT achieved this bound. If we are allowed to postpone start of jobs, then we prove that a general lower bound is equal to 1.618 for bounded and unbounded batch sizes. We then present deterministic algorithm that is a best possible for the problem with unbounded batch size and equal processing times, as well as for the problem with unbounded batch size, two distinct release dates and non equal procesing times (i.e. there cannot exist an on-line algorithm with a better performance guarantee).
(2002) - Une approche graphique pour l'aide à la conception d'applications temps réel ordonnançables.
Francis Cottet, Emmanuel Grolleau and Pascal Richard., Revue TSI (Technique et Science Informatiques), vol. 21 (3), 2002, pp. 315-343
(2002) - Contraintes de précédences et ordonnancement mono-processeur.
M. Richard, P. Richard, E. Grolleau and F. Cottet., Real Time and Embedded Systems, edited by Teknea, 26-28 mars, 2002, pp. 121-138Abstract:
Nous étudions l'ordonnancement mono-processeur de tâches temps réel soumises à des contraintes de précédence. Le modèle mathématique de tâches périodiques est étendu pour prendre en compte un protocole de synchronisation (comme les sémaphores). Lorsque un ordonnanceur à priorités fixes est utilisé, des anomalies d'ordonnancement peuvent survenir. Dans le cas de graphes de tâches réentrant, nous proposons un algorithme de calcul d'une borne supérieure du pire temps de réponse des tâches périodiques.
(2002) - A Tool for Controlling Response Time in Real-Time Systems.
Pascal Richard., Computer Performance Evaluation. Modelling Techniques and Tools. (2324), Lecture Notes in Computer Science, Springer Verlag, April, 2002, pp. 339-348Abstract:
In hard real-time systems, classical scheduling policies only cope with satisfaction of deadline constraints. In this paper, to every periodic task is associated a weight that models the importance of the task in terms of worst-case response time. These parameters are set off-line by the designers of the real-time software in order to control the quality of the on-line schedule. According to these weights, a set of feasible fixed-priorities are computed so that the mean weighted response time of the tasks is minimized. We propose a branch and bound algorithm to solve this problem. An example is completely detailed and numerical results on randomly generated problems are lastly presented to show the efficiency of the developed tool.
(2001) - Méthode Optimale d'Affectation des Priorités des Tâches et Messages dans les Systèmes Temps Réel Distribués.
M. Richard, P. Richard and F. Cottet. (2001-01), LISI -- ENSMA, Avril, 2001
(2001) - Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence.
M. Richard, P. Richard and F. Cottet. (2001-003), LISI -- ENSMA, novembre, 2001
(2001) - Affectation Optimale des Priorités des Tâches et des Messages dans les Systèmes Distribués Temps Réel.
M. Richard, P. Richard and F. Cottet., Real Time and Embedded Systems, edited by Teknea, mars, 2001, pp. 107-122Abstract:
Toute tâche ordonnancée dans un système informatique temps réel doit respecter ses contraintes temporelles (échéances, périodicités). Dans un système distribué, les ordonnancements des tâches et des messages sont fortement dépendants. Nous présentons une méthode arborescente affectant les priorités aux tâches et aux messages afin d'obtenir un système ordonnançable. Les tests d'ordonnançabilité mis en oeuvre dans la méthode reposent sur le calcul des pires temps de réponse des tâches et des messages (analyse holistique).
(2001) - Task and Message Priority Assignment in Automotive Systems.
M. Richard, P. Richard and F. Cottet., 4th FeT IFAC Conference on Fieldbus Systems and their Applications, edited by Elsevier Science, 2001, pp. 105-112
(2001) - Précédences généralisées et ordonnançabilité des tâches de suivi temps réel d'un laminoir.
Pascal Richard, Francis Cottet and Claude Kaiser., Journal Européen des Systèmes Automatisés, vol. 35 (9), 2001, pp. 1055-1071Abstract:
Nous étudions dans cet article la validation d'un logiciel de suivi temps réel d'un laminoir d'aluminium. Des tâches périodiques, soumises à des échéances strictes, s'exécutent sur un processeur dans le but de garantir la qualité des feuilles d'aluminium fabriquées. La particularité de cette application industrielle réside dans le fait que les tâches respectent des contraintes de précédence généralisée, i.e. les périodes des tâches en précédence ne sont pas nécessairement égales. Pour valider une application temps réel avec de telles contraintes, nous proposons une approche en deux étapes. La configuration de tâches est tout d'abord transformée en une autre composée uniquement de contraintes de précédence simple, puis en une troisième ne comportant que des tâches indépendantes. Ce dernier ensemble de tâches est utilisé pour valider l'application avec les techniques connues d'analyse d'ordonnançabilité.
(2001) - On-line scheduling of Real-Time Distributed Computers With Complex Communication Constraints.
Pascal Richard, Francis Cottet and Michaël Richard., ICECCS'2001, edited by Press, IEEE Computer, Skövde (Sweden), 2001, pp. 26-34Abstract:
We consider the scheduling of periodic tasks running on distributed computers. Every execution of a task must meet its deadline. Response time analysis of the tasks is used to prove the schedulabilty of hard real-time distributed systems according the on-line priority rules that schedule the processors and the network. Its main advantage is to take into account the precedence dependencies of the schedules of the tasks on the processors and the messages sent on the network(s). Past works have addressed the issue of tasks related by asynchronous communication constraints with the senders and the receivers working at the same rate. In this paper we study more general relations among tasks when the rates of dependent tasks are not equal. We call such relations generalized communication constraints. Usually distributed systems are scheduled using a synchronization protocol and an on-line scheduling algorithm by processor. We present in this paper a graph theoretical approach to this schedulability analysis. Our algorithm transforms complex communication relations into classical ones, so that the classical scheduling analysis can be fully applied. That transformation is independent of the architecture of the distributed systems and no assumption is made on the synchronization protocol considered.
(2001) - Applications des réseaux de Petri.
Pascal Richard and Christophe Haro., Techniques de l'ingénieur, vol. Traité Informatique Industrielle (S 7-254), 2001
(2000) - Petri nets : a graphical tool for system modelling.
Annie Choquet-Geniet and Pascal Richard., An Introduction to Formal Specification, edited by Springer Verlag, 2000, pp. 241-257
(2000) - Analyse Holistique des Systèmes Temps Réels Distribués.
M. Richard, P. Richard and F. Cottet. (2000-006), www.lisi.ensma.fr, LISI -- ENSMA, aout, 2000
(2000) - Affectation des Priorités dans les Systèmes Temps Réel Distribués.
M. Richard, P. Richard and F. Cottet., MOVEP'2000, 2000
(2000) - Modelling Integer Linear Programs with Petri nets .
Pascal Richard., RAIRO/Operations Research, vol. 34 (3), 2000, pp. 305-312
(2000) - Validation temporelle d'un logiciel temps réel : application à un laminoir industriel.
Pascal Richard, Francis Cottet and Claude Kaiser., Conférence Internationale Francophoe d'Automatique, edited by IEEE, 2000, pp. 687-692
(1999) - Optimal shortest path in reachability graph.
Pascal Richard., 7th IEEE Emerging Technologies and Factory Automation, 1999, pp. 303-312
|
LISI / ENSMA Téléport 2 - 1 avenue Clément Ader BP 40109 86961 Futuroscope Chasseneuil cedex |
(+33/0) 5 49 49 80 69
(+33/0) 5 49 49 80 64 (secr.)
http://www.lisi.ensma.fr/ |
 |
 |
 |
 |
|
(+33/0)
5 49 49 80 69
