|
|
|
Public Documents
 WPCO
|
|
|
Title: |
The COLUMBUS
Experience: An experiment in joint
transatlantic research |
|
Author: |
John Lygeros &
the COLUMBUS team |
|
Download
|
|
|
|
Title: |
Impact of
platform-based design methodology in Magneti
Marelli Powertrain design flow
|
|
Author: |
Water Nesci |
|
Download
|
|
|
|
Title: |
Research
Challenges in Advanced Controls |
|
Author: |
John Lygeros &
the COLUMBUS team |
|
Download
|
WPHS:
|
Deliverable DHS1 |
|
Title: |
Overview
of Hybrid Modeling Languages |
|
Author: |
Luca Berardi,
Maria D. Di Bebedetto and Albert
Sangiovanni-Vincentelli |
|
Download
|
|
Deliverable DHS2 |
|
Title: |
Overview
of methods represenating semantics of hybrid
modeling techniques |
|
Author: |
Luca Berardi,
Maria D. Di Bebedetto and Albert
Sangiovanni-Vincentelli |
|
Download
|
|
Deliverable DHS3 |
|
Title: |
Modeling
Techniques, Programming Languages Design
Toolsets and Interchange Formats for Hybrid
Systems |
|
Author: |
Luca Carloni,
Maria D. Di Bebedetto, Alessandro Pinto and Albert
Sangiovanni-Vincentelli |
|
Download
|
|
Deliverable DHS4-6 |
|
Title: |
Modeling
Techniques, Programming Languages Design
Toolsets for Hybrid
Systems |
|
Author: |
Luca Carloni,
Maria D. Di Bebedetto, Roberto Passerone, Alessandro Pinto and Albert Sangiovanni-Vincentelli |
|
Download
|
WPSHS:
|
Deliverable DSHS1 |
|
Title: |
Reachability Issues for Stochastic Hybrid
Processes |
|
Author: |
M.Bujorianu
and J.Lygeros |
|
Download
|
|
Deliverable DHS2 |
|
Title: |
Theoretical
Foundations of General Stochastic Hybrid
Processes |
|
Author: |
M.Bujorianu
and J.Lygeros |
|
Download
|
|
Deliverable DHS3 |
|
Title: |
Stochastic
Markovian Switching Hybrid
Processes |
|
Author: |
C.Yuan
and J.Lygeros |
|
Download
|
WPTA:
WPPBD
|
Deliverable DPBD1 |
|
Title: |
Platform Based
Approach with Constraints and Export
Mechanism |
|
Author: |
A.Balluchi,
M.D. Di Benedetto, A.Ferrari, G.Girasole,
F.Graziosi, F.Parasiliti, R.Petrella,
A.Sangiovanni-Vincentelli, F.Santucci,
M.Sgroi, M.Tursini, R.Alessi, S.Tennina |
|
Download
|
|
Deliverable DPBD2 |
|
Title: |
Platform Based
Design:
Applications and Flow |
|
Author: |
A.Balluchi,
M.D. Di Benedetto, A.Ferrari, G.Girasole,
F.Graziosi, F.Parasiliti, A.Pinto,
R.Pesserone, R.Petrella,
A.Sangiovanni-Vincentelli, F.Santucci,
M.Sgroi, M.Tursini, R.Alesii, S.Tennina |
|
Download
|
WPMM
|
Deliverable DMM1-2 |
|
Title: |
A formal
framework of meta-models |
|
Author: |
Benoit
Caillaud, Ethan Jackson |
|
Download
|
|
|
