×

Found 6,814 Documents (Results 1–100)

100
MathJax

Abstraction-guided truncations for stationary distributions of Markov population models. (English) Zbl 07498057

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 351-371 (2021).
MSC:  92D25 60J28
PDF BibTeX XML Cite
Full Text: DOI arXiv

Conical singular points and vector fields. (English. Russian original) Zbl 1484.58021

Vestn. St. Petersbg. Univ., Math. 54, No. 4, 311-320 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 4, 649-661 (2020).
MSC:  58K45 58A40 70G10
PDF BibTeX XML Cite
Full Text: DOI

The problem of target control for a quadrotor when moving in a horizontal plane avoiding obstacles. (English. Russian original) Zbl 1485.93388

Mosc. Univ. Comput. Math. Cybern. 45, No. 4, 152-167 (2021); translation from Vestn. Mosk. Univ., Ser. XV 2021, No. 4, 21-36 (2021).
MSC:  93C85 93C10
PDF BibTeX XML Cite
Full Text: DOI

Post-processing methods for passivity enforcement. (English) Zbl 1480.93305

Benner, Peter (ed.) et al., Model order reduction. Volume 1: System- and data-driven methods and algorithms. Berlin: De Gruyter. 139-179 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software