Mostrar el registro sencillo del ítem
Artículo
A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation
dc.creator | Araúz Pisón, María Teresa | es |
dc.creator | Maestre Torreblanca, José María | es |
dc.creator | Romagnoli, R. | es |
dc.creator | Sinopoli, B. | es |
dc.creator | Camacho, Eduardo F. | es |
dc.date.accessioned | 2023-03-09T14:17:05Z | |
dc.date.available | 2023-03-09T14:17:05Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Araúz Pisón, M.T., Maestre Torreblanca, J.M., Romagnoli, R., Sinopoli, B. y Camacho, E.F. (2021). A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation. IEEE Control Systems Letters, 6, 1214-1219. https://doi.org/10.1109/LCSYS.2021.3090448. | |
dc.identifier.issn | 2475-1456 | es |
dc.identifier.uri | https://hdl.handle.net/11441/143253 | |
dc.description.abstract | Software rejuvenation was born to fix operating system faults by periodically refreshing the run-time code and data. This mechanism has been extended to protect control systems from cyber-attacks. This letter proposes a software rejuvenation design method in discrete-time where invariant sets for the safety and mission controllers are designed to schedule the timing of software refreshes. To compute a minimal robust positively invariant (min-RPI) set and the bounded time between software refreshes to ensure system safety, an LP based approach is proposed for stable and unstable systems. Finally, the designed approach is illustrated by the case study of a simulated lab-scale microgrid. | es |
dc.format | application/pdf | es |
dc.format.extent | 6 p. | es |
dc.language.iso | eng | es |
dc.publisher | IEEE (Institute of Electrical and Electronics Engineers) | es |
dc.relation.ispartof | IEEE Control Systems Letters, 6, 1214-1219. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Cybersecurity | es |
dc.subject | Software rejuvenation | es |
dc.subject | Linear systems | es |
dc.subject | Invariant sets | es |
dc.subject | Linear quadratic regulator | es |
dc.title | A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/acceptedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/9459778/keywords#keywords | es |
dc.identifier.doi | 10.1109/LCSYS.2021.3090448 | es |
dc.journaltitle | IEEE Control Systems Letters | es |
dc.publication.volumen | 6 | es |
dc.publication.initialPage | 1214 | es |
dc.publication.endPage | 1219 | es |