INRIA Rennes - Bretagne Atlantique, France, du 13 au 15 novembre 2013
Site menu:
Trois orateurs invités à MSR'13
Olivier H. Roux
- Titre de l'exposé : SED à paramètres temporels
- Résumé de l'exposé : Lors de la conception d'un système temps réel, avoir la connaissance complète du système est difficile voire impossible et augmente la complexité de la conception, de la vérification et de la recherche de contrôleur pour ces systèmes. L'utilisation d'un modèle temporel paramétré est alors intéressante et permet d'abstraire la représentation du système.
Cependant, pour des modèles paramétrés généraux des SED tels que les Parametric Timed Automata ou les Parametric Time Petri Nets, le problème de l'existence de valeurs des paramètres telles qu'un état soit accessible est indécidable.
Il n'existe actuellement pas d'algorithme de synthèse de valeurs de paramètres excepté pour des sous classes très restrictives de ces modèles.
Nous proposons donc de considérer des sous classes sémantiques des SED à paramètres temporels pour lesquelles les paramètres sont pris dans l'ensemble des entiers. Ces sous classes sont en pratique peu restrictives mais d'un point de vue théorique conduisent à la décidabilité de nombreux problèmes de model-checking, de synthèse de paramètres et de contrôle.
- Biographie de l'orateur :Olivier H. Roux est professeur à l'Ecole Centrale de Nantes (France) et effectue sa recherche à l'Institut de Recherche en Communication en Cybernétique de Nantes (IRCCyN UMR CNRS 6597). Il est le responsable de l'Equipe Systèmes Temps Réel de l'IRCCyN. Docteur en 1994, il a débuté à l'IUT de Kourou (Guyane) avant d'intégrer l'Université de Nantes en 1998,il a rejoint en 2006, pour un congé sabbatique, l'Ecole Polytechnique de Montréal puis a intégré l'Ecole Centrale de Nantes en 2010. Ses travaux portent sur la vérification et le contrôle des systèmes temporisés. Il s'intéresse tout particulièrement aux réseaux de Petri temporels et aux automates temporisés ainsi qu'à leurs extensions à chronomètres et à paramètres.
Manuel Silva
- Titre de l'exposé : Demi-siècle de la théorie des systèmes concurrents : Le paradigme des réseaux de Petri
- Résumé de l'exposé : Science et technologie sont des constructions sociales, mais il est important de bien identifier les pionniers et les contributions principales. Cette présentation invitée aura pour ambition parcourir un ensemble des lignes de relevance dès le commencement de la théorie de systèmes concurrents. D’abord on fera mention à la situation existante a l’époque, c'est-à- dire, aux débuts des années soixante, tout en mettant en valeur la contribution de Carl Adam Petri. On rappellera quelques éléments de la trajectoire vitale de Petri, mais aussi d’autres contributions pionnières aux USA, en particulier de Anatole Holt et le projet MAC au MIT. Le paradigme conceptuel des réseaux de Petri considère aspect tels que la modélisation, l’analyse logique, l’évaluation des performances, l’optimisation paramétrique, la commande dynamique, le diagnostic et l’implémentation, éventuellement tolérant aux fautes, des systèmes. En bref, multidisciplinaires en soi, les formalismes qui appartiennent au paradigme des réseaux de Petri couvrent plusieurs phases du cycle de vie des systèmes à événements discrets complexes.
On essaiera de mettre en perspective conjointe des éléments historiques, épistémologiques, scientifiques et techniques. Bien entendu, le but est aussi large que l’on ne pourra que, en humblement imitant Francisco de Goya, le grand peintre de Zaragoza, donner quelques traits fondamentaux, avec des petits coups de pinceau avec des couleurs complémentaires, pour donner un certain mouvement à la peinture à fresque, donc de tracé rapide.
- Biographie de l'orateur : Manuel Silva received the Industrial–Chemical Engineering degree from the University of Sevilla in 1974 and the postgraduate and Ph.D. degrees in Control Engineering from the INPG in 1975 and 1978, respectively. In 1978 he started the group of Systems Engineering and Computer Science at the University of Zaragoza (UZ), where he was named Professor in Systems Engineering and Automatic Control in 1982. His research interests did include modelling, validation, performance evaluation, and implementation of distributed concurrent systems using Petri Nets, binary decision graphs, and robot programming and control. He is author of the book Las Redes de Petri en la Automática y la Informática (AC, 1985; reedited by Thomson-AC, 2002) and coauthor of Practice of Petri Nets in Manufacturing (Chapman & Hall, 1993). Prof. Silva was dean of the Centro Politécnico Superior (UZ), from 1986 to 1992 and president of the Aragonese Research Council (CONAI) and of the Research and Innovation Committee of the French–Spanish Comisión de Trabajo de los Pirineos from 1993 to 1995. He is member of the advisory board of the IEICE Transactions on Fundamentals on Electronics, Communications and Computer Sciences and the Journal on Discrete Event Dynamic Systems: Theory and Applications, member or past member of the Steering Committees of the International Conference on Application and Theory of Petri Nets, of the Workshops on Discrete Event Systems (WODES) and the IFAC Int. Conferences on Analysis and Design of Hybrid Sytems (IFAC-ADHS), and founder member of the Asociación Española de Robótica. Interested in the History of Technology, he is the editor of Técnica e Ingeniería en España (in Spanish, 8 volumes, close to 6.000 pages edited). Prof. Silva has been distinguished with a medal from the city of Lille (France) and by the Association of Telecommunication Engineers of Aragón. He is Honoris Causa Doctorate by the University of Reims-Champagne-Ardennes, member of the Royal Academy of Engineering of Spain, and elected member of the Royal Academy of Sciences of Zaragoza.
Benoit Caillaud
- Titre de l'exposé : Quelques défis en modélisation des systèmes hybrides
- Résumé de l'exposé : Les systèmes hybrides combinent des dynamiques continues dépendantes de modes de fonctionnement discrets. La modélisation de ces systèmes est un enjeu majeur pour la conception de systèmes multi-physiques, combinant mécanique, hydraulique, thermique, électrocinétique, et des systèmes informatisés. Par exemple, l'analyse de la fiabilité d'un système mécanique nécessite de modéliser sa dynamique dans touts ses modes de défaillance. Les industries des systèmes (énergie, aéronautique, automobile, …) utilisent de manière intensive des langages et des outils de modélisation en systèmes hybrides. Parce qu'ils combinent des dynamiques continues (équations différentielles) et discrètes (automates, programmes synchrones), ces langages et outils posent des difficultés spécifiques que nous passerons en revue : ambiguïtés dans la sémantique de certains langages, difficile modularité et réutilisabilité des modèles, phénomènes Zénon et modes glissants. Ensuite nous aborderons trois courts développements techniques : (i) l'utilisation de l'analyse non standard pour définir une sémantique des systèmes hybrides ; (ii) l'utilisation de contraintes algébriques pour une modélisation modulaire et réutilisable ; et (iii) la modélisation de systèmes mécaniques et de circuits électroniques commutés à l'aide de systèmes dynamiques non réguliers.
Mots Clés : systèmes hybrides, systèmes dynamiques non réguliers, équations différentielles ordinaires et algébriques, réduction d'index de différentiation, analyse non standard, langages de programmation synchrone, sémantique constructive, réseaux de Kahn, Simulink, Modelica, Zelus, Siconos