CTU Publishing Activity
Now showing items 21-40 of 1495
-
Hybrid Overmodulation Strategy of Dual Two-Level Inverter Topology Enabling 12-Step Operation
(IEEE Press, 2024)This paper introduces a novel overmodulation strategy tailored for dual-inverter topologies with galvanically isolated DC-links and evenly distributed DC-link voltage. The core contribution of the paper is the utilization ... -
Offline Method for Experimental Identification of Load-Dependent Saturation of Induction Motor Taking Into Account Variation of Inverse Rotor Time Constant
(The Institution of Engineering and Technology (IET), 2020)Accurate knowledge of induction machine parameters has a direct impact on the overall performance of field-oriented control strategies. In the case of rotor flux oriented control, parameter mismatch causes a discrepancy ... -
Canonical extensions via fitted sublocales
(Kluwer Academic Publishers, 2025)We study restrictions of the correspondence between the lattice SE(L) of strongly exact filters, of a frame L, and the coframe So(L) of fitted sublocales. In particular, we consider the classes of exact filters E(L), regular ... -
Decoupling periodic systems: an algebraic approach
(IEEE, 2025)This paper addresses the problem of row-by-row (or diagonal) decoupling of discrete-time linear multi-input multi-output systems with periodic time-varying coefficients using periodic state feedback. Previous solutions ... -
Automated segmentation of intracranial carotid atherosclerosis in histological images: assessing the effect of staining
(SPIE, 2025)Atherosclerosis, a major cause of ischemic stroke worldwide, is characterized by plaque formation, particularly in the carotid bifurcation, leading to arterial stenosis. Traditional histology and light microscopy have been ... -
Exploring nanoscale metallic multilayer Ta/Cu films: Structure and some insights on deformation and strengthening mechanisms
(Elsevier, 2024)Nanoscale metallic multilayer (NMM) films are systems offering insight into the role of interfaces in metal plasticity, deformation, and strengthening mechanisms. Magnetron sputtering was used to fabricate the Ta/Cu NMM ... -
Invariant neural architecture for learning term synthesis in instantiation proving
(Academic Press, 2025)The development of strong CDCL-based propositional (SAT) solvers has greatly advanced several areas of automated reasoning (AR). One of the directions in AR is therefore to make use of SAT solvers in expressive formalisms ... -
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
(Association for Computing Machinery, 2024)This paper delves into the interpretability of Graph Neural Networks in the context of Boolean Satisfiability. The goal is to demystify the internal workings of these models and provide insightful perspectives into their ... -
A comparative nanotribological investigation on amorphous and polycrystalline forms of MoS2
(Elsevier Science, 2024)The wear behavior of two amorphous and polycrystalline forms of MoS2 prepared by magnetron sputtering is characterized in a combined nanoindentation and atomic force microscopy study supported by Raman and transmission ... -
Towards optimal spatio-temporal decomposition of control-related sum-of-squares programs
(John Wiley & Sons, 2024)This paper presents a method for calculating the Region of Attraction (ROA) of nonlinear dynamical systems, both with and without control. The ROA is determined by solving a hierarchy of semidefinite programs (SDPs) defined ... -
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
(EDP Sciences, 2024)We address the problem of symmetry reduction of optimal control problems under the action of a finite group from a measure relaxation viewpoint. We propose a method based on the moment-Sum of Squares (SOS) aka Lasserre ... -
Convergence rates for sums-of-squares hierarchies with correlative sparsity
(Springer, 2025)This work derives upper bounds on the convergence rate of the moment-sum-of-squares hierarchy with correlative sparsity for global minimization of polynomials on compact basic semialgebraic sets. The main conclusion is ... -
Issues of safety of autonomous railway operation at the GoA3 and GoA4 level
(Palacký University, 2025)This contribution discusses the issue of approaching safety issues for newly introduced autonomous rail vehicle operation systems with the GoA3/GoA4 automation level. In particular, the paper discusses the issue of normative ... -
Nonlinearly elastic and anisotropic constitutive model for ePTFE vascular graft based on tensile and inflation experiments
(Taylor & Francis Group, 2025)The long-term success of interventions in cardiovascular medicine can be enhanced by the computer-assisted planning of these procedures. However, the reliability of all computational simulations depends significantly on ... -
Face-centered cubic carbon as a fourth basic carbon allotrope with properties of intrinsic semiconductors and ultra-wide bandgap
(Springer Nature, 2024)Carbon is considered to exist in three basic forms: diamond, graphite/graphene/fullerenes, and carbyne, which differ in a type of atomic orbitals hybridization. Since several decades the existence of the fourth basic carbon ... -
Závěrečná zpráva - Novostavba tribuny a atletického stadionu Praha Děkanka
(2025)Závěrečná zpráva dokumentuje návrh a koordinaci novostavby atletické tribuny a stadionu Praha Děkanka jako součást širší revitalizace sportovního areálu Spartak Praha 4. Projekt je příkladem komplexního využití metodiky ... -
Enhanced calibration algorithm robust to many redundancies and singularities of kinematic model tested on 3[RRPaR] Delta robot
(Elsevier Science, 2025)The paper introduces an enhanced calibration algorithm that is robust and reliable for the kinematic calibration of robots and other mechanisms featuring redundant parameterization, unmeasured time-varying coordinates, ... -
Influence of Layer Time on the Mechanical Properties of Thin-walled Parts Produced from Modified Polycarbonate Reinforced with Caron Fibres by a Pellet Extrusion Modelling (PEM) Process
(MM Science Journal, 2025)Large-format additive manufacturing is a production technology that enables production of large-scale parts made from fibre-filled thermoplastic pellets. A kinematic structure, such a robot or a CNC portal machine, carries ... -
Youla-Kučera Parameterization: Theory and Applications
(SCITEPRESS – Science and Technology Publications, 2024)Youla, Bongiorno, and Jabr (Polytechnic Institute of New York University) and Kučera independently discovered the parameterization formula in the late seventies, see (Youla et al., 1976a), (Youla et al., 1976b) and ... -
Youla-Kučera Parameterization: Theory and Applications
(Elsevier, 2024)Youla-Kučera parameterization is the parameterization of all linear controllers that stabilize a given linear plant.