Hybrid systems in automotive electronics design

References

• Agostini , A , Balluchi , A , Bicchi , A , Piccoli , B , Sangiovanni-Vincentelli , AL and Zadarnowska , K . 2005 . Randomized algorithms for platformbased design . Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 . December 2005 , Seville, Spain. pp. 6638 – 6643 .
   Google Scholar
• Antoniotti , M , Balluchi , A , Benvenuti , L , Ferrari , A , Pinello , C , Sangiovanni-Vincentelli , AL , Flora , R , Nesci , W , Rossi , C , Serra , G and Tabaro , M . 1998 . A top-down constraints-driven design methodology for powertrain control system . Proceedings GPC98, Global Powertrain Congress . October 1998 , Detroit, Michigan, USA. pp. 74 – 84 . volume Emissions, Testing and Controls .
   Google Scholar
• Arzén , KE , Cervin , A , Eker , J and Sha , L . 2000 . An introduction to control and scheduling co-design . Proceedings of the 39th IEEE Conference on Decision and Control . December 2000 , Sydney, Australia. Vol. 5 , pp. 4865 – 4870 .
   Google Scholar
• AUTOSAR . www.autosar.org (accessed 20 February 2006)
   Google Scholar
• Azibi , E-H and Sardas , J-C . 2002 . Computer-aided process engineering and transformation of the process design activity in automotive industry . Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics . October 2002 , Hammamet, Tunisia. pp. 1 – 5 .
   Google Scholar
• Baleani , M , Ferrari , A , Mangeruca , L , Sangiovanni-Vincentelli , A , Freund , U , Schlenker , E and Wolff , H-J . 2005 . Correct-by-construction transformations across design environments for model-based embedded software development . Proceedings of the Design Automation and Test in Europe Conference . March 2005 . pp. 1044 – 1049 .
   Google Scholar
• Balluchi , A , Di Benedetto , MD , Pinello , C , Rossi , C and Sangiovanni-Vincentelli , AL . 1999 . Hybrid control in automotive applications: the cut-off control . Automatica , 35 : 519 – 535 .
   Google Scholar
• Balluchi , A , Benvenuti , L , Di Benedetto , MD , Pinello , C and Sangiovanni-Vincentelli , AL . 2000 . Automotive engine control and hybrid systems: Challenges and opportunities . Proceedings of the IEEE , 88 : 888 – 912 .
   Web of Science ®Google Scholar
• Balluchi , A , Benvenuti , L , Di Benedetto , MD and Sangiovanni-Vincentelli , AL . 2002a . “ Design of observers for hybrid systems ” . In Hybrid Systems: Computation and Control, volume 2289 of Lecture Notes in Computer Science , Edited by: Tomlin , CJ and Greenstreet , JR . 76 – 89 . Stanford, CA : Springer-Verlag .
   Google Scholar
• Balluchi , A , Benvenuti , L , Lemma , C , Murrieri , P and Sangiovanni-Vincentelli , AL . 2004a . Hybrid models of an automotive driveline . Tech. rep., PARADES , December Rome, I
   Google Scholar
• Balluchi , A , Di Benedetto , MD , Ferrari , A , Gaviani , G , Girasole , G , Grossi , C , Nesci , W , Pennese , M and Sangiovanni- Vincentelli , AL . 2004b . Design of a motorcycle engine control unit using an integrated control-implementation approach . Proceedings 1st IFAC Workshop on “Advances in Automatic Control” . April 2004b , Salerno, Italy. pp. 218 – 225 .
   Google Scholar
• Balluchi , A , Benvenuti , L , Lemma , C , Sangiovanni-Vincentelli , AL and Serra , G . 2005 . Actual engaged gear identification: a hybrid observer approach . Proceedings of the 16th IFAC World Congress . July 2005 , Prague, CZ.
   Google Scholar
• Balluchi , A , Berardi , L , Di Benedetto , MD , Ferrari , A , Girasole , G and Sangiovanni-Vincentelli , AL . 2002b . Integrated control implementation design . Proceedings of the 41st IEEE Conference on Decision and Control . December 2002b , Las Vegas, NV, USA. pp. 1337 – 1342 .
   Google Scholar
• Baotic , M , Vasak , M , Morari , M and Peric , N . 2003 . Hybrid theory based optimal control of electronic throttle . Proceedings of the IEEE American Control Conference, ACC 2003 . June 2003 , Denver, Colorado, USA. pp. 5209 – 5209 .
   Google Scholar
• Barron , MB and Powers , WF . 1996 . The role of electronic controls for future automotive mechatronic systems . IEEE/ASME Transactions on Mechatronics , 1 : 80 – 88 .
   Web of Science ®Google Scholar
• Bemporad , A , Garulli , A , Paoletti , S and Vicino , A . 2004a . A bounded-error approach to piecewise affine system identification . IEEE Trans. Automatic Control , 50 : 1567 – 1580 .
   Google Scholar
• Bemporad , A , Morari , M and Ricker , NL . 2004b . Model Predictive Control Toolbox for Matlab – Users Guide , The Mathworks, Inc. . http://www.mathworks.com/access/helpdesk/help/toolbox/mpc/
   Google Scholar
• Bemporad , A , Bianchini , G , Brogi , F and Barbagli , F . 2005 . Passivity analysis and passification of discrete-time hybrid systems . Proceedings IFAC World Congress . 2005 , Prague, Czech Republic.
   Google Scholar
