skip to main content
10.1145/1879021.1879026acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
research-article

Online stability validation using sector analysis

Published: 24 October 2010 Publication History

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.

References

[1]
A. Anta and P. Tabuada. To sample or not to sample: Self-triggered control for nonlinear systems. IEEE Trans. on Aut. Control, PP(99):1--1, 2010.
[2]
H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-based runtime verification. In Verification, Model Checking, and Abstract Interpretation, volume LNCS 2937, pages 277--306. Springer Berlin / Heidelberg, 2004.
[3]
N. Chopra, P. Berestesky, and M. Spong. Bilateral teleoperation over unreliable communication networks. IEEE Trans. on Control Systems Tech., 16(2):304--313, Mar 2008.
[4]
A. Fettweis. Wave digital filters: theory and practice. Proc. of the IEEE, 74(2):270--327, 1986.
[5]
G. Hemingway, J. Porter, N. Kottenstette, H. Nine, C. vanBuskirk, G. Karsai, and J. Sztipanovits. Automated Synthesis of Time-Triggered Architecture-based TrueTime Models for Platform Effects Simulation and Analysis. In RSP '10: 21st IEEE Intl. Symp. on Rapid Systems Prototyping, Jun 2010.
[6]
G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proc. of the IEEE, 91(1):145--164, January 2003.
[7]
H. Kopetz and G. Bauer. The Time-Triggered Architecture. Proc. of the IEEE, 91(1):112--126, Jan 2003.
[8]
N. Kottenstette and P. J. Antsaklis. Stable digital control networks for continuous passive plants subject to delays and data dropouts. In CDC '07: Proc. of the 46th IEEE Conf. on Decision and Control, pages 4433--4440, 2007.
[9]
N. Kottenstette and J. Porter. Digital passive attitude and altitude control schemes for quadrotor aircraft. In ICCA '09: 7th IEEE Intl. Conf. on Control and Automation, Christchurch, New Zealand, 2009.
[10]
M. D. la Sen. Some conceptual links between dynamic physical systems and operator theory issues concerning energy balances and stability. Informatica, 16(3):395--406, 2005.
[11]
M. Ohlin, D. Henriksson, and A. Cervin. TrueTime 1.5 Ref. Manual. Dept. of Automatic Control, Lund Univ., Sweden, Jan 2007. http://www.control.lth.se/truetime/.
[12]
J. Porter, G. Karsai, and J. Sztipanovits. Towards a time-triggered schedule calculation tool to support model-based embedded software design. In EMSOFT '09: Proc. of ACM Intl. Conf. on Embedded Software, Grenoble, France, Oct 2009.
[13]
J. Porter, G. Karsai, P. Volgyesi, H. Nine, P. Humke, G. Hemingway, R. Thibodeaux, and J. Sztipanovits. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation. In ACES-MB '09: Workshops and Symp. at MoDELS 2008, LNCS 5421, Toulouse, France, 2009. Springer.
[14]
U. Sammapun, I. Lee, and O. Sokolsky. RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties. In 11th IEEE Intl. Conf. on Emb. and Real-Time Comp. Systems and App., pages 147--153, Aug 2005.
[15]
J. Skaf and S. Boyd. Filter design with low complexity coefficients. IEEE Trans. on Signal Proc., 56(7):3162--3169, Jul 2008.
[16]
J. Skaf and S. Boyd. Controller Coefficient Truncation Using Lyapunov Performance Certificate. Intl. Journal of Robust and Nonlinear Control, Mar 2010.
[17]
The MathWorks, Inc. Simulink/Stateflow Tools. http://www.mathworks.com.
[18]
R. Thibodeaux. The specification and implementation of a model of computation. Master's thesis, Vanderbilt Univ., May 2008.
[19]
W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. Automated Software Engineering Journal, 10(2), April 2003.
[20]
J. C. Willems. The Analysis of Feedback Systems. Research Monograph No. 62. MIT Press, Cambridge, MA, 1971.
[21]
G. Zames. On the input-output stability of time-varying nonlinear feedback systems part one: Conditions derived using concepts of loop gain, conicity, and positivity. IEEE Trans. on Aut. Control, 11(2):228--238, Apr 1966.
[22]
P. Zuliani, A. Platzer, and E. M. Clarke. Bayesian statistical model checking with application to stateflow/simulink verification. In HSCC 2010: 13th Intl. Conf. on Hybrid Systems: Computation and Control, pages 12--16, Stockholm, Sweden, Apr 2010.

Cited By

View all
  • (2021)Stability in Software Engineering: Survey of the State-of-the-Art and Research DirectionsIEEE Transactions on Software Engineering10.1109/TSE.2019.292561647:7(1468-1510)Online publication date: 1-Jul-2021

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EMSOFT '10: Proceedings of the tenth ACM international conference on Embedded software
October 2010
318 pages
ISBN:9781605589046
DOI:10.1145/1879021
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

  • CEDA
  • IEEE CAS
  • IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 October 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. passive control
  2. runtime validation

Qualifiers

  • Research-article

Conference

ESWeek '10
ESWeek '10: Sixth Embedded Systems Week
October 24 - 29, 2010
Arizona, Scottsdale, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2021)Stability in Software Engineering: Survey of the State-of-the-Art and Research DirectionsIEEE Transactions on Software Engineering10.1109/TSE.2019.292561647:7(1468-1510)Online publication date: 1-Jul-2021

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media