Bringing guarantees of control law performance from specifications to code

Eric Feron, Fernando Alegre, Timothy Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution


As 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. Copyright © 2009 by Eric Feron.
Original languageEnglish (US)
Title of host publicationAIAA Infotech at Aerospace Conference and Exhibit and AIAA Unmanned...Unlimited Conference
PublisherAmerican Institute of Aeronautics and Astronautics
ISBN (Print)9781563479717
StatePublished - Jan 1 2009
Externally publishedYes

Bibliographical note

Generated from Scopus record by KAUST IRTS on 2021-02-18


Dive into the research topics of 'Bringing guarantees of control law performance from specifications to code'. Together they form a unique fingerprint.

Cite this