• Butts , KR . 1996 . An application of integrated casexacsd to automotive powertrain systems . Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design . September 1996 , Dearborn, MI. pp. 339 – 345 .
   Google Scholar
• Cervin , A , Eker , J , Henriksson , D , Lincoln , B and Arzén , KE . 2003 . How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime . IEEE Control Systems Magazine , 23 : 16 – 30 .
   Web of Science ®Google Scholar
• Chen , J and Patton , RJ . 1999 . Robust Model-Based Fault Diagnosis for Dynamic Systems , Norwell, MA : Kluwer International . Number 3 in Series on Asian Studies in Computer and Information Science
   Google Scholar
• Decarlo , RA , Branicky , MS , Pettersson , S and Lennartson , B . 2000 . Perspectives and results on the stability and stabilizability of hybrid systems . Proceedings of the IEEE , 88 : 1069 – 1082 .
   Web of Science ®Google Scholar
• ETAS . “ ASCET ” . http://www.etas.de (accessed 20 February 2006)
   Google Scholar
• Ezzine , J and Haddad , AH . 1988 . Controllability and observability of hybrid systems . Proceedings of the 1988 American Control Conference . 1988 . pp. 41 – 46 .
   Google Scholar
• Heck , BS , Wills , LM and Vachtsevanos , GJ . 2003 . Software technology for implementing reusable, distributed control systems . IEEE Control Systems Magazine , 23 ( 1 ) February : 21 – 35 .
   Google Scholar
• Heinecke , H , Schnelle , K-P , Fennel , H , Bortolazzi , J , Lundh , L , Leflour , J , Mat/'e , J-L , Nishikawa , K and Scharnhorst , T . 2004 . Automotive open system architecture – an industry-wide initiative to manage the complexity of emerging automotive e/e-architectures . Proceedings of Convergence 2004, . October 2004 , Detroit, MI.
   Google Scholar
• Isermann , R . 2005 . Mechatronic systems innovative products with embedded control . Proceedings of the 16th IFAC World Congress . July 2005 , Prague, CZ. (Plenary lecture)
   Google Scholar
• Johansson , KH , Törngren , M and Nielsen , L . 2005 . “ Vehicle applications of controller area network ” . In Handbook of Networked and Embedded Control Systems , Edited by: Hristu-Varsakelis , D and Levine , WS . 741 – 766 . Boston, MA : Birkhäuser .
   Google Scholar
• Keutzer , K , Malik , S , Newton , R , Rabaey , J and Sangiovanni-Vincentelli , AL . 2000 . System level design: Orthogonalization of concerns and platformbased design . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , 19 ( 12 ) : 1523 – 1543 .
   Google Scholar
• Lygeros , J , Tomlin , C and Sastry , S . 1999 . Controllers for reachability specifications for hybrid systems . Automatica , 35
   Web of Science ®Google Scholar
• Martin , G . 2002a . The future of high-level modelling and system level design: Some possible methodology scenarios . Proceedings of 9th IEEE/DATC Electronic Design Processes Workshop (EDP2002) . April 2002a , Monterey, CA. pp. 1 – 5 . Section 1.1
   Google Scholar
• Martin , G . 2002b . Guest editor's introduction: The reuse of complex architectures . IEEE Design and Test of Computers , 19 November/December : 4 – 5 .
   Google Scholar
• Mobus , R , Baotic , M and Morari , M . 2003 . “ Multi-object adaptive cruise control ” . In Hybrid Systems: Computation and Control, HSCC 2003, volume 2623 of Lecture Notes in Computer Science , Edited by: Maler , O and Pnueli , A . 359 – 374 . Berlin : Springer Verlag .
   Google Scholar
• Nerode , A and Kohn , W . 1993 . “ Models for hybrid systems: Automata, topologies, controllability, observability ” . In Hybrid Systems , 317 – 356 . Berlin : Springer-Verlag . Lecture Notes in Computer Science 736
   Google Scholar
• Pettersson , S and Lennartson , B . 1997 . Lmi for stability and robustness of hybrid systems . Proceedings of 16th American Control Conference . June 1997 , Albuquerque, NM, USA. Vol. 3 , pp. 1714 – 1718 .
   Google Scholar
• Poolla , K , Khargonekar , P , Tikku , A , Krause , J and Nagpal , K . 1992 . A time-domain approach to model validation . Proceedings of the IEEE American Control Conference (ACC1992) . 1992 . pp. 313 – 317 .
   Google Scholar
• Sangiovanni-Vincentelli , A . 2002 . Defining platform-based design . EEdesign , February http://www.eedesign.com/
   Google Scholar
• Sangiovanni-Vincentelli , AL , Carloni , L , De Bernardinis , F and Sgroi , M . 2004 . Benefits and challenges for platform-based design . Proceedings of the Design Automation Conference (DAC04) . June 2004 , San Diego, CA, USA.
   Google Scholar
• Smith , R and Dullerud , GE . 1996 . Continuous-time control model validation using finite experimental data . IEEE Trans. on Automatic Control , 41 : 1094 – 1105 .
   Web of Science ®Google Scholar
• Smith , RS and Doyle , JC . 1992 . Model validation: A connection between robust control and identification . IEEE Trans. on Automatic Control , 37 : 942 – 952 .
   Web of Science ®Google Scholar
• The MathWorks . “ . Matlab, Simulink, State.ow ” . http://www.mathworks.com (accessed 20 February 2006)
   Google Scholar