Miguel Diaz-Cacho

Dr. Miguel Diaz-Cacho

orcid

Research Focus & Metrics

Academic Career Length

19Years (2008-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 August 2012 in IEEE/ASME Transactions on Mechatronics
Verified
Journal Article
Closed access
EDEmma Delgado
Emma Delgado
MDMiguel Diaz-Cacho
Miguel Diaz-Cacho
DBDavid Bustelo
David Bustelo
ABAntonio Barreiro
Antonio Barreiro
In this paper, we develop a generic approach for modeling a teleoperation setup, as a negative single feedback loop containing a linear time-invariant block and an uncertain time-varying delay. It is not based on specific dynamics of masters and slaves, neither on any control architecture. The main added value of the proposed approach is the possibility of deriving frequency-domain conditions for robust stability in the presence of time-varying delays and parametric uncertainties. To address stability, we choose a primitive result providing a bound of certain delay subsystem. We combine this, with input-output stability criteria and μ-analysis and synthesis techniques, to reach a procedure based on the structured singular value providing less conservative results. Finally, our approach is presented within a suggested flowchart that helps the designer to manage the control parameter ranges and facilitates the gradual achievement of stability, robust stability, and performance properties. As a case study, we consider the Internet-based teleoperation of a gantry crane by means of the position-error control architecture. We have also obtained actual delay bounds appearing with UDP protocol for different Internet locations. Simulation and experimental results confirm the robust performance of the teleoperation system in terms of stability and tracking behavior.

19 October 2022 in Applied Sciences
Verified
Journal Article
Open access
PDF file
RCRENE Lastra LASTRA CID
RENE Lastra LASTRA CID
Alejandro PereiraAlejandro Pereira
Alejandro Pereira
MDMiguel Diaz-Cacho
Miguel Diaz-Cacho
JAJorge Marcos Acevedo
Jorge Marcos Acevedo
ACAntonio Collazo
Antonio Collazo
This research work is aimed at identifying the applicability of additive manufacturing (AM) to spare parts in the automotive manufacturing industry, specifically in the field of preventive maintenance. A procedure of AM applicability to preventive maintenance is presented. To this end, the results of the application of a case that has been carried out in the Stellantis factory located in the Vigo (Spain) area have been obtained. The procedure was based on an initial inventory from which a series of lists have been obtained that were later categorised. This was performed in order to know the technical and economic applicability of polymeric spare parts replacement by parts made of AM in polyamide material (PA12) through two manufacturing methods (HP Multi-Jet and Selective Laser Sintering technology, SLS). Original spare parts were characterised and compared with replacement parts made in AM. This article provides observations, recommendations and conclusions to summarise the situation regarding the use of AM techniques to improve preventive maintenance.

8 February 2017 in Sensors
Verified
Journal Article
Open access
PDF file
MDMiguel Diaz-Cacho
Miguel Diaz-Cacho
EDEmma Delgado
Emma Delgado
ABAntonio Barreiro
Antonio Barreiro
PFPablo Falcon
Pablo Falcon
This paper investigates the dynamic selection of an appropriate threshold for basic Send-on-Delta (SoD) sampling strategies, given an available transmission rate to reduce the signal tracking-error. The paper formulates the error-reduction principle and proposes an algorithm that calculates, in real time, the amplitude threshold value (also called delta value) for a desired mean transmission rate. The algorithm is implemented to be computed in a Send-on-Delta driver and is tested with three signals that match the step response of a second order control system. Comparison results with a conformant periodic transmission strategy reveals that it improves deeply the tracking-error while maintaining the desired average throughput.

1 January 2012 in Mathematical Problems in Engineering
Verified
Journal Article
Open access
PDF file
EDEmma Delgado
Emma Delgado
MDMiguel Diaz-Cacho
Miguel Diaz-Cacho
ABAntonio Barreiro
Antonio Barreiro
This paper investigates the delay‐dependent stability of a teleoperation system based on the transparent Generalized Four‐Channel control (G‐4C) scheme under time‐varying communication delays. To address stability we choose here a primitive result providing a Linear Matrix Inequalities (LMIs) approach based on Lyapunov‐Krasovskii functionals. Firstly, the scheme is modeled as the neutral‐type differential‐delayed equation; that is, the delay affects not only the state but also the state derivative. Secondly, we apply a less conservative stability criteria based on LMIs that are delay dependent and delay′s time‐derivative dependent. The reason is that, for better performance in the case of small delays, we must accept the possibility that stability is lost for large delays. The approach is applied to an example, and its advantages are discussed. As a result, we propose to modify the values of standard controllers in G‐4C defining the μ‐4C scheme, which introduces a tuning factor μ to increase in practical conditions the stable region fixing the desired bounds on time‐varying delay, with the particularity of maintaining the tracking properties provided by this transparent control scheme. The simulation results justify the proposed control architecture and confirm robust stability and performance.

14 November 2019 in Sensors
Verified
Journal Article
Open access
PDF file
JLJoaquín López
Joaquín López
AAAlejandro Santana Alonso
Alejandro Santana Alonso
MDMiguel Diaz-Cacho
Miguel Diaz-Cacho
One of the main challenges in verifying robotic systems is its asynchronous interaction with an unstructured environment, observed by imperfect sensors. Autonomous robot systems usually require some language to support task-level control. This paper presents an effective approach to apply formal verification methods for that kind of language. A main contribution of this method is to avoid modeling the robotic system with a specific formalism. The approach translates the task-level control models into a Petri net (PN) based representation. This is used to define new methods to analyze some task properties such as liveness, deadlock-freeness and terminability. The approach has been applied to the Task Description Language (TDL) and it is illustrated by experiments. The final goal is to create new tools within the application development environment to include formal verification as part of the normal software development cycle. The TDL to PN translator uses the Petri Net Markup Language (PNML) as its file format. This format permits interoperability with other Petri net tools that can also be used to analyze the PNs.

3 December 2012 in Sensors
Verified
Journal Article
Open access
PDF file
MDMiguel Diaz-Cacho
Miguel Diaz-Cacho
EDEmma Delgado
Emma Delgado
JPJosé A. G. Prieto
José A. G. Prieto
JLJoaquín López
Joaquín López
This paper proposes a new middleware solution called Network Adaptive Deadband (NAD) for long time operation of Networked Control Systems (NCS) through the Internet or any shared network based on IP technology. The proposed middleware takes into account the network status and the NCS status, to improve the global system performance and to share more effectively the network by several NCS and sensor/actuator data flows. Relationship between network status and NCS status is solved with a TCP-friendly transport flow control protocol and the deadband concept, relating deadband value and transmission throughput. This creates a deadband-based flow control solution. Simulation and experiments in shared networks show that the implemented network adaptive deadband has better performance than an optimal constant deadband solution in the same circumstances.