Team Pop Art

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: Pop Art


Major publications by the team in recent years

K. Altisen , G. Gössler , J. Sifakis.
Scheduler Modeling Based on the Controller Synthesis Paradigm, in: Journal of Real-Time Systems, special issue on "control-theoretical approaches to real-time computing", 2002, vol. 23, no 1/2, p. 55-84no.
J.-R. Beauvais, E. Rutten , T. Gautier, R. Houdebine, P. Le Guernic, Yan-Mei. Tang.
Modelling Statecharts and Activitycharts as Signal equations, in: ACM Transactions on Software Engineering and Methodology, October 2001, vol. 10, no 4, p. 397–451.
J.-J. Borrelly, E. Coste Manière, B. Espiau, K. Kapellos, R. Pissard-Gibollet, D. Simon , N. Turro.
The Orccad Architecture, in: International Journal on Robotic Research, 1998, vol. 17, no 4, p. 338–359.
P. Caspi, A. Girault , D. Pilaud.
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors, in: IEEE Trans. on Software Engineering, May 1999, vol. 25, no 3, p. 416–427.
H. Marchand, É. 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, 2002, p. 241–248.
H. Marchand, É. Rutten , M. Le Borgne, M. Samaan.
Formal Verification of Programs specified with Signal : Application to a Power Transformer Station Controller, in: Science of Computer Programming, 2001, vol. 41, no 1, p. 85–104.
D. Simon , B. Espiau, E. Castillo, K. Kapellos.
Computer-Aided Design of a Generic Robot Controller Handling Reactivity and Real-Time Control Issues, in: IEEE Trans. on Control Systems Technology, December 1993, vol. 1, no 4
D. Simon , A. Girault .
Synchronous programming of Automatic Control Applications using Orccad and Esterel , in: 40th Conference on Decison and Control, 2001.

Year Publications

Books and Monographs

A. Girault , F. Maraninchi, E. Rutten (editors)
Workshop on Synchronous Languages, Programming, and Applications, ENTCS, Elsevier Science, Grenoble, France, 2003, vol. 88

Articles in refereed journals and book chapters

A. Girault .
Design of an Hybrid Controller for Autonomous Vehicles Driving on Automated Highways, in: Transportation Research Part C: Emerging Technologies, to appear, 2004.

Publications in Conferences and Workshops

K. Altisen , A. Clodic, F. Maraninchi, É. 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, Lecture Notes in Computer Science (LNCS), LNCS nr. 2618, Springer Verlag, 2003, no 2618, p. 174–188.
A. Girault , H. Kalla , M. Sighireanu, Y. Sorel .
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules, in: International Conference on Dependable Systems and Networks, DSN'03, San-Francisco, USA, IEEE, 2003.
A. Girault , H. Kalla , Y. Sorel .
Une heuristique d'ordonnancement et de distribution tolérante aux pannes pour systèmes temps-réel embarqués, in: Modélisation des Systèmes Réactifs, MSR'03, Metz, France, Hermes, 2003, p. 145–160.
A. Girault , X. Nicollin .
Clock-Driven Automatic Distribution of Lustre Programs, in: 3rd International Conference on Embedded Software, EMSOFT'03, Philadelphia, USA, R. Alur, I. Lee (editors), LNCS, Springer-Verlag, 2003, vol. 2855, p. 206–222.
G. Gössler , J. Sifakis.
Component-Based Construction of Deadlock-Free Systems (Extended Abstract), in: Proc. FSTTCS'03, LNCS, to appear, Springer-Verlag, 2003.
G. Gössler , J. Sifakis.
Composition for Component-Based Modeling, in: Proc. FMCO'02, LNCS, to appear, Springer-Verlag, 2003.
O. Sename , D. Simon , D. Robert .
Feedback scheduling for real-time control of systems with communication delays, in: ETFA'03 9th IEEE International Conference on Emerging Technologies and Factory Automation, Lisbonne, 2003.
D. Simon , O. Sename , D. Robert , O. Testa .
Real-time and delay-dependent control co-design through feedback scheduling, in: CERTS'03 Workshop on Co-design in Embedded Real-time Systems, Porto, ECRTS, july 2003.


M. Abdennebi .
Synthèse de contrôleurs discrets pour systèmes embarqués tolérants aux pannes, Rapport de DEA Informatique, ESIA, Université de Savoie, Annecy, France, 2003.
I. Assayad .
Heuristique d'Ordonnancement Fiable pour Systèmes Embarqués Temps-Réel, Rapport de DEA Informatique, EDMI, UJF, Grenoble, France, 2003.
F. Bouziani .
Étude et Implémentation de Stratégies d'Insertion pour une Autoroute Automatisée, Rapport de DEA Automatique, EEATS, INPG, Grenoble, France, 2003.
S. Iddir .
Synthèse de contrôleurs discrets pour systèmes de production tolérants aux fautes, Rapport de DEA Automatique, INPG-ENSIEG, Grenoble, France, 2003.
D. Robert .
Contrôle/Commande temps-réel robuste d'un bras de robot, Rapport de DEA Automatique, INPG, Grenoble, France, 2003.

References in notes

A. Arnold.
Systèmes de transitions finis et sémantique des processus communicants, Masson, 1992.
E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli.
Effective synthesis of switching controllers of linear systems, in: Proceedings of the IEEE, 2000, vol. 88, p. 1011–1025.
C. Cassandras, S. Lafortune.
Introduction to Discrete Event Systems, Kluwer, 1999.
CEI (Commission Électrotechnique Internationale).
Norme Internationale – Automates programmables : Langages de programmation, Technical report, CEI/IEC (International Electrotechnical Commission), 1993, no IEC 1131 partie 3.
A. Cervin, J. Eker, B. Bernhardsson, K.-E. Arzén.
Feedback-Feedforward Scheduling of Control Tasks, in: Real Time Systems, 2002, vol. 23, no 1, p. 25–54.
E. Clarke, E. Emerson, A. Sistla.
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, in: ACM Transactions on Programming Languages and Systems, 1986, vol. 8, no 2, p. 244-263.
N. Halbwachs.
Synchronous programming of reactive systems, Kluwer, 1993.
N. Halbwachs.
Synchronous programming of reactive systems – a tutorial and commented bibliography, in: Proc. of the Int. Conf. on Computer-Aided Verification, CAV'98, Vancouver, Canada, LNCS nr. 1427, Springer-Verlag, 1998.
D. Harel.
Statecharts: A Visual Formalism for Complex Systems, in: Science of Computer Programming, 1987, vol. 8, p. 231-274.
C. Lu, J.-A. Stankovic, G. Tao, S.-H. Son.
Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms, in: Real Time Systems, 2002, vol. 23, no 1, p. 85–126.
O. Maler, A. Pnueli, J. Sifakis.
On the Synthesis of Discrete Controllers for Timed Systems, in: Proc. of STACS'95, LNCS, Springer Verlag, 1995, vol. 900.
F. Maraninchi, Y. Rémond.
Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems, in: Science of Computer Programming, 3 2003, vol. 46, no 3, p. 219-254.
H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
Synthesis of Discrete-Event Controllers based on the Signal Environment, in: Discrete Event Dynamical System: Theory and Applications, October 2000, vol. 10, no 4, p. 325–346.
J.-P. Queille, J. Sifakis.
Specification and Verification of Concurrent Systems in CESAR, in: proc. International Symposium on Programming, LNCS, Springer-Verlag, 1982, vol. 137, p. 337-351.
P. J. Ramadge, W. M. Wonham.
The Control of Discrete Event Systems, in: Proceedings of the IEEE, 1989, vol. 77, no 1.