## Found 10,855 Documents (Results 1–100)

100
MathJax
Newest 1st

MSC:  20Mxx
Full Text:

### A number-theoretic part of control theory. (English. Russian original)Zbl 07552950

Russ. Math. Surv. 77, No. 2, 369-371 (2022); translation from Usp. Mat. Nauk 77, No. 2, 195-196 (2022).
MSC:  49N35 33C45
Full Text:

### Remark on the spectral synthesis on infinite joins of finite hypergroups. (English)Zbl 07551301

MSC:  20N20 43A62 39B99
Full Text:

Full Text:

Full Text:

MSC:  94-XX
Full Text:

MSC:  93-XX
Full Text:

MSC:  68Qxx
Full Text:

MSC:  62-XX
Full Text:

### Observer-aided output feedback synthesis as an optimization problem. (English. Russian original)Zbl 07528557

Autom. Remote Control 83, No. 3, 303-324 (2022); translation from Avtom. Telemekh. 2022, No. 3, 7-32 (2022).
MSC:  93B53 49N35 93C05
Full Text:

### Optimal feedback arising in a third-order dynamics with boundary controls and infinite horizon. (English)Zbl 07528370

MSC:  90Cxx 49-XX
Full Text:

### 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
Full Text:

### 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
Full Text:

### Left-invariant optimal control problems on Lie groups: classification and problems integrable by elementary functions. (English. Russian original)Zbl 07523548

Russ. Math. Surv. 77, No. 1, 99-163 (2022); translation from Usp. Mat. Nauk 77, No. 1, 109-176 (2022).
MSC:  53C17 22E25 49K15
Full Text:

MSC:  62Pxx
Full Text:

### LU-Net: combining LSTM and U-Net for sinogram synthesis in sparse-view SPECT reconstruction. (English)Zbl 07513354

MSC:  92C55 68T07
Full Text:

### Modeling student engagement using optimal control theory. (English)Zbl 07512092

MSC:  49N90 91E40 93B50
Full Text:

Full Text:

### 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).
Full Text:

Full Text:

### A numerically stable algorithm for integrating Bayesian models using Markov melding. (English)Zbl 1484.62006

MSC:  62-08 62F15 62P10
Full Text:

MSC:  68T05
Full Text:

Full Text:

Full Text:

Full Text:

### Synthesizing optimal bias in randomized self-stabilization. (English)Zbl 1483.68033

MSC:  68M14 68W10 68W20
Full Text:

### Cut time in the sub-Riemannian problem on the Cartan group. (English)Zbl 07500001

MSC:  22E25 49K15 53C17
Full Text:

### Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. (English)Zbl 1485.93338

MSC:  93C57 93C10 93B03
Full Text:

### A generalized sequential subpredictor for input delayed systems under time-varying delay mismatches. (English)Zbl 1485.93323

MSC:  93C43 93D21 93C05
Full Text:

### 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
Full Text:

### Abstraction-based control synthesis using partial information. (English)Zbl 1483.93177

MSC:  93B50 93B51
Full Text:

MSC:  68Qxx
Full Text:

Full Text:

Full Text:

### On a probabilistic approach to synthesize control policies from example datasets. (English)Zbl 1482.93587

MSC:  93E03 93B50
Full Text:

Full Text:

Full Text:

### The VEGA launcher atmospheric control problem: a case for linear parameter-varying synthesis. (English)Zbl 1481.93030

MSC:  93B36 93C40 93C05
Full Text:

### Direct data-driven design of LPV controllers with soft performance specifications. (English)Zbl 1481.93042

MSC:  93B52 93C05
Full Text:

MSC:  68Qxx
Full Text:

### Lazy controller synthesis for monotone transition systems and directed safety specifications. (English)Zbl 1480.93130

MSC:  93B50 93C40
Full Text:

Full Text:

### 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).
Full Text:

Full Text:

### 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).
Full Text:

### 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
Full Text:

Full Text:

MSC:  91B82
Full Text:

MSC:  91B82
Full Text:

### 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
Full Text:

### 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
Full Text:

### Optimal control of a crop irrigation model under water scarcity. (English)Zbl 07501106

MSC:  92F05 49N90 49N35
Full Text:

MSC:  49N35
Full Text:

### 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
Full Text:

### Modeling and control for complicated education systems. (Ukrainian. English summary)Zbl 07498774

MSC:  97M50 97I70
Full Text:

