Control software analysis, part II: Closed-loop analysis

Simple item page
dc.creatorFeron, Eric
dc.creatorAlegre, Fernando
dc.date2008-12-10
dc.date.accessioned2026-07-07T12:11:43Z
dc.date.available2026-07-07T12:11:43Z
dc.descriptionThe analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Issues of physical system representations arise, and it is desired that such representations remain independent from the representations of the control program. For that purpose, a concurrent program representation of the plant and the control processes is proposed, although the closed-loop system is sufficiently serialized to enable a sequential analysis. While dealing with closed-loop system properties, it is also shown by means of examples how special treatment of nonlinearities extends from the analysis of control specifications to code analysis.
dc.description16 pages, 2 figures
dc.identifierhttps://arxiv.org/abs/0812.1986
dc.identifierhttp://arxiv.org/abs/0812.1986
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/210309
dc.subjectSoftware Engineering
dc.subjectProgramming Languages
dc.titleControl software analysis, part II: Closed-loop analysis
dc.typetext

Files

Collections

arXiv