Name
Abstract | ||
|---|---|---|
Our previous work has explored the use of compositional stabilization techniques for embedded flight control software[9] based on passivity properties of controller components and systems. Zames[21] 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. The sector analysis can be implemented as a computationally efficient check of stability for different parts of a control design. The advantage of the online application of this technique is that it takes into account software platform effects that impact stability, such as time delays, quantization, and data integrity. We present a brief overview of the sector concept, our compatible control design approach, application of the technique to model-based embedded control software design, an example of its use to find design defects, and insights that may be drawn from our investigation so far. In the present work we only consider software (discrete-time) control of nonlinear continuous-time systems without switching. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1145/1879021.1879026 | EMSOFT |
Keywords | Field | DocType |
compatible control design approach,impact stability,sector analysis,design defect,control theory,online stability validation,compositional behavior-bounding technique,control design,account software platform effect,model-based embedded control software,embedded flight control software,embedded control implementations online,discrete time,nonlinear system,data integrity,software design | Passivity,Control theory,Nonlinear system,Computer science,Automatic control,Real-time computing,Implementation,Control engineering,Software,Data integrity,Quantization (signal processing) | Conference |
Citations | PageRank | References |
1 | 0.36 | 16 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Joseph Porter | 1 | 50 | 6.32 |
| Graham Hemingway | 2 | 42 | 3.92 |
| Nicholas Kottenstette | 3 | 198 | 10.87 |
| Gabor Karsai | 4 | 2465 | 192.32 |
| Janos Sztipanovits | 5 | 1478 | 165.28 |