Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto Taming Dr. Frankenstein: contract-based design for cyber-physical systems. (English) Zbl 1264.93152 Eur. J. Control 18, No. 3, 217-238 (2012). MSC: 93C70 93B51 93C95 PDF BibTeX XML Cite \textit{A. Sangiovanni-Vincentelli} et al., Eur. J. Control 18, No. 3, 217--238 (2012; Zbl 1264.93152) Full Text: DOI
Fontanelli, Daniele; Palopoli, Luigi; Passerone, Roberto Convergence of distributed WSN algorithms: The wake-up scattering problem. (English) Zbl 1237.90105 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 180-193 (2009). MSC: 90B36 90C59 93C55 93D05 PDF BibTeX XML Cite \textit{D. Fontanelli} et al., Lect. Notes Comput. Sci. 5469, 180--193 (2009; Zbl 1237.90105) 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
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