Robustness analysis for the certification of digital controller implementations (original) (raw)

Abstract

sparkles

AI

This work addresses the challenges in implementing control algorithms in Networked Control Systems (NCS), emphasizing the robust analysis necessary for the certification of digital controller implementations. It discusses the importance of modeling the implementation platform accurately and critiques traditional approaches that neglect the jitter and quantization effects that occur in practical scenarios. The study proposes methodologies for improving the robustness of digital controllers, outlines key algorithms for managing sampling and control update rates, and introduces a mathematical framework to evaluate the performance of such systems under realistic conditions.

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

References (40)

  1. REFERENCES
  2. R. Alena, J. Ossenfort, K. Laws, A. Goforth, and F. Figueroa. Communications for integrated modular avionics. In Proceedings of the IEEE Aerospace Conference, pages 1-18, 2007.
  3. K.-E. Arzen, A. Cervin, and D. Henriksson. Implementation-aware embedded control systems. In D. Hristu-Varsakelis and W. Levine, editors, Handbook of Networked and Embedded Control Systems, 2005.
  4. K. Astrom and B. Wittenmark. Computer-Controlled Systems: Theory and Design. Prentice Hall, 3rd edition, 1997.
  5. A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J.-P. Talpin, and S. Tripakis. A protocol for loosely time-triggered architectures. In Proceedings of the Second International Conference on Embedded Software, volume 2491 of Lecture Notes In Computer Science. Springer, 2002.
  6. T. Chen and B. Francis. Optimal Sampled-Data Control Systems. Springer, 1995.
  7. R. Davis, A. Burns, R. Bril, and J. Lukkien. Controller area network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35(3):1573-1383, April 2007.
  8. G. Dullerud and S. Lall. Asynchronous hybrid systems with jumps -analysis and synthesis methods. Systems and Control Letters, 37:61-69, 1999.
  9. G. Dullerud and F. Paganini. A Course in Robust Control Theory: A Convex Approach. Springer, 2000.
  10. E. Fridman. A refined input delay approach to sampled-data control. Automatica, 2009. In Press.
  11. E. Fridman, A. Seuret, and J.-P. Richard. Robust sampled-data stabilization of linear systems: An input delay approach. Automatica, 40:1441-1446, 2004.
  12. E. Fridman, U. Shaked, and V. Suplin. Input/output delay approach to robust sampled-data H∞ control. Systems and Control Letters, 271-282(54), 2005.
  13. H. Fujioka. A discrete-time approach to stability analysis of systems with aperiodic sample-and-hold devices. Transactions on Automatic Control, 54(10):2440-2445, October 2009.
  14. H. Fujioka. Stability analysis of systems with aperiodic sample-and-hold devices. Automatica, 45:771-775, 2009.
  15. V. Gupta, B. Hassibi, and R. Murray. Optimal LQG control across packet-dropping links. System and Control Letters, 56(6):439-449, June 2007.
  16. H. Hanselmann. Implementation of digital controllers - a survey. Automatica, 23(1):7-32, 1987.
  17. T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, 2003.
  18. M. Jun and M. Safonov. IQC robustness analysis for time-delay systems. International Journal of Robust and Nonlinear Control, 11:1455-1468, 2001.
  19. C.-Y. Kao and B. Lincoln. Simple stability criteria for systems with time-varying delays. Automatica, 40:1429-1434, 2004.
  20. C.-Y. Kao, A. Megretski, U. Jönsson, and A. Rantzer. A MATLAB toolbox for robustness analysis. In Proceedings of the IEEE conference on computer aided control systems design, Taipei, Taiwan, 2004.
  21. C.-Y. Kao and A. Rantzer. Stability analysis of systems with uncertain time-varying delays. Automatica, 43:959-970, 2007.
  22. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
  23. J. Liu, J. Eker, J. Janneck, and E. Lee. Realistic simulations of embedded control systems. In Proceedings of the 15th IFAC World Congress, 2002.
  24. A. Megretski and A. Rantzer. System analysis via integral quadratic constraints. IEEE Transactions on Automatic Control, 42(6):819-830, June 1997.
  25. L. Mirkin. Some remarks on the use of time-varying delay to model sample-and-hold circuits. IEEE Transactions on Automatic Control, 52(1109-1112), 2007.
  26. P. Naghshtabrizi, J. Hespanha, and A.R.Teel. Exponential stability of impulsive systems with application to uncertain sampled-data systems. Systems and Control Letters, 57(5):378-385, May 2008.
  27. P. Naghshtabrizi, J. Hespanha, and A. Teel. Stability of delay impulsive systems with application to networked control systems. Transactions of the Institute of Measurement and Control, Special Issue on Hybrid and Switched Systems, 2009. To appear, available at http://www.ece.ucsb.edu/ hespanha/published.
  28. D. Nesic and D. Liberzon. A unified framework for design and analysis of networked and quantized control systems. IEEE Transactions on Automatic Control, 54(4):732-747, 2009.
  29. D. Nesic and A. Teel. Input-output stability properties of networked control systems. IEEE Transactions on Automatic Control, 49(10):1650-1667, October 2004.
  30. J. Nilsson. Real-Time Control Systems with Delays. PhD thesis, Dept. Automatic Control, Lund Institute of Technology, Lund, Sweden, January 1998.
  31. B. Stevens and F. Lewis. Aircraft Control and Simulation. Wiley, 2nd edition, 2003.
  32. Y. Suh. Stability and stabilization of nonuniform sampling systems. Automatica, 44:3222-3226, 2008.
  33. V. Suplin, E. Fridman, and U. Shaked. Sampled-data H∞ control and filtering: Nonuniform uncertain sampling. Automatica, 43:1072-1083, 2007.
  34. M. Tabbara, D. Nesic, and A. Teel. Networked control systems: Emulation-based design. In F.-Y. Wang and D. Liu, editors, Networked Control Systems: Theory and Applications, pages 57-94. Springer, 2008.
  35. K. Tan, K. Grigoriadis, and F. Wu. Output-feedback control of LPV sampled-data systems. International Journal of Control, 75(4):252-264, 2002.
  36. A. van der Schaft. L2-Gain and Passivity Techniques in Nonlinear Control. Springer, 2nd edition, 2000.
  37. G. Walsh, H. Ye, and L. Bushnell. Stability analysis of networked control systems. IEEE Transactions on Control Systems Technology, 10(3):438-446, 2002.
  38. C. Watkins and Walter. Transitioning from federated avionics architectures to integrated modular avionics. In Proceedings of the 26th Digital Avionics Systems Conference, 2007.
  39. G. Weiss and R. Alur. Automata based interfaces for control and scheduling. In Proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, 2007.
  40. W. Zhang, M. Branicky, and S. Phillips. Stability of networked control systems. IEEE Control Systems Magazine, 21(1):84-99, 2001.