aerospace

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

Low-cost, high-resolution, fault-robust position and speed estimation for PMSM drives operating in safety-critical systems

In this paper it is shown how to obtain a low-cost, high-resolution and fault-robust position sensing system for permanent magnet synchronous motor drives operating in safety-critical systems, by combining high-frequency signal injection with binary Hall-effect sensors. It is shown that the position error signal obtained via high-frequency signal injection can be merged easily into the quantization-harmonic-decoupling vector tracking observer used to process the Hall-effect sensor signals.

Closed-Loop, Flux-Weakening Control of Hybrid-Excitation Synchronous Machine Drives

This paper presents a closed-loop flux-weakening controller for hybrid-excitation synchronous machine drives based on separate regulation of amplitude and phase angle of the armature voltage. Operating point analysis is carried out to investigate the dynamic properties of the drive and to give guidelines in the tuning of the controller. Finally, experimental tests validating the theoretical derivations are performed on a prototype hybrid-excitation drive.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma