Skip to main content

Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains

  • Conference paper
Hybrid Systems: Computation and Control (HSCC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3414))

Included in the following conference series:

Abstract

The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class of problems is relevant to many application domains. For instance, in engine control a heterogenous and, to some extent, uncertain event–driven time domain is due to the behavior of the 4-stroke internal combustion engine, with which the controller has to synchronize to operate the engine properly. Similar problems arise also in standard discrete–time control systems when considering the behavior of the system with controller implementation and communication effects. The design problem is formalized in a hybrid system framework; synthesis and verification methods, based on robust stability and robust performance results, are presented. The effectiveness of the proposed methods is demonstrated in an engine control application.

This research has been partially supported by the E.C. grant Control and Computation IST-2001-33520. The authors are members of the HyCon Network of Excellence, E.C. grant IST-511368.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lee, E., Sangiovanni-Vincentelli, A.: A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17, 1217–1229 (1998)

    Article  Google Scholar 

  2. Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Heterogeneous reactive systems modelling: Capturing casuality and the correctness of loosely time–triggered architectures (ltta). In: Procedeeings of Forth ACM International Conference on Embedded Systems, Pisa, Italy, pp. 220–229 (2004)

    Google Scholar 

  3. Picasso, B., Bicchi, A.: Stabilization of LTI Systems with Quantized State-Quantized Input Static Feedback. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 405–416. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Bicchi, A., Marigo, A., Piccoli, B.: On the reachability of quantized control systems. IEEE Trans. on Automatic Control 47, 546–563 (2002)

    Article  MathSciNet  Google Scholar 

  5. Palopoli, L., Bicchi, A., Sangiovanni-Vincentelli, A.L.: Numerically efficient control of systems with communication constraints. In: Proceedings of the 41st IEEE Conference on Decision and Control 2002, vol. 2, pp. 1626–1631 (2002)

    Google Scholar 

  6. Balluchi, A., Benvenuti, L., Di-Benedetto, M.D., Pinello, C., Sangiovanni-Vincentelli, A.L.: Automotive engine and power-train control: a comprehensive hybrid model. In: Proc. 8th Mediterranean Conference on Control and Automation, MED2000, Patras, Greece (2000)

    Google Scholar 

  7. Balluchi, A., Benvenuti, L., Di-Benedetto, M.D., Villa, T., Wong-Toi, H., Sangiovanni-Vincentelli, A.L.: Hybrid controller synthesis for idle speed management of an automotive engine. In: Proc. 2000 IEEE American Control Conference, ACC, Chicago, USA, vol. 2, pp. 1181–1185 (2000)

    Google Scholar 

  8. Balluchi, A., Benvenuti, L., Di-Benedetto, M.D., Pinello, C., Sangiovanni-Vincentelli, A.L.: Automotive engine control and hybrid systems: Challenges and opportunities. Proceedings of the IEEE, 88. Special Issue on Hybrid Systems 7, 888–912 (2000)

    Google Scholar 

  9. Loan, C.V.: The sensitivity of the matrix exponential. SIAM Journal of Number Analysis 14, 971–981 (1977)

    Article  MATH  Google Scholar 

  10. Bauer, P., Premaratne, K., Duran, J.: A necessary and sufficient condition for robust asymptotic stability of time-variant discrete systems. IEEE Transactions on Automatic Control 38, 1427–1430 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  11. Farison, J., Kolla, S.: Relationship of sigular value stability robustness bounds to spectral radius for discrete systems with application to digital filters. Proc. IEEE. 138 (1991)

    Google Scholar 

  12. Kolla, S., Yedavalli, R., Farison, J.: Robust stability bounds on time-varying perturbations for state space model of linear discrete time systems. International Journal of Control 50, 151–159 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  13. Yaz, E., Xiaoru, N.: New robustness bounds for dyscrete systems with random perturbations. IEEE Transaction on Automatic Control 38, 1866–1870 (1993)

    Article  MATH  Google Scholar 

  14. Xiaoru, N., Abreu-Garcia, J.D., Yaz, E.: Improved bounds for linear discrete-time systems with structured perturbations. IEEE Transaction on Automatic Control 37, 1170–1173 (1992)

    Article  Google Scholar 

  15. Gajić, Z., Qureschi, M.: Lyapunov Matrix Equation in System Stability and Control, San Diago, CA. Academic (1995)

    Google Scholar 

  16. Molchanov, A.P., Liu, D.: Robust absolute stability of time-varying nonlinear discrete-time systems. IEEE Transactions on Circuits and Systems 49, 1129–1137 (2002)

    Article  MathSciNet  Google Scholar 

  17. Premaratne, K., Mansour, M.: Robust stability of time-variant discrete-time system with bounded parameter perturbations. IEEE Transactions on Circuits and Systems 42, 40–45 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  18. Mandic, D.P., Chambers, J.: On robust stability of time-varying discrete-time nonlinear systems with bounded parameter perturbations. IEEE Transactions on Circuits and Systems 47, 185–188 (2000)

    MATH  Google Scholar 

  19. De-Souza, C.E., Fu, M., Xie, L.: h  ∞  analysis and synthesis of discrete-time systems with time-varying uncertainty. IEEE Transactions on Automatic Control 38, 459–462 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  20. Karan, M., Sezer, M.E., Ocali, O.: Robust stability of discrete-time systems under parametric perturbations. IEEE Transactions on Automatic Control 39, 991–995 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  21. Johansson, M., Rantzer, A., Arzen, K.E.: Piecewise quadratic stability of fuzzy systems. IEEE Transactions on Fuzzy Systems 7, 713–722 (1999)

    Article  Google Scholar 

  22. De-Oliveira, P.J., Oliveira, R.C.L.F., Peres, P.L.D.: A new lmi condition for robust stability of polynomial matrix polytopes. IEEE Transactions on Automatic Control 47, 1775–1779 (2002)

    Article  MathSciNet  Google Scholar 

  23. Schinkel, M., Chen, W., Rantzer, A.: Optimal control for systems with varying sampling rate. In: Proc. of the American Control Conference, Anchorage, AK (2002)

    Google Scholar 

  24. Yuan, L., Achenie, L.E.K., Jiang, W.: Robust H  ∞  Control for Linear Discrete-Time Systems with Norm-Bounded Time-Varying Uncertainty. In: Systems and Control Letters, vol. 27, pp. 199–208 (1996)

    Google Scholar 

  25. Hu, L.S., Lam, J., Cao, Y.Y., Shao, H.H.: A linear matrix inequality (lmi) approach to robust h 2 sampled-data control for linear uncertain systems. IEEE Transactions on Systems, Man., and Cybernetics 33, 149–155 (2003)

    Google Scholar 

  26. Blanchini, F.: The gain scheduling and the robust state feedback stabilization proplems. IEEE Transaction on Automatic Control AC–45, 2061–2070 (2000)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Balluchi, A., Murrieri, P., Sangiovanni-Vincentelli, A.L. (2005). Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains. In: Morari, M., Thiele, L. (eds) Hybrid Systems: Computation and Control. HSCC 2005. Lecture Notes in Computer Science, vol 3414. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31954-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31954-2_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25108-8

  • Online ISBN: 978-3-540-31954-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics