​
Login / Signup
Ken Butts
Publication Activity (10 Years)
Years Active: 2000-2018
Publications (10 Years): 4
Top Topics
Diesel Engine
Temporal Logic
Model Predictive Control
Satisfiability Problem
Top Venues
HSCC
IEEE Trans. Control. Syst. Technol.
ACC
CCTA
</>
Publications
</>
Mike Huang
,
Dominic Liao-McPherson
,
Shinhoon Kim
,
Ken Butts
,
Ilya V. Kolmanovsky
Toward Real-Time Automotive Model Predictive Control: A Perspective from a Diesel Air Path Control Development.
ACC
(2018)
Luan Viet Nguyen
,
James Kapinski
,
Xiaoqing Jin
,
Jyotirmoy V. Deshmukh
,
Ken Butts
,
Taylor T. Johnson
Abnormal Data Classification Using Time-Frequency Temporal Logic.
HSCC
(2017)
Dominic Liao-McPherson
,
Shinhoon Kim
,
Ken Butts
,
Ilya V. Kolmanovsky
A cascaded economic model predictive control strategy for a diesel engine using a non-uniform prediction horizon discretization.
CCTA
(2017)
Mike Huang
,
Kevin Zaseck
,
Ken Butts
,
Ilya V. Kolmanovsky
Rate-Based Model Predictive Controller for Diesel Engine Air Path: Design and Experimental Evaluation.
IEEE Trans. Control. Syst. Technol.
24 (6) (2016)
Ryan Boris
,
Chris Vermillion
,
Ken Butts
A comparative analysis of electronic pedal algorithms using a driver-in-the-loop simulator and system identification of driver behavior.
ACC
(2010)
Chris Vermillion
,
Ken Butts
,
Kevin Reidy
Model predictive engine torque control with real-time driver-in-the-loop simulation results.
ACC
(2010)
Zhao Lu
,
Jing Sun
,
Dongkyoung Lee
,
Ken Butts
Dynamic engine modeling through linear programming Support Vector Regression.
ACC
(2009)
Chris Vermillion
,
Jing Sun
,
Ken Butts
Model predictive control allocation - Design and experimental results on a thermal management system.
ACC
(2009)
Sandeep Neema
,
Janos Sztipanovits
,
Gabor Karsai
,
Ken Butts
Constraint-Based Design-Space Exploration and Model Synthesis.
EMSOFT
(2003)
Ken Butts
,
Dave Bostic
,
Alongkrit Chutinan
,
Jeffrey Cook
,
Bill Milam
,
Yanxin Wang
Usage Scenarios for an Automated Model Compiler.
EMSOFT
(2001)
Steve Sims
,
Rance Cleaveland
,
Ken Butts
,
Scott Ranville
Automated Validation of Software Models.
ASE
(2001)
Ken Butts
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.
HSCC
(2000)