All Outputs (2)

Pulsed thermography digital motion stabilization for the unmanned vehicle inspection of solar farms and GFRP wind blades through UAVs and UGVs (2021)
Conference Proceeding
Urtasun, B., López De Uralde, P., Velar, K., Gorostegui, E., Neelov, J., Wright, S., …Basiri, M. (2021). Pulsed thermography digital motion stabilization for the unmanned vehicle inspection of solar farms and GFRP wind blades through UAVs and UGVs. In J. N. Zalameda, & A. Mendioroz (Eds.), . https://doi.org/10.1117/12.2585902

The quality control of structures and fuselages in both the wind-turbine and solar sectors is a fundamental part that allows a lifetime assessment of their elements, from its initial assembly to the recurring inspection cycles. Automating the active... Read More about Pulsed thermography digital motion stabilization for the unmanned vehicle inspection of solar farms and GFRP wind blades through UAVs and UGVs.

Systematic assessment of formal methods based models quality criteria (2021)
Conference Proceeding
Maldini, L., & Wright, S. (2021). Systematic assessment of formal methods based models quality criteria. In Advances in Model and Data Engineering in the Digitalization Era MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings (31-45). https://doi.org/10.1007/978-3-030-87657-9_3

When presented with two fully proved formal methods-based specifications, how can a System Engineer decide which is superior when both models specify the same requirements, but in two different ways? This paper investigates and propose a methodology... Read More about Systematic assessment of formal methods based models quality criteria.