×

Found 78 Documents (Results 1–78)

Approximate time bounded reachability for CTMCs and CTMDPs: a Lyapunov approach. (English) Zbl 1514.68146

McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 389-406 (2018).

Topology and motion planning algorithms in robotics. (English) Zbl 1308.68131

Fitt, Alistair D. (ed.) et al., Progress in industrial mathematics at ECMI 2008. Proceedings of the 15th European conference on mathematics for industry, London, UK, June 30 - July 4, 2008. Berlin: Springer (ISBN 978-3-642-12109-8/hbk; 978-3-642-12110-4/ebook). Mathematics in Industry 15, 839-844 (2010).
Full Text: DOI

A tour of systems with the max-plus flavor. (English) Zbl 1132.93030

Commault, Christian (ed.) et al., Positive systems. Proceedings of the second multidisciplinary international symposium on positive systems: Theory and applications (POSTA 06), Grenoble, France, August 30 – September 1, 2006. Berlin: Springer (ISBN 3-540-34771-2/pbk). Lecture Notes in Control and Information Sciences 341, 19-24 (2006).
MSC:  93C65 15B48 93B25

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software