Results 21 to 30 of about 2,055,284 (269)
Linear Invariants for Linear Systems
CoRR, 2021 A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict) inequalities -- equivalently, an intersection of $k$ (closed) half spaces -- as an invariant.
openaire +2 more sources
A method for constructing an optimal control strategy in a linear terminal problem
Журнал Белорусского государственного университета: Математика, информатика, 2021 This paper deals with an optimal control problem for a linear discrete system subject to unknown bounded disturbances, where the control goal is to steer the system with guarantees into a given terminal set while minimising the terminal cost function. We
Dzmitry A. Kastsiukevich +1 more
doaj +1 more source
On Some Algorithms for Solving Different Types of Symbolic 2-Plithogenic Algebraic Equations [PDF]
Neutrosophic Sets and Systems, 2023 The main goal of this paper is to study three different types of algebraic symbolic 2-plithogenic equations. The symbolic 2-plithogenic linear Diophantine equations, symbolic 2-plithogenic quadratic equations, and linear system of symbolic 2-plithgenic ...
Ahmad Khaldi +4 more
doaj +1 more source
On Linear Information Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a new-Seely category), with a "set-theoretic ...
Antonio Bucciarelli +3 more
openaire +4 more sources
The Journal of Engineering, 2020 In order to improve the control performance of the valve-controlled asymmetric cylinder system with negative overlap, it is proposed that the complex nonlinear system is transformed into a linear system based on the neural network inverse system.
Le Zeng +3 more
doaj +1 more source
IEEE Access, 2020 In this work, a position control in task space for slider-crank mechanisms is presented. In order to apply linear controllers it is required to linearize the mechanism dynamics at an equilibrium point.
Adolfo Perrusquia +3 more
doaj +1 more source
Linear and nonlinear systems: A survey [PDF]
, 1999 In this paper we present the research that has been done with Linear Dynamical Systems to generate almost uniformly elements from a given set, and thus approximate some hard counting problems. We also indicate how non-linear systems can help to parallelize the computation. We end presenting further applications of linear systems to formalize heuristics.
Díaz Cort, Josep +2 more
openaire +2 more sources
Journal of Automated Reasoning, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
International Journal of Applied Mathematics and Computer Science, 2021 The divisibility of the second-order minors of the numerators of transfer matrices by their minimal denominators for cyclic fractional linear systems is analyzed. It is shown that all nonzero second-order minors of the numerators of the transfer matrices
Kaczorek Tadeusz
doaj +1 more source
Agriculture, 2023 The level of agricultural development in European Union countries is characterized by great diversity. This is due to differences in natural conditions, the type of agricultural production, agrarian fragmentation, and the level of economic development ...
Renata Matysik-Pejas +6 more
doaj +1 more source