Control software analysis, Part I Open-loop properties

Simple item page
dc.creatorFeron, Eric
dc.creatorAlegre, Fernando
dc.date2008-09-28
dc.date.accessioned2026-07-07T10:06:02Z
dc.date.available2026-07-07T10:06:02Z
dc.descriptionAs the digital world enters further into everyday life, questions are raised about the increasing challenges brought by the interaction of real-time software with physical devices. Many accidents and incidents encountered in areas as diverse as medical systems, transportation systems or weapon systems are ultimately attributed to "software failures". Since real-time software that interacts with physical systems might as well be called control software, the long litany of accidents due to real-time software failures might be taken as an equally long list of opportunities for control systems engineering. In this paper, we are interested only in run-time errors in those pieces of software that are a direct implementation of control system specifications: For well-defined and well-understood control architectures such as those present in standard textbooks on digital control systems, the current state of theoretical computer science is well-equipped enough to address and analyze control algorithms. It appears that a central element to these analyses is Lyapunov stability theory, which translate into invariant theory in computer implementations.
dc.description20 pages, 3 figures
dc.identifierhttps://arxiv.org/abs/0809.4812
dc.identifierhttp://arxiv.org/abs/0809.4812
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/170194
dc.subjectSoftware Engineering
dc.titleControl software analysis, Part I Open-loop properties
dc.typetext

Files

Collections

arXiv