Quelques publications / Some publications
click for copies, or ask if not available here
Topics:
Reactive systems, synchronous programming and adaptive systems (in general)
Model-based control of adaptive and reconfigurable computing systems
Control of data intensive parallelism
Discrete control synthesis applied to control systems programming
Others, older
Reactive systems, synchronous programming and adaptive systems (in general)
Sara Bouchenak, E. Rutten (editors).
Best Papers from Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2010),
Special Topic, ACM SIGOPS Operating Systems Review (OSR), July 2010
Sara Bouchenak, E. Rutten (editors).
5th International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks, FeBID 2010, co-located with EuroSys 2010, Paris, France, april 13, 2010.
J.M. Muller, E. Niel, L. Pietrac, E. Rutten (editors). Interactions of discrete-event automation and computer sciences , Special section of JUCS, vol. 15 nr. 17, dec. 2009.
F. Maraninchi, M. Mendler, M. Pouzet, A. Girault, E. Rutten (editors). Model-driven High-level Programming of Embedded Systems, Special issue of the journal on Embedded Systems, 2008.
A. Girault, E. Rutten (editors). Workshop on Model-driven High-level Programming of Embedded Systems Programs, Budapest, Hungary, april 5, 2008. Satellite Event
of ETAPS 2008. Electronic Notes in Theoretical Computer Science, Volume: 238 issue 1.
H. Alla, R. Boel, E. Rutten (editors). Modelling and Control of Reactive Systems,
Special issue of the journal of Discrete Event Dynamic System, Vol. 17, no. 2, may 2007.
H. Alla, E. Rutten (éditeurs). Modélisation des systèmes réactifs, Actes du Colloque Francophone MSR 05, 5–7 octobre 2005, Autrans (Grenoble), France. RS série JESA, vol. 39, no 1-2-3/2005. Editions Hermès.
F. Maraninchi, A. Girault, E. Rutten (editors). Workshop on Synchronous Languages, Applications, and Programs, SLAP 03 , July 1, Porto, Portugal. Satellite event of ECRTS’03. Electronic Notes in Theoretical Computer Science Volume 88.
F. Maraninchi, A. Girault, E. Rutten (editors). Workshop on Synchronous Languages, Applications, and Programs, SLAP 02, April 13, Grenoble, France. Satellite event of ETAPS 02. Electronic Notes in Theoretical Computer Science Volume 65.5.
Model-based control of adaptive and reconfigurable computing systems
Gilberto Ochoa-Ruiz, Sebastien Guillet, Eric Rutten, El-Bay Bourennane, Jean-Philippe Diguet, Guy Gogniat.
An MDE Approach for the Rapid Prototyping and Implementation of Reconfigurable Systems.
ACM Transactions on Design Automation of Electronic Systems, TODAES, (to appear) 2015.
Frederico Alvares, Eric Rutten, Lionel Seinturier.
Behavioural Model-based Control for Autonomic Software Components.
In Proc. of the 12th IEEE International Conference on Autonomic Computing, ICAC, July 7-10, 2015, Grenoble, France. pp. 187–197.
Frederico Alvares, Eric Rutten, Lionel Seinturier.
High-level Language Support for the Control of Reconfiguration in Component-based Architectures.
In Proc. of the 9th European Conference on Software Architecture (ECSA 2015), September 8 – 11, 2015 Dubrovnik/Cavtat. (to appear)
Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten.
Distributed Execution of Modular Discrete Controllers for Data Center Management.
In Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS, Cancun, Mexico, may 27-29, 2015. pp. 139-146.
Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Gueye, Hervé Marchand, Noël de Palma, Eric Rutten.
Discrete control-based design of adaptive and autonomic computing systems.
In Proc. of the 11th International Conference on Distributed Computing and Internet Technology ICDCIT-2015, Bhubaneswar, India, 5–8 February 2015. LNCS 8956, p. 93.
Xin An, Abdoulaye Gamatié, Eric Rutten.
Design Space Exploration for Adaptive Dataflow Applications on Multiprocessor Systems-on-Chip.
Journal of Systems Architecture, Volume 61, Issues 3-4, March 2015, Pages 172-184.
Sébastien Guillet, Florent de Lamotte, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet.
Extending UML/MARTE to support Discrete Controller Synthesis,
application to Reconfigurable Systems-on-Chip modeling.
ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 7, No. 3, Article 27, August 2014.
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten, Alain Tchana, Nicolas Berthier.
Coordinating self-sizing and self-repair Managers for Multi-tier Systems.
journal of Future Generation Computer Systems, Volume 35, June 2014, Pages 14–26.
Mengxuan Zhao, Gilles Privat, Hassane Alla, Eric Rutten.
Discrete Control for Smart Environments through a Generic Finite-State-Models-Based Infrastructure.
In Proc. of the European Conference on Ambient Intelligence, AmI-14, LNCS 8850, November 11 – 13, 2014, Eindhoven, The Netherlands.
Julio Cano, Gwenaël Delaval, Eric Rutten, Yazid Benazzouz, Levent Gurgen.
ECA rules for IoT environment: a case study in safe design.
In Proc. of the First Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems QA4SASO 2014, In conjunction with the Eighth IEEE International Conference on Self- Adaptive and Self-Organizing Systems (SASO), London, UK, September 12, 2014.
Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël de Palma.
Modular coordination of multiple autonomic managers.
In Proc. of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2014, Lille, France, June 30 – July 4, 2014.
Narges Khakpour, Farhad Arbab, Eric Rutten.
Supervisory Controller Synthesis for Safe Software Adaptation.
In Proc. of the 12th IFAC – IEEE International Workshop on Discrete Event Systems, WODES, Cachan, France, May 14-16, 2014. pp. 39-45.
Julio Cano, Gwenaël Delaval, Eric Rutten.
Safe coordination of ECA rules by verification and control.
In Proc. of the 16th International Conference on Coordination Models and Languages, COORDINATION, June 3-6, 2014, Berlin, Germany.
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten, Alain Tchana, Daniel Hagimont.
Discrete control for ensuring consistency between multiple autonomic managers.
Journal of Cloud Computing, Advances, Systems and Applications, Springer, Volume 2, Issue 16, Oct. 2013.
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié.
Discrete Control for Recon- figurable FPGA-based Embedded Systems.
In Proc. of the 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS), 4-6 sept., 2013, York, United Kingdom. pp. 151-156.
Mengxuan Zhao, Gilles Privat, Eric Rutten, Hassane Alla.
Discrete Control for the Internet of Things and Smart Environments.
In Handouts (no Proc.) of the 8th International Workshop on Feedback Computing, In conjunction with ICAC 2013, San Jose, California, June 25, 2013.
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié.
Coordination Control of Component-based Autonomic Administration Loops.
In Proc. of the 13th International Conference on Autonomic Computing, ICAC, San José, California, june 26-28, 2013.
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten.
Coordination Control of Component-based Autonomic Administration Loops.
In Proc. of the 15th International Conference on Coordination Models and Languages, COORDINATION, Florence, Italy, 3-6 June, 2013.
Gwenael Delaval, Soguy Mak-Karé Gueye, Noël de Palma, Hervé Marchand, Eric Rutten.
Discrete control for the
coordination of administration loops.
In Proc. of the
12th European Control Conference (ECC13),
Zurich, Switzerland, July 17-19, 2013.
Gwenael Delaval, Eric Rutten, Hervé Marchand.
Integrating Discrete Controller Synthesis in a
Reactive Programming Language Compiler.
journal of Discrete Events Dynamical Systems,
2013.
[GRT12]
Soguy Mak-Karé Gueye, Eric Rutten, Alain Tchana.
Discrete control for the coordination of administration loops (extended abstract).
In 3rd International Workshop on Green and Cloud Management
GCM’2012,
In conjunction with IEEE/ACM 5th International Conference on Utility and Cloud Computing,
November 5 – 8, Chicago, Illinois, USA
[GPR12c]
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten.
Discrete control for the coordination of administration loops (extended abstract).
In Handouts (no Proc.) of the 7th International Workshop on
Feedback Computing,
In conjunction with ICAC 2012
San Jose, California, September 17, 2012.
[GLLRDG12b]
Sébastien Guillet and Florent de Lamotte and Nicolas Le Griguer and
Eric Rutten and Jean-Philippe Diguet and Guy Gogniat.
Modeling and Synthesis of a dynamic and Partial reconfiguration Controller.
In Proceedings of the
poster session of the
22nd International Conference on Field Programmable Logic and Applications,
FPL 2012,
Oslo, Norway, Aug. 29-31, 2012.
[GLLRDG12]
Sébastien Guillet and Florent de Lamotte and Nicolas Le Griguer and
Eric Rutten and Jean-Philippe Diguet and Guy Gogniat.
Designing formal reconfiguration control using UML/MARTE.
In Proceedings of the
7th International Workshop on Reconfigurable
and Communication Centric Systems-on-Chip,
ReCoSoC 2012,
York, UK,
9–11 july, 2012.
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten.
Synthèse de contrôleurs discrets pour l’administration
de systèmes informatiques.
In Actes de la
Conférence Internationale Francophone d’Automatique, CIFA 2012,
4-6 juillet 2012, Grenoble, France.
Xin An, Abdoulaye Gamatié, Eric Rutten.
CLASSY: a Clock Analysis System for Rapid Prototyping of
Embedded Applications on MPSoCs.
In Proc. of the 15th International Workshop on Software and Compilers
for Embedded Systems, Map2MPSoC/SCOPES 2012,
Schloss Rheinfels, St. Goar, Germany, May 15-16, 2012.
(longer version here)
[BDPGR12]
Fabienne Boyer, Gwenael Delaval, Noël de Palma, Olivier Gruber, Eric Rutten.
Discrete supervisory control application to computing
systems administration.
In Proc. of the 14th IFAC Symposium on Information Control Problems in Manufacturing,
INCOM’012,
Bucarest, Romania, May 23-25, 2012.
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten.
Coordinating energy-aware administration loops using
discrete control.
In Proc. of the Eighth International Conference on Autonomic and Autonomous Systems,
ICAS 2012,
St. Maarten, Netherlands Antilles, March 25-30, 2012.
[BSDR11]
Tayeb Bouhadiba, Quentin Sabah, Gwenael Delaval, Eric Rutten.
Synchronous Control of Reconfiguration in Fractal Component-based Systems — a Case Study.
In Proceedings of the ACM International Conference on Embedded Software,
EMSOFT 2011,
Taipei, Taiwan, October 9-14, 2011.
pp. 309-318.
(also
here)
[DRM11]
Gwenael Delaval, Eric Rutten, Hervé Marchand.
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation.
In Actes du
8ème Colloque Francophone sur la Modélisation des Systèmes Réactifs,
MSR 2011,
Lille, France.
16–18 nov. 2011.
pp. 125–140.
Fabienne Boyer, Gwenael Delaval, Noel de Palma, Olivier Gruber, Eric Rutten.
Case studies in discrete control of autonomic computing systems.
In Handouts (no Proc.) of the Sixth International Workshop on Feedback Control Implementation
and Design in Computing Systems and Networks,FeBID 2011,
Karlsruhe, Germany. June 14, 2011.
Sebastien Guillet and Florent de Lamotte and Eric Rutten and Guy Gogniat and Jean-Philippe Diguet.
Automatic generation of discrete handlers of real-time continuous control tasks.
In Actes du Symposium en Architecture de Machines, SympA’14,
10-13 mai 2011, Saint-Malo, France.
Soufyane Aboubekr, Gwenael Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon.
Automatic generation of discrete handlers of real-time continuous control tasks.
In Proc. of the
18th World Congress of the
International Federation of Automatic Control, IFAC,
Milano, Italy,
aug. 28-sep. 2, 2011.
[AGR11]
Xin An, Abdoulaye Gamatie, Eric Rutten.
Safe Design of Dynamically Reconfigurable
Embedded Systems.
In Proc. of the
2nd Workshop on Model Based Engineering for Embedded Systems Design, M-BED 2011,
Grenoble,
March 18, 2011.
[GLRGD10]
Sébastien Guillet, Florent de Lamotte, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet.
Modeling and formal control of partial dynamic reconfiguration.
In Proc. of the
6th International Conference on ReConFigurable Computing and FPGAs, ReConFig 2010,
Cancun, Mexico, December 13–15, 2010.
[PDR10]
Noël de Palma,
Gwenaël Delaval,
Eric Rutten.
QoS and Energy Management Coordination using Discrete Controller Synthesis.
In Proc. of the
1st International Workshop on Green Computing Middleware (GCM’2010),
In conjunction with ACM/IFIP/USENIX 11th International Middleware Conference,
Bangalore, India.
November 29, 2010.
Soufyane Aboubekr, Gwenael Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon.
Automatic generation of discrete handlers of real-time continuous control tasks.
Research Report/Rapport de Recherche INRIA, no. 7332, july 2010.
(17 p.)
[DR10b]
Gwenael Delaval, Eric Rutten.
Reactive model-based control of reconfiguration in the Fractal component-based model.
In Proc. of the 13th International Symposium on Component Based Software Engineering,
CBSE 2010,
Prague, Czech Republic, 23-25 June 2010.
pp. 93-112.
(Best paper award)
[R10]
Eric Rutten.
A language-level approach for discrete feedback control in computing systems.
In Proc. of the Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks,
FeBID 2010,
Paris, France, April 13, 2010.
pp. 29–30.
Gwenael Delaval, Eric Rutten.
A language-based approach to the discrete control of adaptive resource management.
In Proc. of the Workshop on Adaptive Resource Management,
WARM 2010,
Stockholm, Sweden, April 12, 2010.
pp. 47–52.
[DMR10]
Gwenael Delaval, Hervé Marchand, Eric Rutten.
Contracts for Modular Discrete Controller Synthesis.
In Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems,
LCTES 2010,
Stockholm, Sweden, April 12-16, 2010.
pp. 57-66.
(also
here)
Gwenael Delaval, Hervé Marchand, Eric Rutten.
BZR Contracts for Modular Discrete Controller Synthesis.
Research Report/Rapport de Recherche INRIA, no. 7111, november 2009.
(25 p.)
[ADR09]
Soufyane Aboubekr, Gwenael Delaval, Eric Rutten.
A Programming Language for Adaptation Control: Case Study.
In Proc. of the 2nd Workshop on Adaptive and Reconfigurable Embedded Systems, APRES 2009
(in conjunction with ESWeek 2009),
Grenoble, France,
October 11, 2009.
ACM SIGBED Review Volume 6, Number 3, October 2009.
[ER09]
Eric Rutten.
Supervisory control of adaptive and reconfigurable computing systems.
In Proc. of the 13th IFAC Symposium on Information Control Problems in Manufacturing,
INCOM’09,
Moscow, Russia, June 3–5, 2009.
Eric Rutten.
Reactive control of adaptive embedded systems: a position paper.
In Proceedings of the 7th workshop on Reflective and adaptive middleware (ARM’08)
(in conjunction with ACM/IFIP/USENIX 9th International Middleware Conference, Middleware 2008),
Leuven, Belgium,
dec. 1, 2008 .
pp. 47-48.
Eric Rutten.
Reactive control of adaptive embedded systems.
Research Report/Rapport de Recherche INRIA, no. 6604, July 2008.
(20 p.)
Control of data intensive parallelism
Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser.
Adaptivity in High-Performance Embedded Systems: a Reactive
Control Model for Reliable and Flexible Design.
The Knowledge Engineering Review ,
Special Issue onTrends in High-Performance Computing and
Communications for Ubiquitous Computing.
2010.
(to appear)
Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatie, Eric Rutten,
Samy Meftali, Jean-Luc Dekeyser.
Targeting Reconfigurable FPGA based SoCs using
the MARTE UML profile: from high abstraction
levels to code generation.
International Journal of Embedded Systems (IJES),
Special Issue on Reconfigurable and Multicore Embedded Systems,
Vol. 4, Nos. 3/4,
2010.
[GRR10]
Abdoulaye Gamatié, Vlad Rusu, Eric Rutten.
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for
Data-Parallel Applications Design.
In Proc. of the ninth International Symposium on Parallel and Distributed Computing (ISPDC’2010),
Istanbul, Turkey, July 7-9, 2010.
[YDGR09]
Huafeng Yu, Abdoulaye Gamatié, Gwenael Delaval, Eric Rutten.
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems.
In Proc. of the 6th IEEE International Conference on
Embedded Software and Systems, ICESS’09,
HangZhou, Zhejiang, China
May 25–May 27, 2009.
[YGRD08b]
Huafeng Yu, Abdoulaye Gamatié, Eric Rutten,
Jean-Luc Dekeyser.
Safe Design of High-Performance Embedded Systems in a MDE Framework.
In Proc. of the First IEEE International workshop UML and Formal Methods, UML&FM’08,
(in conjunction with 10th International Conference on Formal Engineering Methods, ICFEM 2008),
Kitakyushu-City, Japan,
October 27, 2008.
Special issue of the
ISSE NASA journal Innovations in Systems and Software Engineering
A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.L. Dekeyser.
Synchronous Modeling and Analysis of Data Intensive Applications.
Journal on Embedded Systems,
Volume 2008 (2008), Article ID 561863, 22 pages.
[GRYBD08b]
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu,
Pierre Boulet, Jean-Luc Dekeyser.
Modeling and Formal Validation of High-Performance Embedded Systems.
In Proc. of the 7th International Symposium on
Parallel and Distributed Computing, ISPDC 2008,
Krakow, Poland
July 1-5, 2008.
Special issue of
Scalable Computing: Practice and Experience
Scientific International Journal for Parallel and Distributed Computing
A. Gamatié, H. Yu, E. Rutten.
A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems.
Research Report/Rapport de Recherche INRIA, no. 6589, July 2008.
Huafeng Yu, Abdoulaye Gamatie, Eric Rutten, Jean-Luc Dekeyser.
Model Transformations from a Data Parallel Formalism towards
Synchronous Languages.
In Eugenio Villar (ed.),
Embedded Systems Specification and Design Languages
(Selected Contributions from FDL’07),
Lecture Notes Electrical Engineering, Vol. 10 , Springer-Verlag, april, 2008.
(part III, chap. 13)
(Extended version of [YGRD07])
H. Yu, A. Gamatié, E. Rutten, J.L. Dekeyser.
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
Research Report/Rapport de Recherche INRIA, no. 6291, September 2007.
(43 p.)
[YGRD07]
Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser.
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
In Proc. of the Forum on specification and Design Languages, FDL’07,
Barcelona, Spain
September 18-20, 2007.
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Eric Rutten.
UML2 profile for modelling controlled data parallel applications.
In Huss, Sorin A. (ed.),
Advances in Design and Specification Languages for Embedded Systems,
Springer-Verlag,
september 2007.
(part IV, chap. 18)
A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.L. Dekeyser.
Synchronous modeling of data intensive applications.
Research Report/Rapport de Recherche INRIA, no. 5876, Avril 2006.
(21 p.)
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Eric Rutten.
UML2 profile for modelling controlled data parallel applications.
In Proc. of the
Forum on Description Languages, FDL’06, TU Darmstadt, Germany,
September 19-22, 2006.
O. Labbani, J.L. Dekeyser, E. Rutten.
Separating Control and Data Flow: Methodology and Automotive System
Case Study.
Research Report/Rapport de Recherche INRIA, no. 5832, Fevrier 2006.
(32 p.)
O. Labbani, J.L. Dekeyser, P. Boulet, E. Rutten.
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach.
Research Report/Rapport de Recherche INRIA, no. 5794, Janvier 2006.
(49 p.)
O. Labbani, J.L. Dekeyser, P. Boulet, E. Rutten.
Introducing control in the Gaspard2 Data-Parallel MetaModel:
Synchronous Approach.
In Proceedings of the
International Workshop MARTES: Modelling and Analysis of Real-Time and
Embedded Systems
(with Models/UML 2005), Montego Bay, Jamaica, october 2005.
Discrete control synthesis applied to control systems programming
[BBDRY11]
Mohamed Amine Belhaj Seboui, Nejib Ben Hadj Alouane, Gwenael Delaval, Eric Rutten, Moez Yeddes.
An approach for the Synthesis of Decentralized
Supervisors for Distributed Adaptive Systems.
International Journal of Critical Computer-Based Systems
,
vol. 2, no. 3/4,
pp. 246-265,
2011.
[DGMR10]
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten.
Multicriteria optimal discrete controller synthesis for fault-tolerant tasks.
In Proceedings of the
10th International Workshop on Discrete Event Systems
(WODES 2010)
,
Berlin, Germany, August 30 – September 1, 2010.
(available on IFAC online)
[BBDRY10]
Mohamed Amine Belhaj Seboui, Nejib Ben Hadj Alouane, Gwenael Delaval, Eric Rutten, Moez Yeddes.
A Decentralized Supervisory Control Approach For Distributed Adaptive Systems.
In Proceedings of the
Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems
(VECoS 2010)
,
Paris, France
July 1-2, 2010.
Eric Rutten, Hervé Marchand.
Automatic Generation of Safe Handlers for Multi-Task Systems.
Journal of Embedded Computing, Volume 3, Number 4, pp. 255-276,
nov. 2009.
Alain Girault, Eric Rutten.
Automating the Addition of Fault Tolerance with Discrete Controller Synthesis.
Int. journal on Formal Methods in System Design,
Volume 35, Number 2, pp. 190-225,
2009.
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten.
Synthèse optimale de contrôleurs discrets pour des
systèmes distribués tolérants aux fautes.
In Actes de
Modélisation des Systèmes Réactifs,
Colloque Francophone
MSR 07
,
Lyon France,
17-19 Octobre 2005.
Emil Dumitrescu, Alain Girault, Herve Marchand, Eric Rutten.
Optimal discrete controller synthesis for
modeling of fault-tolerant distributed systems.
In Proceedings of the
1st IFAC Workshop on Dependable Control of Discrete Systems,
DCDS’07,
Paris – Cachan, France,
June 13-15, 2007.
Emil Dumitrescu, Alain Girault, Herve Marchand, Eric Rutten.
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems
.
Research Report/Rapport de Recherche INRIA, no. 6137,
March 2007.
(35 p.)
Gwenael Delaval, Eric Rutten.
A domain-specific language
for multi-task systems, applying discrete controller synthesis.
Journal on Embedded Systems,
special issue on Synchronous Paradigm in Embedded Systems.
Volume 2007 (2007), Article ID 84192, 17 pages.
Gwenael Delaval, Eric Rutten.
A Domain-Specific Language for Task Handlers Generation, Applying
Discrete Controller Synthesis.
In Proceedings of the
21st ACM Symposium on Applied Computing,
SAC 06, Special Track on
Embedded Systems: Applications, solutions, and Techniques,
Dijon, France, April 23–27, 2006.
(pp. 901–905)
Gwenael Delaval, Eric Rutten.
A Domain-Specific Language for Multi-Task Systems, Applying
Discrete Controller Synthesis.
Research Report/Rapport de Recherche INRIA, no. 5690, SepTember 2005.
(44 p.)
Eric Rutten, Hervé Marchand.
Automatic Generation of Safe Handlers for Multi-Task Systems.
Research Report/Rapport de Recherche INRIA, no. 5345, Octobre 2004.
(44 p.)
Alain Girault, Eric Rutten.
Discrete controller synthesis for fault-tolerant distributed systems.
In Proceedings of the
Ninth International Workshop on
Formal Methods for Industrial Critical Systems, FMICS 04,
20 – 21 September, 2004,
Linz, Austria.
Electronic Notes in Theoretical Computer Science
Volume 133 , 31 May 2005,
Pages 81-100.
Emil Dumitrescu, Alain Girault, Eric Rutten.
Validating fault-tolerant behaviors of synchronous system specifications
by discrete controller synthesis.
In Proceedings of the
7th Workshop on Discrete Event Systems, WODES’04,
September 22-24, 2004,
Reims, France.
[ACMR03]
Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten.
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
In Proceedings of the
European Symposium on Programming, ESOP’03,
April 7 – 11, 2003,
Warsaw, Poland.
Springer LNCS 2618.
[MR02b]
Hervé Marchand, Eric Rutten.
A case study in discrete control synthesis for
excavator operation.
In Proceedings of the
IEEE International Conference on
Systems, Man and Cybernetics, SMC’2002,
October 6-9, 2002, Hammamet, Tunisia.
[MR02a]
Hervé Marchand, Eric Rutten.
Managing multi-mode tasks with time cost and quality levels
using optimal discrete control synthesis
In Proceedings of the
14th Euromicro Conference on Real-Time Systems,
ECRTS’02,
June 19th – 21th, 2002,
Vienna, Austria.
Eric Rutten, Hervé Marchand.
Task-level programming for control systems using discrete control synthesis.
Research Report/Rapport de Recherche INRIA, no. 4389, Février 2002.
(46 p.)
E. Rutten.
A framework for using discrete control synthesis in safe robotic programming and teleoperation.
In Proceedings of the
IEEE International Conference on Robotics and Automation, ICRA’2001,
may 21–26, Seoul, Korea.
(pp. 4104–4109)
Multi-mode tasks
[MRR01]
Florence Maraninchi, Yann Rémond, Eric Rutten.
Effective programming language support
for discrete-continuous
mode-switching control systems.
In Proceedings of the
40th IEEE Conference on Decision and Control, CDC’01,
December 4-7, 2001, Orlando, Florida.
(pp. 3296–3301)
Generally : preemption and data-flow tasks in reactive languages
[R99]
E. Rutten.
Programmation sûre des systèmes de contrôle/commande :
le séquencement de tâches flot de données dans les langages réactifs.
Document d’Habilitation à Diriger des Recherches
en Informatique de l’IFSIC, Université de Rennes I,
20 décembre 1999.
(85 p.)
(French Habilitation Thesis)
Voyez aussi le site
/
See also the site for
EP-ATR.
SignalGTi (tasks in Signal) and preemption
[R94]
E. Rutten, P. Le Guernic.
Sequencing data flow tasks in SIGNAL.
In Proceedings of the ACM SIGPLAN Workshop on Language,
Compiler and Tool Support for Real-Time Systems,
Orlando, Florida, June 21, 1994.
[R95]
E. Rutten, F. Martinez.
SignalGTi: implementing task preemption and time intervals in the synchronous data flow language Signal.
In Proceedings of the
7th Euromicro Workshop on Real Time Systems,
Odense, Denmark, June 14 – 16, 1995
(IEEE Publ.).
(pp. 176–183)
[R97]
E. Rutten, E. Marchand, F. Chaumette.
An experiment with reactive data-flow tasking in active robot vision.
Software — Practice & Experience,
vol. 27 no. 5,
pp. 599–621,
May 1997.
[P98]
S. Pinchinat, E. Rutten, R.K. Shyamasundar.
Taxonomy and expressiveness of preemption: a syntactic approach.
In Proceedings of the
Asian Computing Science Conference, Advances in Computing Science – ASIAN’98,
Manila, The Philipines, December 8–10, 1998.
LNCS no. 1538, Springer-Verlag.
(pp. 125–141)
Synchronous models of reactive languages : StateMate and PLC languages
[B98a]
J.-R. Beauvais, T. Gautier, P. Le Guernic, E. Rutten, R. Houdebine.
A translation of StateCharts into Signal.
In Proceedings of the
International Conference on Application of Concurrency to System Design
(CSD’98),
Aizu-Wakamatsu, Japan, March 23–26, 1998
(IEEE Publ.).
(pp. 52-62)
[B98b]
J.-R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier.
A translation of Statecharts and Activitycharts
into Signal equations.
Publication Interne IRISA, Rennes, no.
1182,
April 1998; Rapport de Recherche INRIA, no.
3397, Avril 1998.
(56 p.)
J.-R. Beauvais, E. Rutten, T. Gautier, R. Houdebine, P. Le Guernic, Y.M. Tang.
Modelling Statecharts and Activitycharts
as Signal equations.
ACM Transactions on Software Engineering and Methodology,
vol. 10 no. 4,
pp. 397–451,
October
2001.
[J99]
F. Jiménez-Fraustro, E. Rutten.
A synchronous model of the PLC programming language ST.
In Proceedings of the
Work In Progress session,
1st Euromicro Conference on Real-Time Systems, ERTS’99,
York, England, June 9–11, 1999.
(pp. 21–24)
[J00a]
F. Jiménez-Fraustro, E. Rutten.
Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST de la norme CEI 1131-3.
Revue de l’électricité et de l’électronique (SEE),
no. 3, pp. 60–68,
mars 2000.
(Preliminary version in
Actes de la Journée d’études SEE sur les Nouvelles Percées dans les Langages pour l’Automatique,
Amiens, 25 novembre 1999)
(In French)
[J00b]
F. Jiménez-Fraustro, E. Rutten.
Hybrid simulation of IEC-61131 PLC programs
using Signal and Simulink.
In Proceedings of the
4th International Conference on Automation of Mixed Processes, ADPM’00,
18-19 September 2000, Dortmund, Germany.
(pp. 171–176)
[J01]
F. Jiménez-Fraustro, E. Rutten.
A synchronous model of IEC 61131 PLC languages in Signal.
In Proceedings of the
13th Euromicro Conference on Real-Time Systems, ERTS’01,
Delft, The Netherlands, June 13th-15th, 2001.
(pp. 135–142)
Applications
[D95]
S. Donikian, E. Rutten.
Reactivity, concurrency, data-flow and hierarchical preemption
for behavioral animation.
In R.C. Veltkamp, E.H. Blake (eds.),
Programming Paradigms in Graphics,
Springer, Computer Science,
1995.
(pp. 137-153,169)
[L96]
M. Le Borgne, H. Marchand, E. Rutten, M. Samaan.
Formal verification of Signal programs:
application to a power transformer station controller.
In Proceedings of the
Fifth International Conference on Algebraic Methodology and
Software Technology
AMAST ’96,
Munich, July 1-5, 1996.
LNCS no. 1101, Springer-Verlag.
(pp. 271-285)
[M97]
E. Marchand, E. Rutten, F. Chaumette.
Applying the synchronous approach to real time active visual
reconstruction,
IEEE Transactions on Control Systems Technology,
vol. 5, no 2, pages 200-216, march 1997.
[M98]
E. Marchand, E. Rutten, H. Marchand, F. Chaumette.
Specifying and verifying
active vision-based robotic systems
with the Signal environment.
International Journal of Robotics Research
special issue on
Integrated Architecture for Robot Control and Programming,
vol. 17 no. 4, ,
pp. 418-432,
April 1998.
[M95]
H. Marchand, E. Rutten, M. Samaan.
Synchronous design of a transformer station controller with Signal.
In Proceedings of the
4th IEEE Conference on Control Applications, CCA’95,
Albany, New York, USA, September 28-29, 1995.
(pp. 754-759)
[M01]
Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan.
Formal Verification of Programs specified with Signal : Application to
a Power Transformer Station Controller.
Science of Computer Programming},
vol. 41 no. 1,
2001.
(pp. 85–104)
Older stuff
[A93]
F. Arbab, E. Rutten.
MANIFOLD: a programming model for massive parallelism.
In Proceedings of the
Working Conference on Massively Parallel Programming Models,
Berlin, Germany,
September 20-23, 1993
(IEEE Publ.).
(pp. 151–159)
[C92]
E. Coste-Manière, B. Espiau, E. Rutten.
A task-level robot programming language and its
reactive execution.
In Proceedings of the 1992 IEEE International Conference on Robotics and Automation, Nice, France, May 12–14, 1992.
(pp. 2751–2756)
[R90]
Eric-Paul Rutten.
Représentation
en logique temporelle de plans d’actions dotés d’une structure de
contrôle impérative ; application à l’assistance à
l’opérateur en téléopération. Thèse
de Doctorat en Informatique de l’Université de Rennes 1, 13 Juillet
1990. (230 p.) (French Ph.D. Thesis)
[R93a]
E. Rutten, J. Hertzberg.
Temporal planner = nonlinear planner + time map manager.
A.I. Communications,
vol. 6 no. 1, pp. 18-26,
March 1993.
[R93b]
E. Rutten, L. Marcé.
An imperative language for task-level planning: definition in
temporal logic.
Artificial Intelligence in Engineering,
vol. 8 no. 4,
pp. 235-251,
1993.
