Polytechnic University of Turin

About: Polytechnic University of Turin is a education organization based out in Turin, Piemonte, Italy. It is known for research contribution in the topics: Finite element method & Nonlinear system. The organization has 11553 authors who have published 41395 publications receiving 789320 citations. The organization is also known as: POLITO & Politecnico di Torino.

Common Lyapunov functions and gradient algorithms

Abstract: This note is concerned with the problem of finding a quadratic common Lyapunov function for a large family of stable linear systems. We present gradient iteration algorithms which give deterministic convergence for finite system families and probabilistic convergence for infinite families.

Distributed-Memory Model Checking with SPIN

Abstract: The main limiting factor of the model checker SPIN is currently the amount of available physical memory. This paper explores the possibility of exploiting a distributed-memory execution environment, such as a network of workstations interconnected by a standard LAN, to extend the size of the verification problems that can be successfully handled by SPIN. A distributed version of the algorithm used by SPIN to verify safety properties is presented, and its compatibility with the main memory and complexity reduction mechanisms of SPIN is discussed. Finally, some preliminary experimental results are presented.

Magnetization Switching and Microwave Oscillations in Nanomagnets Driven by Spin-Polarized Currents

Abstract: A novel theoretical approach to magnetization dynamics driven by spin-polarized currents is presented. Complete stability diagrams are obtained for the case where spin torques and external magnetic fields are simultaneously present. Quantitative predictions are made for the critical currents and fields inducing magnetization switching, for the amplitude and frequency of magnetization self-oscillations, and for the conditions leading to hysteretic transitions between self-oscillations and stationary states.