Yuriy Zacchia Lun

Yuriy Zacchia Lun
Università degli Studi dell'Aquila | Università dell'Aquila · Department of Information Engineering, Computer Science and Mathematics

PhD

About

20
Publications
3,669
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
184
Citations
Introduction
My research focuses on the automatic control of wireless networked control systems, communication, computation, and control co-design, stochastic hybrid systems, formal methods, and cyber-physical security.
Additional affiliations
June 2018 - February 2022
IMT School for Advanced Studies Lucca
Position
  • Research collaborator
July 2017 - May 2018
Università degli Studi dell'Aquila
Position
  • Research collaborator
Description
  • Formal verification for security in cyber-physical systems
February 2017 - July 2017
University of Oxford
Position
  • PhD Student
Description
  • Investigation of correct-by-design fault detection, isolation & reconfiguration (FDIR) solutions for Markov jump systems, satisfying some probabilistic computation tree logic specifications on bisimilar abstractions preserving the properties of interest.
Education
November 2013 - October 2017
Gran Sasso Science Institute
Field of study
  • Computer Science
October 2008 - March 2012
Università degli Studi dell'Aquila
Field of study
  • Telecommunications Engineering

Network

Cited By

Projects

Project (1)
Project
Developing and validating a Markov channel model that abstracts the WirelessHART radio link subject to channel impairments and interferernce. Introducing link quality metrics in order to enable the accurate representation of the average and extreme behavior of the radio link. Deriving a stationary Markov jump linear system model that captures the dynamics of a control loop closed over the radio link.