×

Found 8 Documents (Results 1–8)

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software