×

Found 415 Documents (Results 1–100)

A problem of optimal control of loading points and their reaction functions for a parabolic equation. (English. Ukrainian original) Zbl 07879513

Cybern. Syst. Anal. 60, No. 3, 442-455 (2024); translation from Kibern. Sist. Anal. 60, No. 3, 120-134 (2024).
MSC:  93Bxx 35Kxx 93Cxx
PDFBibTeX XMLCite
Full Text: DOI

Control theory of stochastic distributed parameter systems: recent progress and open problems. (English) Zbl 1533.93068

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 7. Sections 15–20. Berlin: European Mathematical Society (EMS). 5314-5338 (2023).
PDFBibTeX XMLCite
Full Text: DOI

An output optimal control of infinite-dimensional hyperbolic bilinear systems. (English. Russian original) Zbl 1530.93183

J. Math. Sci., New York 276, No. 2, 274-288 (2023); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 178, 77-90 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Regional optimal control problem for the vibrating plate. (English. Russian original) Zbl 1530.93037

J. Math. Sci., New York 276, No. 2, 216-226 (2023); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 178, 20-30 (2020).
PDFBibTeX XMLCite
Full Text: DOI

GSM+T: a timed artifact-centric process model. (English) Zbl 1487.68166

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 18, 15 p. (2018).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Stabilization of semilinear PDEs, and uniform decay under discretization. (English) Zbl 1436.35305

Ammari, Kaïs (ed.) et al., Evolution equations. Long time behavior and control. Proceedings of the summer school, Université Savoie Mont Blanc, Chambéry, France, June 15–18, 2015. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 439, 31-76 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Some numerical results of regional boundary controllability with output constraints. (English) Zbl 1412.65147

Klingenberg, Christian (ed.) et al., Theory, numerics and applications of hyperbolic problems II, Aachen, Germany, August 2016. Cham: Springer. Springer Proc. Math. Stat. 237, 111-122 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Consistently-detecting monitors. (English) Zbl 1442.68107

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Open-loop controllability of interconnected heterogeneous systems with distributed parameters. (English. Russian original) Zbl 1385.93011

J. Comput. Syst. Sci. Int. 56, No. 4, 561-575 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2017, No. 4, 11-24 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Reachability in one-dimensional controlled polynomial dynamical systems. (English) Zbl 1336.68183

Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 251-261 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

Methods for knowledge based controlling of distributed systems. (English) Zbl 1305.68123

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, 52-66 (2010).
MSC:  68Q85 93B05
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software