|Online Stability Validation Using Sector Analysis|
Our previous work has explored the use of compositional stabilization techniques for embedded flight control software based on passivity properties of controller components and systems. Zames presented a compositional behavior-bounding technique for evaluating stability of nonlinear systems based on real intervals representing cones (sectors) that bound possible component behaviors. Many innovations in control theory have developed from his insights. We present a novel use of his sector bound theory to validate the stability of embedded control implementations online.
|Year of Publication||
International Conf. on Embedded Software (EMSoft)
|Google Scholar | BibTeX | XML|