Team Pop Art

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

Bibliography

Major publications by the team in recent years

[1]
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.
[2]
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.
[3]
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.
[4]
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.
[5]
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.
[6]
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.
[7]
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 http://www.inrialpes.fr/iramr/pub/Orccad.
[8]
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

[9]
A. Girault , F. Maraninchi, E. Rutten (editors)
Workshop on Synchronous Languages, Programming, and Applications, ENTCS, Elsevier Science, Grenoble, France, 2003, vol. 88 http://www.elsevier.nl/locate/entcs.

Articles in refereed journals and book chapters

[10]
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

[11]
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.
[12]
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.
[13]
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.
[14]
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.
[15]
G. Gössler , J. Sifakis.
Component-Based Construction of Deadlock-Free Systems (Extended Abstract), in: Proc. FSTTCS'03, LNCS, to appear, Springer-Verlag, 2003.
[16]
G. Gössler , J. Sifakis.
Composition for Component-Based Modeling, in: Proc. FMCO'02, LNCS, to appear, Springer-Verlag, 2003.
[17]
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.
[18]
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.

Miscellaneous

[19]
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.
[20]
I. Assayad .
Heuristique d'Ordonnancement Fiable pour Systèmes Embarqués Temps-Réel, Rapport de DEA Informatique, EDMI, UJF, Grenoble, France, 2003.
[21]
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.
[22]
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.
[23]
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

[24]
A. Arnold.
Systèmes de transitions finis et sémantique des processus communicants, Masson, 1992.
[25]
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.
[26]
C. Cassandras, S. Lafortune.
Introduction to Discrete Event Systems, Kluwer, 1999.
[27]
CEI (Commission Électrotechnique Internationale).
Norme Internationale – Automates programmables : Langages de programmation, Technical report, CEI/IEC (International Electrotechnical Commission), 1993, no IEC 1131 partie 3.
[28]
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.
[29]
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.
[30]
N. Halbwachs.
Synchronous programming of reactive systems, Kluwer, 1993.
[31]
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.
[32]
D. Harel.
Statecharts: A Visual Formalism for Complex Systems, in: Science of Computer Programming, 1987, vol. 8, p. 231-274.
[33]
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.
[34]
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.
[35]
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.
[36]
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.
[37]
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.
[38]
P. J. Ramadge, W. M. Wonham.
The Control of Discrete Event Systems, in: Proceedings of the IEEE, 1989, vol. 77, no 1.

previous
next