Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L. Languages and tools for hybrid systems design. (English) Zbl 1143.68346 Found. Trends Electron. Des. Autom. 1, No. 1-2, 194 p. (2006). MSC: 68M99 68U20 68Q65 PDF BibTeX XML Cite \textit{L. P. Carloni} et al., Found. Trends Electron. Des. Autom. 1, No. 1--2, 194~p. (2006; Zbl 1143.68346) Full Text: DOI
Pinto, Alessandro; Carloni, Luca P.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto Interchange format for hybrid systems: Abstract semantics. (English) Zbl 1178.93105 Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 491-506 (2006). MSC: 93C95 68Q05 68Q55 PDF BibTeX XML Cite \textit{A. Pinto} et al., Lect. Notes Comput. Sci. 3927, 491--506 (2006; Zbl 1178.93105) Full Text: DOI
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L. Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). (English) Zbl 1107.68385 Foundations and Trends in Electronic Design Automation. Boston, MA: now (ISBN 1-933019-28-X/pbk). x, 194 p. (2006). MSC: 68M99 68U20 68Q65 68-01 PDF BibTeX XML Cite \textit{L. P. Carloni} et al., Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). Boston, MA: now (2006; Zbl 1107.68385) Full Text: DOI
Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.; Carloni, Luca P.; Passerone, Roberto Interchange formats for hybrid systems: Review and proposal. (English) Zbl 1078.93563 Morari, Manfred (ed.) et al., Hybrid systems: Computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25108-1/pbk). Lecture Notes in Computer Science 3414, 526-541 (2005). MSC: 93C95 PDF BibTeX XML Cite \textit{A. Pinto} et al., Lect. Notes Comput. Sci. 3414, 526--541 (2005; Zbl 1078.93563) Full Text: DOI