Application of l1 optimal control to the engine idle speed control problem. - Kenneth R. Butts; N. Sivashankar; Jing Sun 003 (IEEE Trans. Control. Syst. Technol., 1999)

Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision. - Ken Butts (HSCC, 2000)

Effective modeling and simulation of internal combustion engine control systems. - Camille Alain Rabbath; H. Desira; Kenneth R. Butts (ACC, 2001)

Usage Scenarios for an Automated Model Compiler. - Ken Butts; Dave Bostic; Alongkrit Chutinan; Jeffrey Cook; Bill Milam; Yanxin Wang (EMSOFT, 2001)

Automated Validation of Software Models. - Steve Sims; Rance Cleaveland; Ken Butts; Scott Ranville (ASE, 2001)

Simulating hybrid dynamic systems. - Camille Alain Rabbath; M. Abdoune; Jay Belanger; Kenneth R. Butts (IEEE Robotics Autom. Mag., 2002)

Constraint-Based Design-Space Exploration and Model Synthesis. - Sandeep Neema; Janos Sztipanovits; Gabor Karsai; Ken Butts (EMSOFT, 2003)

Towards a concurrent engine system design methodology. - Akira Ohata; Kenneth R. Butts (ACC, 2005)

Model predictive control allocation for overactuated systems - stability and performance. - Christopher Vermillion; Jing Sun 003; Kenneth R. Butts (CDC, 2007)

Performance enhancement of modular control systems using µ synthesis. - Christopher Vermillion; Jing Sun 003; Kenneth R. Butts (CDC, 2008)

Dynamic engine modeling through linear programming Support Vector Regression. - Zhao Lu; Jing Sun 003; Dongkyoung Lee; Ken Butts (ACC, 2009)

Model predictive control allocation - Design and experimental results on a thermal management system. - Chris Vermillion; Jing Sun 003; Ken Butts (ACC, 2009)

Linear programming support vector regression with wavelet kernel: A new approach to nonlinear dynamical systems identification. - Zhao Lu; Jing Sun 003; Kenneth R. Butts (Math. Comput. Simul., 2009)

Modeling, Control Design, and Experimental Validation of an Overactuated Thermal Management System for Engine Dynamometer Applications. - Christopher Vermillion; Jing Sun 003; Kenneth R. Butts (IEEE Trans. Control. Syst. Technol., 2009)

A comparative analysis of electronic pedal algorithms using a driver-in-the-loop simulator and system identification of driver behavior. - Ryan Boris; Chris Vermillion; Ken Butts (ACC, 2010)

Application of linear programming SVM-ARMA2K for dynamic engine modeling. - Zhao Lu; Jing Sun 003; Kenneth R. Butts (ACC, 2010)

Model predictive engine torque control with real-time driver-in-the-loop simulation results. - Chris Vermillion; Ken Butts; Kevin Reidy (ACC, 2010)

Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. - Stefan Resmerita; Kenneth R. Butts; Patricia Derler; Andreas Naderlinger; Wolfgang Pree (Monterey Workshop, 2010)

Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export. - Hisahiro Ito; Akira Ohata; Kenneth R. Butts; Jürgen Gerhard; Masoud Abbaszadeh; David Linder; Erik Postman; Elena Shmoylova (EOOLT, 2011)

Linear Programming SVM-ARMA 2K With Application in Engine System Identification. - Zhao Lu; Jing Sun 003; Kenneth R. Butts (IEEE Trans Autom. Sci. Eng., 2011)

Predictive Control Allocation for a Thermal Management System Based on an Inner Loop Reference Model - Design, Analysis, and Experimental Results. - Christopher Vermillion; Jing Sun 003; Kenneth R. Butts (IEEE Trans. Control. Syst. Technol., 2011)

Parametrization and adaptation of gasoline engine air system model via linear programming Support Vector Regression. - Jacob Faust; Jing Sun 003; Kenneth R. Butts; Zhao Lu; Satoru Tanaka (ACC, 2012)

Towards combining nonlinear and predictive control of diesel engines. - Mike Huang; Hayato Nakada; Srinivas Polavarapu; Richard Choroszucha; Kenneth R. Butts; Ilya V. Kolmanovsky (ACC, 2013)

Robust rate-based Model Predictive Control of diesel engine air path. - Mike Huang; Hayato Nakada; Kenneth R. Butts; Ilya V. Kolmanovsky (ACC, 2014)

Powertrain control verification benchmark. - Xiaoqing Jin; Jyotirmoy V. Deshmukh; James Kapinski; Koichi Ueda; Kenneth R. Butts (HSCC, 2014)

Multiscale Asymmetric Orthogonal Wavelet Kernel for Linear Programming Support Vector Learning and Nonlinear Dynamic Systems Identification. - Zhao Lu; Jing Sun 003; Kenneth R. Butts (IEEE Trans. Cybern., 2014)

Closed-loop model order reduction and MPC for diesel engine airpath control. - Richard Choroszucha; Jing Sun 003; Kenneth R. Butts (ACC, 2015)

Simulation-guided approaches for verification of automotive powertrain control systems. - James Kapinski; Jyotirmoy V. Deshmukh; Xiaoqing Jin; Hisahiro Ito; Kenneth R. Butts (ACC, 2015)

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. - Jyotirmoy V. Deshmukh; Hisahiro Ito; Xiaoqing Jin; James Kapinski; Kenneth R. Butts; Jürgen Gerhard; Behzad Samadi; Kevin Walker; Yuzhen Xie (ARCH@CPSWeek, 2015)

Applying Real-Time Programming to Legacy Embedded Control Software. - Stefan Resmerita; Andreas Naderlinger; Manuel Huber 001; Kenneth R. Butts; Wolfgang Pree (ISORC, 2015)

Nonlinear model order reduction for predictive control of the diesel engine airpath. - Richard Choroszucha; Jing Sun 003; Kenneth R. Butts (ACC, 2016)

Rate-Based Model Predictive Controller for Diesel Engine Air Path: Design and Experimental Evaluation. - Mike Huang; Kevin Zaseck; Ken Butts; Ilya V. Kolmanovsky (IEEE Trans. Control. Syst. Technol., 2016)

A cascaded economic model predictive control strategy for a diesel engine using a non-uniform prediction horizon discretization. - Dominic Liao-McPherson; Shinhoon Kim; Ken Butts; Ilya V. Kolmanovsky (CCTA, 2017)

Abnormal Data Classification Using Time-Frequency Temporal Logic. - Luan Viet Nguyen; James Kapinski; Xiaoqing Jin; Jyotirmoy V. Deshmukh; Ken Butts; Taylor T. Johnson (HSCC, 2017)

Multiscale Support Vector Learning With Projection Operator Wavelet Kernel for Nonlinear Dynamical System Identification. - Zhao Lu; Jing Sun 003; Kenneth R. Butts (IEEE Trans. Neural Networks Learn. Syst., 2017)

Toward Real-Time Automotive Model Predictive Control: A Perspective from a Diesel Air Path Control Development. - Mike Huang; Dominic Liao-McPherson; Shinhoon Kim; Ken Butts; Ilya V. Kolmanovsky (ACC, 2018)