×

Found 10,855 Documents (Results 1–100)

100
MathJax

Controlling the heating of a rod using the current and preceding time feedback. (English. Russian original) Zbl 1485.93176

Autom. Remote Control 83, No. 1, 106-122 (2022); translation from Avtom. Telemekh. 2022, No. 1, 130-149 (2022).
MSC:  93B52 93B50
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of invariant nonlinear single-channel sigmoid feedback tracking systems ensuring given tracking accuracy. (English. Russian original) Zbl 1485.93173

Autom. Remote Control 83, No. 1, 32-53 (2022); translation from Avtom. Telemekh. 2022, No. 1, 40-66 (2022).
MSC:  93B50 93B52 93C10
PDF BibTeX XML Cite
Full Text: DOI

A new algorithm for the LQR problem with partially unknown dynamics. (English) Zbl 07511651

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 13th international conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13127, 322-330 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Asymptotic method for solving a singularly perturbed linear-quadratic optimal control problem with a moving right end of trajectories. (English. Russian original) Zbl 1485.49039

Comput. Math. Math. Phys. 62, No. 1, 20-32 (2022); translation from Zh. Vychisl. Mat. Mat. Fiz. 62, No. 1, 23-35 (2022).
MSC:  49N10 49N35 49J21
PDF BibTeX XML Cite
Full Text: DOI

Analysis and synthesis of nonlinear control systems. A convex optimisation approach. (English) Zbl 07439509

Studies in Systems, Decision and Control 408. Cham: Springer (ISBN 978-3-030-90772-3/hbk; 978-3-030-90775-4/pbk; 978-3-030-90773-0/ebook). x, 345 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Intelligent control, filtering and model reduction analysis for fuzzy-model-based systems. (English) Zbl 1480.93005

Studies in Systems, Decision and Control 385. Cham: Springer (ISBN 978-3-030-81213-3/hbk; 978-3-030-81214-0/ebook). xxi, 313 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Method of quasi-optimal synthesis of control laws based on the reduction of the Lagrange problem to the isoperimetric problem using asynchronous variation. (English. Russian original) Zbl 07516566

J. Comput. Syst. Sci. Int. 60, No. 6, 843-852 (2021); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2021, No. 6, 3-12 (2021).
MSC:  93B50 93C20
PDF BibTeX XML Cite
Full Text: DOI

On condition of representing a subspace in Schwartz space invariant with respect to differentiation as direct sum of its residual and exponential components. (Russian. English summary) Zbl 07501566

Ufim. Mat. Zh. 13, No. 4, 3-7 (2021); translation in Ufa Math. J. 13, No. 4, 3-7 (2021).
MSC:  30D15 42A38
PDF BibTeX XML Cite
Full Text: DOI MNR

AlCons : deductive synthesis of sorting algorithms in Theorema. (English) Zbl 07500651

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 314-333 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability. (English) Zbl 07498001

Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 67-83 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Efficient enumeration of regular expressions for faster regular expression synthesis. (English) Zbl 07495105

Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 65-76 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Feedback maximum principle for a class of linear continuity equations inspired by optimal impulsive control. (English) Zbl 1485.49041

Pardalos, Panos (ed.) et al., Mathematical optimization theory and operations research. 20th international conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12755, 356-368 (2021).
MSC:  49N25 49N35 49K15
PDF BibTeX XML Cite
Full Text: DOI

Block-cyclic structuring of the basis of Fourier transforms based on cyclic substitution. (English. Russian original) Zbl 1485.42008

Cybern. Syst. Anal. 57, No. 6, 1008-1016 (2021); translation from Kibern. Sist. Anal. 57, No. 6, 183-192 (2021).
MSC:  42A38 65T50
PDF BibTeX XML Cite
Full Text: DOI

Features of a multivalued generalization of binary logic operations in linear algebra for problems of digital processing of current-output sensor signals. (English. Russian original) Zbl 07485021

Autom. Remote Control 82, No. 12, 2213-2223 (2021); translation from Datchiki Sist. 2019, No. 10, 62-69 (2019).
MSC:  94C11
PDF BibTeX XML Cite
Full Text: DOI

Sequential nonparametric algorithm for detecting time series breakdown. (English. Russian original) Zbl 1483.93610

Autom. Remote Control 82, No. 12, 2204-2212 (2021); translation from Datchiki Sist. 2020, No. 1, 9-16 (2020).
MSC:  93E03 60G50
PDF BibTeX XML Cite
Full Text: DOI

Combined nonlinear system of control of a structurally-parametrically uncertain nonaffine plant with state delay and neutral type delay. (English. Russian original) Zbl 1483.93482

Autom. Remote Control 82, No. 12, 2192-2203 (2021); translation from Datchiki Sist. 2021, No. 1, 50-58 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Control problem for a piecewise linear system with uncertainties based on measurement results. (English. Russian original) Zbl 1481.93047

Differ. Equ. 57, No. 11, 1481-1494 (2021); translation from Differ. Uravn. 57, No. 11, 1505-1515 (2021).
MSC:  93C05 93B52 93B50
PDF BibTeX XML Cite
Full Text: DOI

Optimal control theory. Applications to management science and economics. 4th edition. (English) Zbl 07451851

Springer Texts in Business and Economics. Cham: Springer (ISBN 978-3-030-91744-9/hbk; 978-3-030-91745-6/ebook). xxvii, 506 p. (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