Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni Contract-based design for computation and verification of a closed-loop hybrid system. (English) Zbl 1144.93313 Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 58-71 (2008). MSC: 93B51 93C30 PDFBibTeX XMLCite \textit{L. Benvenuti} et al., Lect. Notes Comput. Sci. 4981, 58--71 (2008; Zbl 1144.93313) Full Text: DOI
Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L. Hybrid systems in automotive electronics design. (English) Zbl 1113.93080 Int. J. Control 79, No. 5, 375-394 (2006). MSC: 93C95 93B51 93A30 PDFBibTeX XMLCite \textit{A. Balluchi} et al., Int. J. Control 79, No. 5, 375--394 (2006; Zbl 1113.93080) Full Text: DOI
Baleani, Massimo; Conti, Massimo; Ferrari, Alberto; Frascolla, Valerio; Sangiovanni-Vincentelli, Alberto An enhanced POLIS framework for fast exploration and implementation of I/O subsystems on CSoC platforms. (English) Zbl 1020.68539 Glesner, Manfred (ed.) et al., Field-programmable logic and applications. Reconfigurable computing is going mainstream. 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2438, 677-686 (2002). MSC: 68U99 94C10 PDFBibTeX XMLCite \textit{M. Baleani} et al., Lect. Notes Comput. Sci. 2438, 677--686 (2002; Zbl 1020.68539) Full Text: Link