Hybrid control of networked embedded systems

European Journal of Control

Volumn 11, Issue 4-5, 2005, Pages 478-508

  Balluchi, A ^a   Benvenuti, L ^a   Engell, S ^a   Geyer, T ^a   Johansson, K H ^a   Lamnabhi Lagarrigue, F ^a   Lygeros, J ^a   Morari, M ^a   Papafotiou, G ^a   Sangiovanni Vincentelli, A L ^a   Santucci, F ^a   Stursberg, O ^a  

^a CNRS   (France)

Author keywords

Hybrid Systems; Optimal Control; Stabilization

Indexed keywords

AUTOMOTIVE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; CONTROL THEORY; OPTIMAL CONTROL SYSTEMS; PROCESS CONTROL; STABILIZATION; TELECOMMUNICATION NETWORKS;

AUTOMOTIVE ELECTRONICS; HYBRID SYSTEMS; OPTIMAL CONTROL;

EMBEDDED SYSTEMS;

EID: 33645409227     PISSN: 09473580     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0947-3580(05)71047-5     Document Type: Conference Paper

References (88)

1. ABB Asea Brown Boveri Ltd. Product webpage of ACS 6000. Online document: www.abb.com/motors&drives
2. Alpcan T, Basar T. A hybrid systems model for power control in multicell wireless data networks. Perform Evaluation 2004; 57: 477-495
3. Antoniotti M, Balluchi A, Benvenuti L, Ferrari A, Pinello C, Sangiovanni-Vincentelli AL, Flora R, Nesci W, Rossi C, Serra G, Tabaro M. A top-down constraints-driven design methodology for powertrain control system. In: Proceedings of the global powertrain congress (GPC98) volume emissions, testing and controls, Detroit, MI. October, 1998, pp 74-84
4. Asarin E, Bournez O, Dang T, Maler O, Pnueli A. Effective synthesis of switching controllers for linear systems. Proc IEEE 2000; 88(7): 1011-1025
5. Asarin E, Maler O, Pnueli A. Symbolic controller synthesis for discrete and timed systems. In: Antsaklis P, Kohn W, Nerode A, Sastry S (eds), Proceedings of Hybrid Systems II, LNCS 999. Springer-Verlag, Berlin, 1995, pp 1-20
6. Babich F, Santucci F, Graziosi F. Modeling of power-controlled interference-limited wireless channels. In: Proceedings of the WPMC. IEEE, 2002
7. Balluchi A, Benvenuti L, Di Benedetto MD, Pinello C, Sangiovanni- Vincentelli AL. Automotive engine control and hybrid systems: challenges and opportunities. Proc IEEE 2000; 88(7): 888-912
8. Balluchi A, Benvenuti L, Lemma C, Murrieri P, Sangiovanni-Vincentelli AL. Hybrid models of an automotive driveline. Technical report, PARADES, Rome, I, December, 2004
9. Balluchi A, Benvenuti L, Lemma C, Sangiovanni-Vincentelli AL, Serra G. Actual engaged gear identification: a hybrid observer approach. In to be presented at 16th IFAC world congress, Prague, Czech Republic. July, 2005
10. Balluchi A, Di Benedetto MD, Ferrari A, Gaviani G, Girasole G, Grossi C, Nesci W, Pennese M, Sangiovanni-Vincentelli AL. Design of a motorcycle engine control unit using an integrated control-implementation approach. In: Proceedings of the 1st IFAC workshop on advances in automatic control, Salerno, Italy. April, 2004, pp 218-225
11. Balluchi A, Di Benedetto MD, Pinello C, Rossi C, Sangiovanni-Vincentelli AL. Hybrid control in automotive applications: the cut-off control. Automatica 1999; 35: 519-535
12. Baotic M, Vasak M, Morari M, Peric N. Hybrid theory based optimal control of electronic throttle. In: Proceedings of the IEEE American control conference (ACC 2003), Denver, CO, June, 2003, pp 5209-5214
13. Bauer N, Engell S, Huuck R, Lohmann S, Lukoschus B, Remelhe MP, Stursberg O. Verification of PLC programs given as sequential function charts. In: Proceedings of the integration of software specification techniques for applications in engineering, LNCS 3147. Springer-Verlag, 2004, Berlin, pp 517-540
14. Bemporad A, Bianchini G, Brogi F, Barbagli F. Passivity analysis and passification of discrete-time hybrid systems. In: Proceedings of the IFAC world congress, Prague, Czech Republic, 2005, Submitted
15. Bemporad A, Garulli A, Paoletti S, Vicino A. A bounded-error approach to piecewise affine system identification. IEEE Trans Autom Control, 2004. Accepted for publication as a regular paper
16. Bemporad A, Morari M. Control of systems integrating logic, dynamics and constraints. Automatica 1999; 35(3): 407-427
17. Bemporad A, Morari M, Ricker NL. Model predictive control toolbox for Matlab - user's guide. The Mathworks, Inc., 2004, http://www.mathworks.com/ access/ helpdesk/help/toolbox/mpc/
18. Bengtsson J, Larsen KG, Larsson F, Petterson P, Yi W. UPAAL: a tool suit for automatic verification of realtime systems. In: Proceedings of the conference on hybrid systems III, LNCS 1066, Springer-Verlag, Berlin, 1996, pp 232-243
19. Bensoussan A, Menaldi JL. Hybrid control and dynamic programming. Dynam Continuous Discrete Impulsive Sys 1997; 3: 395-442
20. Berhmann G, Fehnker A, Hune T, Larsen KG, Pettersson P. Romijn J, Vaandrager F. Minimum cost reachability for priced timed automata. In: Di Benedetto M, Sangiovanni-Vincentelli A (eds). Proceedings of the conference on hybrid systems: computation and control, LNCS 2034. Springer-Verlag, Berlin, 2001, pp 147-161
21. Borrelli F. Constrained optimal control of linear and hybrid systems, volume 290 of Lecture Notes in Control and Information Sciences. Springer-Verlag, Berlin, 2003
22. Botchkarev O, Tripakis S. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In: Lynch N, Krogh BH (eds), Proceedings of the conference on hybrid Systems: computation and control, LNCS 1790. Springer-Verlag, Berlin, 2000, pp 73-88
23. Branicky MS, Borkar VS, Mitter SK. A unified framework for hybrid control: model and optimal control theory. IEEE Trans Autom Control 1998; 43(1): 31-45
24. Broucke M, Di Benedetto MD, Di Gennaro S, Sangiovanni-Vincentelli A. Theory of optimal control using bisimulations. In: Proceedings of the conference on hybrid systems: computation and control, LNCS 1790. Springer-Verlag, 2000, Berlin, pp 89-102
25. Chutinam A, Krogh B. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager FW, van Schuppen JH (eds), Proceedings of the hybrid systems: computation and control, LNCS 1569. Springer-Verlag, Berlin, 1999, pp 76-90
26. Clarke E, Fehnker A, Han Z, Krogh BH, Ouaknine J, Stursberg O, Theobald M. Abstraction and counter-example-guided refinement in model checking of hybrid systems. Int J Foundations Comput Sci 2003; 14(4): 583-604
27. Clarke EM, Grumberg O, Peled DA. Model checking. MIT Press, 1999
28. Daws C, Olivero A, Trypakis S, Yovine S. The tool KRONOS. In: Alur R, Henzinger T, Sontag E (eds), Proceedings of the conference on Hybrid Systems III, LNCS 1066, Springer-Verlag, Berlin, 1996, pp 208-219
29. Day JD, Zimmermann H. The OSI reference model. Proc IEEE 1983; 71: 1334-1340
30. De Carlo R, Branicky M, Pettersson S, Lennarston B. Perspectives and results on the stability and stabilizability of hybrid systems. Proc IEEE 2000; 88(7): 1069-1082
31. Engell S, Lohmann S, Stursberg O. Verification of embedded supervisory controllers considering hybrid dynamics. Int J Softw Eng Knowl Eng 2005; 15(2): 307-312
32. Estrin D (ed.) Embedded, everywhere: a research agenda for networked systems of embedded computers. US National Research Council, 2001
33. Fischione C, Graziosi F, Santucci F, Möller N. Johansson KH, Hjalmarsson H. Analysis of TCP over WCDMA wireless systems under power control, MAI and link level error recovery. In: Proceedings of the conference on IWCT, 2005
34. Gao Y, Lygeros J, Quincampoix M, Seube N. On the control of uncertain impulsive systems: approximate stabilization and controlled invariance. Int J Control 2004; 77(16): 1393-1407
35. Geyer T. Low complexity model predictive control in power electronics and power systems. PhD thesis, ETH, Zurich, 2005
36. Geyer T, Papafotiou G. Direct torque control for induction motor drives: a model predictive control approach based on feasibility. In: Morari M, Thiele L (eds), Proceedings of the conference on hybrid systems: computation and control, LNCS 3414. Springer-Verlag, Berlin, 2005, pp 274-290
37. Geyer T, Papafotiou G, Morari M. Verfahren zum Betrieb einer rotierenden elektrischen Maschine. European patent application pending, 2004
38. Gokbayrak K. Cassandras CG. Hybrid controllers for hierarchically decomposed systems. In: Proceedings of the conference on hybrid systems: computation and control, LNCS 1790. Springer-Verlag, Berlin, 2000, pp 117-129
39. Graham S, Baliga G, Kumar PR. Issues in the converging of control with communication and computing: proliferation, architecture, design, services, and middleware. In: Proceedings of the 43rd IEEE conference on decision and control, 2004
40. Grammel G, Maximum principle for a hybrid system via singular pertrubations. SIAM J Control Optim 1999; 37(4): 1162-1175
41. Gunnarsson F, Gustafsson F. Power control in wireless communications networks - from a control theory perspective. In: Proceedings of the IFAC World Congress, 2002
42. Heemels WPMH, De Schutter B, Bemporad A. Equivalence of hybrid dynamical models. Automatica 2001; 37(7): 1085-1091
43. Henzinger TA, Ho PH, Wong Toi H. A user guide to HYTECH. In: Brinksma E, Cleaveland W, Larsen K, Margaria T, Steffen B (eds), Proceedings of the conference on tools and algorithms for the construction and analysis of systems (TACAS 95), LNCS 1019. Springer-Verlag, Berlin, 1995, pp 41-71
44. Henzinger TA. The theory of hybrid automata. In: Proceedings of the 11th IEEE symposium on logic in computer science. 1996, pp 278-292
45. Hespanha J, Bohacek S, Obraczka K, Lee J. Hybrid modeling of TCP congestion control. In: di Benedetto M, Sangiovanni-Vincentelli AL (eds), Proceedings of the conference on hybrid systems: computation and control, LNCS 2034. Springer-Verlag, NY, 2001
46. Hespanha J, Morse AS. Switching between stabilizing controllers. Automatica 2002; 38(11): 1905-1917
47. International Electrotechnical Commission. Programmable controllers - programming languages. IEC 61131-3, Technical Communication No. 65, 2003
48. Kawadia V, Kumar PR. A cautionary perspective on cross-layer design. IEEE Wireless Commun 2005; 12(1): 3-11
49. Kowalewski S, Stursberg O, Bauer N. An experimental batch plant as a case example for the verification of hybrid systems. Eur J Control 2001; 7: 366-381
50. Krause PC. Analysis of electric machinery. McGraw-Hill, NY, 1986
51. Liberzon D, Morse AS. Basic problems in stability and design of switched systems. IEEE Control Syst Mag 1999; 19: 59-70
52. Liu X, Goldsmith A. Wireless network design for distributed control. In: Proceedings of the 43rd IEEE conference on decision and control, 2004
53. Ludwig R, Katz RH. The eifel algorithm: making TCP robust against spurious retransmissions. ACM Comp Commun Rev 2000; 30(1)
54. Lygeros J, Johansson KH, Simić SN, Zhang J, Sastry SS. Dynamical properties of hybrid automata. IEEE Trans Autom Control 2003; 48(1): 2-17
55. Maciejowski JM. Predictive control. Prentice Hall, 2002
56. Martin G. The future of high-level modelling and system level design: some possible methodology scenarios. In Proceedings of the 9th IEEE/DATC electronic design processes workshop (EDP2002), Monterey, CA. April, 2002
57. Mascolo S, Casetti C, Gerla M, Sanadidi MY, Wang R. TCP Westwood: bandwidth estimation for enhanced transport over wireless links. In: Proceedings of the conference on MobiCom, Rome, Italy, 2001
58. Mitchell I, Bayen AM, Tomlin CJ. Validating a Hamilton-Jacobi approximation to hybrid system reachable sets. In: Di Benedetto M, Sangiovanni-Vincentelli A (eds). Proceedings of the conference on hybrid systems: computation and control, LNCS 2034. Springer-Verlag, Berlin, 2001, pp 418-432
59. Mitter S. Control with limited information: the role of systems theory and information theory. IEEE Inform Theory Soc Newslett 2000; 50
60. Mobus R, Baotic M, Morari M. Multi-Object adaptive cruise control. In: Maler O, Pnueli A (eds), Proceedings of the conference on hybrid systems: computation and control (HSCC 2003), LNCS 2623. Springer-Verlag, Berlin, 2003, pp 359-374
61. Mohan N, Undeland TM, Robbins WP. Power electronics: converters, applications and design. Wiley, 1989
62. Cabrera Molero I, Möller N, Petersson J, Skog R, Arvidsson Å, Flärdh O, Johansson KH. Cross-layer adaptation for TCP-based applications in WCDMA systems. In: Proceedings of the IST mobile and wireless communications summit, Dresden, Germany, 2005
63. Möller N, Johansson KH. Influence of power control and link-level retransmissions on wireless TCP. In: Proceedings of the conference on quality of future internet services, LNCS 2811. Springer-Verlag, Berlin, 2003
64. Möller N, Johansson KH, Hjalmarsson H. Making retransmission delays in wireless links friendlier to TCP. In: Proceedings of the 43rd IEEE conference on decision and control, 2004
65. Murray RM (ed.), Control in an information rich World: report of the panel on future directions in control, dynamics, and systems. SIAM, 2003
66. Network of Excellence HYCON. Taming heterogeneity and complexity of networked embedded systems. European Commission, FP6-IST-511368. Available at: www.ist-hycon.org
67. Oldenburg J, Marquardt W, Heinz D, Leineweber D. Mixed logic dynamic optimization applied to batch distillation process design. AICHE J 2003; 49: 2900-2917
68. Papafotiou G, Geyer T, Morari M. Hybrid modelling and optimal control of switch-mode dc-dc converters. In: Proceedings of the IEEE workshop on computers in power electronics (COMPEL), Champaing, IL, 2004
69. Papafotiou G, Geyer T, Morari M. Optimal direct torque control of three-phase symmetric induction motors. In: Proceedings of the 43rd IEEE conference on decision and control, Atlantis, Bahamas, December, 2004
70. Saint-Pierre P. Approximation of viability kernels and capture basins for hybrid systems. In: Proceedings of the European control conference, Porto. September 4-7, 2001, pp 2776-2783
71. Santucci F, Durastante G, Graziosi F, Fischione C. Power allocation and control in multimedia cdma wireless systems. Kluwer Telecommun Syst 2003; 23: 69-94
72. Savkin AV, Skafidas E, Evans RJ. Robust output feedback stabilizability via controller switching. Automatica 1999; 35(1): 69-74
73. Shaikh MS, Gaines PE. On the optimal control of hybrid systems: optimal trajectories, switching times and location schedules. In: Maler O, Pnueli A (eds), Proceedings of the conference on hybrid systems: computation and control, LNCS 2623. Springer-Verlag, Berlin, 2003, pp 466-481
74. Silva BI, Stursberg O, Krogh B, Engell S. An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: Proceedings of the 40th IEEE conference on decision and control, 2001, pp 2867-2874
75. Smith R, Dullerud GE. Continuous-time control model validation using finite experimental data. IEEE Trans Autom Control 1996; 41(8): 1094-1105
76. Sontag ED. Nonlinear regulation: the piecewise linear approach. IEEE Trans Autom Control 1981; 26(2): 346-358
77. Stursberg O. Dynamic optimization of processing systems with mixed degrees of freedom. In Proceedings of the 7th International IFAC symposium on dynamics and control of process systems, 2004, p 164
78. Stursberg O. A graph-search algorithm for optimal control of hybrid systems. In: Proceedings of the 43rd IEEE conference on decision and control. 2004, pp 1412-1417
79. Stursberg O, Panek S, Till J, Engell S. Generation of optimal control policies for systems with switched hybrid dynamics. In: Proceedings of the conference on modelling, analysis, and design of hybrid systems, LNCS 279. Springer-Verlag, Berlin, 2002, pp 337-352
80. Sussmann HJ. A maximum principle for hybrid optimal control problems. In: Proceedings of the IEEE conference on decision and control, Phoenix, AZ. December 7-10, 1999, pp 425-430
81. Takahashi I, Noguchi T. A new quick response and high efficiency control strategy for the induction motor. IEEE Trans Ind Appl 1986; 22(2): 820-827
82. Tomlin CJ, Lygeros J, Sastry SS. A game theoretic approach to controller design for hybrid systems. Proc IEEE 2000; 88(7): 949-969
83. Varaiya P. Smart cars on smart roads: problems of control. IEEE Trans Autom Control 1993; 38(2): 195-207
84. Walrand J, Varaiya P. High-performance communication networks. 2nd edn. Morgan Kaufmann, 2000
85. Wicks M, Peleties P, De Carlo R. Switched controller synthesis for the quadratic stabilization of a pair of unstable linear systems. Eur J Control 1998; 4: 140-147
86. Wong-Toi H, The synthesis of controllers for linear hybrid automata. In: Proceedings of the IEEE conference on decision and control, San Diego, CA. December 10-12, 1997, pp 4607-4613
87. Xu X, Antsaklis PJ. Stabilization of second order LTI switched systems. Int J Control 2000; 73(14): 1261-1279
88. Xu X, Zhai G. On practical stability and stabilization of hybrid and switched systems. In: Alur R, Pappas GJ (eds), Proceedings of the conference on hybrid systems computation and control, LNCS 2993. Springer-Verlag, Berlin, 2004, pp 615-630