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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Bicchi, A., Marigo, A., Piccoli, B.: On the reachability of quantized control systems. IEEE Trans. on Automatic Control 47, 546–563 (2002)
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)
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)
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)
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)
Loan, C.V.: The sensitivity of the matrix exponential. SIAM Journal of Number Analysis 14, 971–981 (1977)
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)
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)
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)
Yaz, E., Xiaoru, N.: New robustness bounds for dyscrete systems with random perturbations. IEEE Transaction on Automatic Control 38, 1866–1870 (1993)
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)
Gajić, Z., Qureschi, M.: Lyapunov Matrix Equation in System Stability and Control, San Diago, CA. Academic (1995)
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)
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)
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)
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)
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)
Johansson, M., Rantzer, A., Arzen, K.E.: Piecewise quadratic stability of fuzzy systems. IEEE Transactions on Fuzzy Systems 7, 713–722 (1999)
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)
Schinkel, M., Chen, W., Rantzer, A.: Optimal control for systems with varying sampling rate. In: Proc. of the American Control Conference, Anchorage, AK (2002)
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)
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)
Blanchini, F.: The gain scheduling and the robust state feedback stabilization proplems. IEEE Transaction on Automatic Control AC–45, 2061–2070 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)