Early Model-Based Design and Verification of Automotive Control System Software Implementations

[1]  Arda Kurt,et al.  Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation , 2014 .

[2]  Matthias Althoff,et al.  Online Verification of Automated Road Vehicles Using Reachability Analysis , 2014, IEEE Transactions on Robotics.

[3]  Ali Ghaffari,et al.  A Novel Singular Perturbation Technique for Model-Based Control of Cold Start Hydrocarbon Emission , 2014 .

[4]  Chao Wang,et al.  An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  J. Hedrick,et al.  A discrete-time sliding mode formulation for automotive cold-start emission control , 2013, 52nd IEEE Conference on Decision and Control.

[6]  J. Karl Hedrick,et al.  Design of Automotive Control Systems Robust to Hardware Imprecision , 2013 .

[7]  John McPhee,et al.  High-Fidelity Modeling of a Power-Split Plug-In Hybrid Electric Powertrain for Control Performance Evaluation , 2013 .

[8]  Mahdi Shahbakhti,et al.  Hybrid switching control of automotive cold start hydrocarbon emission , 2013, 2013 American Control Conference.

[9]  Mahdi Shahbakhti,et al.  Incorporation of implementation imprecision in automotive control design , 2013, 2013 American Control Conference.

[10]  Rupak Majumdar,et al.  Closing the Gap in Control System Implementations , 2013 .

[11]  Mahdi Shahbakhti,et al.  Impact of Implementation Imprecision on Sliding Mode Controller Design for Automotive Cold Start Emissions , 2012 .

[12]  Mahdi Shahbakhti,et al.  Early model-based verification of automotive control system implementation , 2012, 2012 American Control Conference (ACC).

[13]  Francesco Borrelli,et al.  Predictive control for agile semi-autonomous ground vehicles using motion primitives , 2012, 2012 American Control Conference (ACC).

[14]  Matthias Althoff,et al.  Reachable set computation for uncertain time-varying linear systems , 2011, HSCC '11.

[15]  Mahdi Shahbakhti,et al.  Model-Based Control via Balanced Realization for Automotive Cold Start Hydrocarbon Reduction , 2011 .

[16]  J. Heywood,et al.  Effects of secondary air injection during cold start of SI engines , 2010 .

[17]  Paulo Tabuada,et al.  Automatic verification of control system implementations , 2010, EMSOFT '10.

[18]  M. Weilenmann,et al.  Cold-start emissions of modern passenger cars at different low ambient temperatures and their evolution over vehicle legislation categories , 2009 .

[19]  Pannag R. Sanketi,et al.  Coldstart modeling and optimal control design for automotive SI engines , 2009 .

[20]  Silke Wagner,et al.  Control software model checking using bisimulation functions for nonlinear systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[21]  J. Karl Hedrick,et al.  A Simplified Catalytic Converter Model for Automotive Coldstart Control Applications , 2005 .

[22]  James B. Dabney,et al.  Estimating direct return on investment of independent verification and validation , 2004, IASTED Conf. on Software Engineering and Applications.

[23]  Jing Sun,et al.  MODELS AND CONTROL METHODOLOGIES FOR IC ENGINE IDLE SPEED CONTROL DESIGN , 1996 .

[24]  Brian D. O. Anderson,et al.  Singular perturbation approximation of balanced systems , 1989 .

[25]  B. Moore.  Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .