Maler, Oded (ed.); Halász, Ádám (ed.); Dang, Thao (ed.); Piazza, Carla (ed.) Hybrid systems biology. Second international workshop, HSB 2013, Taormina, Italy, September 2, 2013 and third international workshop, HSB 2014, Vienna, Austria, July 23–24, 2014. Revised selected papers. (English) Zbl 1327.92006 Lecture Notes in Computer Science 7699. Lecture Notes in Bioinformatics. Cham: Springer (ISBN 978-3-319-27655-7/pbk; 978-3-319-27656-4/ebook). xi, 175 p. (2015). MSC: 92-06 92-08 92C42 00B25 PDFBibTeX XMLCite \textit{O. Maler} (ed.) et al., Hybrid systems biology. Second international workshop, HSB 2013, Taormina, Italy, September 2, 2013 and third international workshop, HSB 2014, Vienna, Austria, July 23--24, 2014. Revised selected papers. Cham: Springer (2015; Zbl 1327.92006) Full Text: DOI
Dang, Thao; Le Guernic, Colas; Maler, Oded Computing reachable states for nonlinear biological models. (English) Zbl 1211.92023 Theor. Comput. Sci. 412, No. 21, 2095-2107 (2011). MSC: 92C42 68U99 93C95 PDFBibTeX XMLCite \textit{T. Dang} et al., Theor. Comput. Sci. 412, No. 21, 2095--2107 (2011; Zbl 1211.92023) Full Text: DOI
Dang, Thao; Maler, Oded; Testylier, Romain Accurate hybridization of nonlinear systems. (English) Zbl 1360.93083 Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 11-19 (2010). MSC: 93B03 65D15 93B40 PDFBibTeX XMLCite \textit{T. Dang} et al., in: Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12--16, 2010. New York, NY: Association for Computing Machinery (ACM). 11--19 (2010; Zbl 1360.93083) Full Text: DOI
Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain Using redundant constraints for refinement. (English) Zbl 1305.68117 Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15642-7/pbk). Lecture Notes in Computer Science 6252, 37-51 (2010). MSC: 68Q60 93B03 93C30 PDFBibTeX XMLCite \textit{E. Asarin} et al., Lect. Notes Comput. Sci. 6252, 37--51 (2010; Zbl 1305.68117) Full Text: DOI
Dang, Thao; Donzé, Alexandre; Maler, Oded Verification of analog and mixed-signal circuits using hybrid system techniques. (English) Zbl 1117.68303 Hu, Alan J. (ed.) et al., Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23738-0/pbk). Lecture Notes in Computer Science 3312, 21-36 (2004). MSC: 68M07 68Q60 94C10 PDFBibTeX XMLCite \textit{T. Dang} et al., Lect. Notes Comput. Sci. 3312, 21--36 (2004; Zbl 1117.68303) Full Text: DOI
Asarin, Eugene; Dang, Thao; Maler, Oded The \(d/dt\) tool for verification of hybrid systems. (English) Zbl 1010.68796 Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 365-370 (2002). MSC: 68U99 68Q60 PDFBibTeX XMLCite \textit{E. Asarin} et al., Lect. Notes Comput. Sci. 2404, 365--370 (2002; Zbl 1010.68796)
Asarin, Eugene; Bansal, Sorav; Espiau, Bernard; Dang, Thao; Maler, Oded On hybrid control of under-actuated mechanical systems. (English) Zbl 0991.93533 Di Benedetto, Maria Domenica (ed.) et al., Hybrid systems: Computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2034, 77-88 (2002). MSC: 93C85 70Q05 93B03 PDFBibTeX XMLCite \textit{E. Asarin} et al., Lect. Notes Comput. Sci. 2034, 77--88 (2002; Zbl 0991.93533) Full Text: Link
Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded Approximate reachability analysis of piecewise-linear dynamical systems. (English) Zbl 0938.93502 Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 20-31 (2000). MSC: 93B03 PDFBibTeX XMLCite \textit{E. Asarin} et al., Lect. Notes Comput. Sci. 1790, 20--31 (2000; Zbl 0938.93502)