### 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
Full Text:

### 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
Full Text:

### slepice: towards a verified implementation of type theory in type theory. (English)Zbl 07496645

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, 133-150 (2021).
MSC:  68N30
Full Text:

### 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
Full Text:

### 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
Full Text:

### Switching controller synthesis for time-delayed hybrid systems. (Chinese. English summary)Zbl 07494944

MSC:  93B50 93C30
Full Text:

### Synthesis of (choice-free) reset nets. (English)Zbl 07493581

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 274-291 (2021).
MSC:  68Q85
Full Text:

MSC:  90Bxx
Full Text:

### 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
Full Text:

### 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
Full Text:

### 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
Full Text:

### 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).
Full Text:

### On guarantee optimization in control problem with finite set of disturbances. (English)Zbl 1483.49046

MSC:  49N30 49N35 93C15
Full Text:

### Approximation error model (AEM) approach with hybrid methods in the forward-inverse analysis of the transesterification reaction in 3D-microreactors. (English)Zbl 07480102

MSC:  35-XX 76-XX
Full Text:

### Importance of mass and enthalpy conservation in the modelling of titania nanoparticles flame synthesis. (English)Zbl 07476096

MSC:  80Axx 76-XX
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Controlling a random population. (English)Zbl 07471672

MSC:  03B70 68-XX
Full Text:

### Modal functional (“Dialectica”) interpretation. (English)Zbl 07471663

MSC:  03B70 68-XX
Full Text:

### Optimal damping stabilisation based on LQR synthesis. (English)Zbl 1483.49048

MSC:  49N35 93B52 49N10
Full Text:

### Pareto optimal synthesis of eight-bar mechanism using meta-heuristic multi-objective search approaches: application to bipedal gait generation. (English)Zbl 1483.93180

MSC:  93B50 93C85 90C29
Full Text:

Full Text:

### The Hirsch conjecture III. The unilateral shift IDE and $$2 x\bmod(1)$$. (English)Zbl 07471119

MSC:  37C10 37D45 37E05
Full Text:

### Automated repair of process models with non-local constraints using state-based region theory. (English)Zbl 07467848

MSC:  68-XX 68-XX
Full Text:

### The complexity of synthesis of $$b$$-bounded Petri nets. (English)Zbl 07467843

MSC:  68-XX 68-XX
Full Text:

### Investigating reversibility of steps in Petri nets. (English)Zbl 07467841

MSC:  68-XX 68-XX
Full Text:

### Articulations and products of transition systems and their applications to Petri net synthesis. (English)Zbl 07467839

MSC:  68-XX 68-XX
Full Text:

### Parametric schedulability analysis of a launcher flight control system under reactivity constraints. (English)Zbl 07467824

MSC:  68-XX 68-XX
Full Text:

### Biologically Inspired motion design approaches for humanoids and walking machines. (English)Zbl 1481.93093

Kulczycki, Piotr (ed.) et al., Automatic control, robotics, and information processing. Cham: Springer. Stud. Syst. Decis. Control 296, 497-522 (2021).
MSC:  93C85 93D05
Full Text:

Full Text:

### 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
Full Text:

### State observer for a four-dimensional system with vector output. (English. Russian original)Zbl 1481.93045

Differ. Equ. 57, No. 11, 1460-1467 (2021); translation from Differ. Uravn. 57, No. 11, 1483-1490 (2021).
MSC:  93B53 93B50 93C35
Full Text:

### A non-cooperative game theory approach to cost sharing in networks. (English)Zbl 1482.91007

MSC:  91A10 91A43
Full Text:

MSC:  93C65
Full Text:

Full Text:

### Controller synthesis for negative imaginary systems using nonlinear optimisation and $$H_2$$ performance measure. (English)Zbl 1480.93131

MSC:  93B50 93B52 93C05
Full Text:

Full Text:

Full Text:

Full Text:

### Spectral synthesis and $$H^1(\mathbb{R})$$. (English)Zbl 1480.42033

Hirn, Matthew (ed.) et al., Excursions in harmonic analysis, Volume 6. In honor of John Benedetto’s 80th birthday. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 53-57 (2021).
MSC:  42B30 43A45
Full Text:

### 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).
Full Text:

### On $$p$$-adic description of glutathione synthesis. (English)Zbl 1483.92065

MSC:  92C40 11E95 26E30
Full Text:

Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3