Functional and Architectural Specification for Power-Train Control System Design
暂无分享,去创建一个
Gabriele Serra | Andrea Balluchi | Alberto Ferrari | Walter Nesci | Roberto Flora | A. Saogiovanni-vincentelli | G. Gavlani | A. Balluchi | G. Serra | W. Nesci | A. Ferrari | Roberto Flora | A. Saogiovanni-vincentelli | G. Gavlani
[1] Alice C. Parker,et al. System-Level Design , 2000, The VLSI Handbook.
[2] Lutz Köster,et al. Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink , 2001 .
[3] Amir Pnueli,et al. Orthogonal Polyhedra: Representation and Computation , 1999, HSCC.
[4] Luciano Lavagno,et al. Hardware-software co-design of embedded systems: the POLIS approach , 1997 .
[5] Harold H. Buttner. Automotive Electronics: Trends and Challenges , 2000 .
[6] Alberto Sangiovanni-Vincentelli,et al. Embedded system design and hybrid systems , 1997 .
[7] C. Pinello,et al. Mixed models of computation in the design of automotive engine control , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[8] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[9] Alberto L. Sangiovanni-Vincentelli,et al. Hybrid control in automotive applications: the cut-off control , 1999, Autom..
[10] Alberto L. Sangiovanni-Vincentelli,et al. System design: traditional concepts and new paradigms , 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).
[11] C. Pinello,et al. Automotive engine control and hybrid systems: challenges and opportunities , 2000, Proceedings of the IEEE.
[12] A. Nerode,et al. Hybrid Control Systems: An Introductory Discussion to the Special Issue , 1998, IEEE Trans. Autom. Control..
[13] Walter Nesci,et al. Design and Implementation of a Dual Processor Platform for Powertrain Systems , 2000 .
[14] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.