Inria
/
Raweb 2006
Presentation of the Project s4
Logo Inria
s4
System Synthesis and Supervision, Scenarios
2006 Research Team Activity Report
Rennes - Bretagne-Atlantique
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Application Domains
New Results
Petri nets
Reactive components
Discrete event system synthesis and supervisory control
Contracts and Grants with Industry
CO2: Composition of viewpoints based on scenario languages
Other Grants and Activities
ARTIST I/II – Network of Excellence on Advanced Real-Time Systems
SPEEDS: Speculative and Exploratory Design in Systems Engineering
Odas: categorical and algebraic approaches to synthesis
Dissemination
Participation to editorial boards and program committees
Demo development
68NQRT: Theory of computing seminar of Irisa
Teaching
Bibliography
Major publications
Publications of the year
References in notes