×

Found 11 Documents (Results 1–11)

Statistical verification of dynamical systems using set oriented methods. (English) Zbl 1364.93753

Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 169-178 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Pre-orders for reasoning about stability. (English) Zbl 1362.68179

Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 197-206 (2012).
MSC:  68Q60 68Q85 93D20
PDFBibTeX XMLCite
Full Text: DOI

STORMED hybrid games. (English) Zbl 1237.91020

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, 480-484 (2009).
MSC:  91A10
PDFBibTeX XMLCite
Full Text: DOI

A decidable class of planar linear hybrid systems. (English) Zbl 1143.68442

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, 401-414 (2008).
MSC:  68Q45 93B03 93C30
PDFBibTeX XMLCite
Full Text: DOI

STORMED hybrid systems. (English) Zbl 1155.68421

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 136-147 (2008).
MSC:  68Q45 03C64
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

Software