Team Hycomes
Members
Overall Objectives
Research Program
Hybrid Systems Modeling
Background on non-standard analysis
Contract-Based Design, Interfaces Theories, and Requirements Engineering
Application Domains
Modeling cyber-physical systems
Supporting requirements engineering for aeronautic systems design
New Software and Platforms
Mica: A Modal Interface Compositional Analysis Toolbox
Flipflop and TnF-C++: Test and Flip Net Synthesis Tools for the Automated Synthesis of Surgical Procedure Models
New Results
Highlights of the Year
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
On the index of multi-mode DAE Systems
A Unifying View of Loosely Time-Triggered Architectures
Partnerships and Cooperations
Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2014
|
Presentation of the Team HYCOMES
PDF
e-Pub
Previous |
Home
| Next
Creation of the Team:
2013 July 01
Section: Members
Research Scientists
Benoît Caillaud
[
Team leader, Inria, Senior Researcher
, HdR]
Albert Benveniste
[
Inria, Senior Researcher until 7 May 2014, then Emeritus Senior Researcher
, HdR]
PhD Student
Ayman Aljarbouh
[
Inria, funded by the ITEA2 Modrio project and the Brittany Regional Council
]
Administrative Assistant
Angélique Jarnoux
[
Inria
]
Previous |
Home
| Next