Results 11 to 20 of about 21,684,555 (310)
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 +3 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
Journal of Automated Reasoning, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
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
A linear convolution-based cancelable fingerprint biometric authentication system
, 2022 Authentication is a critical requirement of many systems, in domains such as law enforcement, financial services and consumer devices. Due to poor user practices, especially regarding passwords, biometric technologies have been presented as a viable ...
Kang, James Jin +4 more
core +1 more source
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