Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kenneth R. Butts
@inproceedings{DBLP:conf/amcc/HuangLKBK18,
author = {Mike Huang and
Dominic Liao{-}McPherson and
Shinhoon Kim and
Ken Butts and
Ilya V. Kolmanovsky},
title = {Toward Real-Time Automotive Model Predictive Control: {A} Perspective
from a Diesel Air Path Control Development},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {2425--2430},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431407},
doi = {10.23919/ACC.2018.8431407},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/HuangLKBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/LuSB17,
author = {Zhao Lu and
Jing Sun and
Kenneth R. Butts},
title = {Multiscale Support Vector Learning With Projection Operator Wavelet
Kernel for Nonlinear Dynamical System Identification},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {28},
number = {1},
pages = {231--243},
year = {2017},
url = {https://doi.org/10.1109/TNNLS.2015.2513902},
doi = {10.1109/TNNLS.2015.2513902},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnn/LuSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/Liao-McPhersonK17,
author = {Dominic Liao{-}McPherson and
Shinhoon Kim and
Ken Butts and
Ilya V. Kolmanovsky},
title = {A cascaded economic model predictive control strategy for a diesel
engine using a non-uniform prediction horizon discretization},
booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2017,
Mauna Lani Resort, HI, USA, August 27-30, 2017},
pages = {979--986},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCTA.2017.8062587},
doi = {10.1109/CCTA.2017.8062587},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccta/Liao-McPhersonK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NguyenKJDBJ17,
author = {Luan Viet Nguyen and
James Kapinski and
Xiaoqing Jin and
Jyotirmoy V. Deshmukh and
Ken Butts and
Taylor T. Johnson},
editor = {Goran Frehse and
Sayan Mitra},
title = {Abnormal Data Classification Using Time-Frequency Temporal Logic},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {237--242},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049809},
doi = {10.1145/3049797.3049809},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NguyenKJDBJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/HuangZBK16,
author = {Mike Huang and
Kevin Zaseck and
Ken Butts and
Ilya V. Kolmanovsky},
title = {Rate-Based Model Predictive Controller for Diesel Engine Air Path:
Design and Experimental Evaluation},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {24},
number = {6},
pages = {1922--1935},
year = {2016},
url = {https://doi.org/10.1109/TCST.2016.2529503},
doi = {10.1109/TCST.2016.2529503},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcst/HuangZBK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ChoroszuchaSB16,
author = {Richard Choroszucha and
Jing Sun and
Kenneth R. Butts},
title = {Nonlinear model order reduction for predictive control of the diesel
engine airpath},
booktitle = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
6-8, 2016},
pages = {5081--5086},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ACC.2016.7526159},
doi = {10.1109/ACC.2016.7526159},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/ChoroszuchaSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ChoroszuchaSB15,
author = {Richard Choroszucha and
Jing Sun and
Kenneth R. Butts},
title = {Closed-loop model order reduction and {MPC} for diesel engine airpath
control},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {3279--3284},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171838},
doi = {10.1109/ACC.2015.7171838},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/ChoroszuchaSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/KapinskiDJIB15,
author = {James Kapinski and
Jyotirmoy V. Deshmukh and
Xiaoqing Jin and
Hisahiro Ito and
Kenneth R. Butts},
title = {Simulation-guided approaches for verification of automotive powertrain
control systems},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {4086--4095},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171968},
doi = {10.1109/ACC.2015.7171968},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/KapinskiDJIB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/DeshmukhIJKBGSW15,
author = {Jyotirmoy V. Deshmukh and
Hisahiro Ito and
Xiaoqing Jin and
James Kapinski and
Kenneth R. Butts and
J{\"{u}}rgen Gerhard and
Behzad Samadi and
Kevin Walker and
Yuzhen Xie},
editor = {Goran Frehse and
Matthias Althoff},
title = {Piecewise-Affine Approximations for a Powertrain Control Verification
Benchmark},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {98--112},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/w3x7},
doi = {10.29007/W3X7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/DeshmukhIJKBGSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/ResmeritaNHBP15,
author = {Stefan Resmerita and
Andreas Naderlinger and
Manuel Huber and
Kenneth R. Butts and
Wolfgang Pree},
title = {Applying Real-Time Programming to Legacy Embedded Control Software},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORC.2015.36},
doi = {10.1109/ISORC.2015.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/ResmeritaNHBP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcyb/LuSB14,
author = {Zhao Lu and
Jing Sun and
Kenneth R. Butts},
title = {Multiscale Asymmetric Orthogonal Wavelet Kernel for Linear Programming
Support Vector Learning and Nonlinear Dynamic Systems Identification},
journal = {{IEEE} Trans. Cybern.},
volume = {44},
number = {5},
pages = {712--724},
year = {2014},
url = {https://doi.org/10.1109/TCYB.2013.2279834},
doi = {10.1109/TCYB.2013.2279834},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcyb/LuSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HuangNBK14,
author = {Mike Huang and
Hayato Nakada and
Kenneth R. Butts and
Ilya V. Kolmanovsky},
title = {Robust rate-based Model Predictive Control of diesel engine air path},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {1505--1510},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6859220},
doi = {10.1109/ACC.2014.6859220},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/HuangNBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/JinDKUB14,
author = {Xiaoqing Jin and
Jyotirmoy V. Deshmukh and
James Kapinski and
Koichi Ueda and
Kenneth R. Butts},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Powertrain control verification benchmark},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {253--262},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562140},
doi = {10.1145/2562059.2562140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/JinDKUB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HuangNPCBK13,
author = {Mike Huang and
Hayato Nakada and
Srinivas Polavarapu and
Richard Choroszucha and
Kenneth R. Butts and
Ilya V. Kolmanovsky},
title = {Towards combining nonlinear and predictive control of diesel engines},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {2846--2853},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6580266},
doi = {10.1109/ACC.2013.6580266},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/HuangNPCBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/FaustSBLT12,
author = {Jacob Faust and
Jing Sun and
Kenneth R. Butts and
Zhao Lu and
Satoru Tanaka},
title = {Parametrization and adaptation of gasoline engine air system model
via linear programming Support Vector Regression},
booktitle = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
27-29, 2012},
pages = {1290--1295},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ACC.2012.6315291},
doi = {10.1109/ACC.2012.6315291},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/FaustSBLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/LuSB11,
author = {Zhao Lu and
Jing Sun and
Kenneth R. Butts},
title = {Linear Programming {SVM-ARMA} \({}_{\mbox{2K}}\) With Application
in Engine System Identification},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {8},
number = {4},
pages = {846--854},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.2140105},
doi = {10.1109/TASE.2011.2140105},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tase/LuSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/VermillionSB11,
author = {Christopher Vermillion and
Jing Sun and
Kenneth R. Butts},
title = {Predictive Control Allocation for a Thermal Management System Based
on an Inner Loop Reference Model - Design, Analysis, and Experimental
Results},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {19},
number = {4},
pages = {772--781},
year = {2011},
url = {https://doi.org/10.1109/TCST.2010.2053370},
doi = {10.1109/TCST.2010.2053370},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcst/VermillionSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/ItoOBGALPS11,
author = {Hisahiro Ito and
Akira Ohata and
Kenneth R. Butts and
J{\"{u}}rgen Gerhard and
Masoud Abbaszadeh and
David Linder and
Erik Postman and
Elena Shmoylova},
editor = {Fran{\c{c}}ois E. Cellier and
David Broman and
Peter Fritzson and
Edward A. Lee},
title = {Equation-Based Model Data Structure for High Level Physical Modelling,
Model Simplification and Modelica-Export},
booktitle = {Proceedings of the 4th International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2011, Zurich, Switzerland, September
5, 2011},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {56},
pages = {27--34},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2011},
url = {http://www.ep.liu.se/ecp/article.asp?issue=056\&\#38;article=004\&\#38;volume=},
timestamp = {Thu, 10 Oct 2019 13:06:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/ItoOBGALPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BorisVB10,
author = {Ryan Boris and
Chris Vermillion and
Ken Butts},
title = {A comparative analysis of electronic pedal algorithms using a driver-in-the-loop
simulator and system identification of driver behavior},
booktitle = {American Control Conference, {ACC} 2010, Baltimore, Maryland, USA,
June 30 - July 2, 2010},
pages = {682--687},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ACC.2010.5531117},
doi = {10.1109/ACC.2010.5531117},
timestamp = {Sun, 08 Aug 2021 01:40:56 +0200},
biburl = {https://dblp.org/rec/conf/amcc/BorisVB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/VermillionBR10,
author = {Chris Vermillion and
Ken Butts and
Kevin Reidy},
title = {Model predictive engine torque control with real-time driver-in-the-loop
simulation results},
booktitle = {American Control Conference, {ACC} 2010, Baltimore, Maryland, USA,
June 30 - July 2, 2010},
pages = {1459--1464},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ACC.2010.5531241},
doi = {10.1109/ACC.2010.5531241},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/VermillionBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/LuSB10,
author = {Zhao Lu and
Jing Sun and
Kenneth R. Butts},
title = {Application of linear programming {SVM-ARMA2K} for dynamic engine
modeling},
booktitle = {American Control Conference, {ACC} 2010, Baltimore, Maryland, USA,
June 30 - July 2, 2010},
pages = {1465--1470},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ACC.2010.5531245},
doi = {10.1109/ACC.2010.5531245},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/LuSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/ResmeritaBDNP10,
author = {Stefan Resmerita and
Kenneth R. Butts and
Patricia Derler and
Andreas Naderlinger and
Wolfgang Pree},
editor = {Radu Calinescu and
Ethan K. Jackson},
title = {Migration of Legacy Software Towards Correct-by-Construction Timing
Behavior},
booktitle = {Foundations of Computer Software. Modeling, Development, and Verification
of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
March 31- April 2, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6662},
pages = {55--76},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21292-5\_4},
doi = {10.1007/978-3-642-21292-5\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/ResmeritaBDNP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcs/LuSB09,
author = {Zhao Lu and
Jing Sun and
Kenneth R. Butts},
title = {Linear programming support vector regression with wavelet kernel:
{A} new approach to nonlinear dynamical systems identification},
journal = {Math. Comput. Simul.},
volume = {79},
number = {7},
pages = {2051--2063},
year = {2009},
url = {https://doi.org/10.1016/j.matcom.2008.10.011},
doi = {10.1016/J.MATCOM.2008.10.011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcs/LuSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/VermillionSB09,
author = {Christopher Vermillion and
Jing Sun and
Kenneth R. Butts},
title = {Modeling, Control Design, and Experimental Validation of an Overactuated
Thermal Management System for Engine Dynamometer Applications},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {17},
number = {3},
pages = {540--551},
year = {2009},
url = {https://doi.org/10.1109/TCST.2008.2001267},
doi = {10.1109/TCST.2008.2001267},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcst/VermillionSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/VermillionSB09,
author = {Chris Vermillion and
Jing Sun and
Ken Butts},
title = {Model predictive control allocation - Design and experimental results
on a thermal management system},
booktitle = {American Control Conference, {ACC} 2009. St. Louis, Missouri, USA,
June 10-12, 2009},
pages = {1365--1370},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ACC.2009.5160203},
doi = {10.1109/ACC.2009.5160203},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/VermillionSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/LuSLB09,
author = {Zhao Lu and
Jing Sun and
Dongkyoung Lee and
Ken Butts},
title = {Dynamic engine modeling through linear programming Support Vector
Regression},
booktitle = {American Control Conference, {ACC} 2009. St. Louis, Missouri, USA,
June 10-12, 2009},
pages = {2070--2075},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ACC.2009.5160279},
doi = {10.1109/ACC.2009.5160279},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/LuSLB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/VermillionSB08,
author = {Christopher Vermillion and
Jing Sun and
Kenneth R. Butts},
title = {Performance enhancement of modular control systems using {\(\mathrm{\mu}\)}
synthesis},
booktitle = {Proceedings of the 47th {IEEE} Conference on Decision and Control,
{CDC} 2008, December 9-11, 2008, Canc{\'{u}}n, Mexico},
pages = {327--332},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CDC.2008.4738997},
doi = {10.1109/CDC.2008.4738997},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/VermillionSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/VermillionSB07,
author = {Christopher Vermillion and
Jing Sun and
Kenneth R. Butts},
title = {Model predictive control allocation for overactuated systems - stability
and performance},
booktitle = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
LA, USA, December 12-14, 2007},
pages = {1251--1256},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CDC.2007.4434722},
doi = {10.1109/CDC.2007.4434722},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/VermillionSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/OhataB05,
author = {Akira Ohata and
Kenneth R. Butts},
title = {Towards a concurrent engine system design methodology},
booktitle = {American Control Conference, {ACC} 2005, Portland, OR, USA, 8-10 June,
2005},
pages = {3296--3302},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ACC.2005.1470479},
doi = {10.1109/ACC.2005.1470479},
timestamp = {Fri, 07 Oct 2022 18:48:01 +0200},
biburl = {https://dblp.org/rec/conf/amcc/OhataB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/NeemaSKB03,
author = {Sandeep Neema and
Janos Sztipanovits and
Gabor Karsai and
Ken Butts},
editor = {Rajeev Alur and
Insup Lee},
title = {Constraint-Based Design-Space Exploration and Model Synthesis},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {290--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_19},
doi = {10.1007/978-3-540-45212-6\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/NeemaSKB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/RabbathABB02,
author = {Camille Alain Rabbath and
M. Abdoune and
Jay Belanger and
Kenneth R. Butts},
title = {Simulating hybrid dynamic systems},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {9},
number = {2},
pages = {39--47},
year = {2002},
url = {https://doi.org/10.1109/MRA.2002.1019489},
doi = {10.1109/MRA.2002.1019489},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ram/RabbathABB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/RabbathDB01,
author = {Camille Alain Rabbath and
H. Desira and
Kenneth R. Butts},
title = {Effective modeling and simulation of internal combustion engine control
systems},
booktitle = {American Control Conference, {ACC} 2001, Arlington, VA, USA, 25-27
June, 2001},
pages = {1321--1326},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ACC.2001.945907},
doi = {10.1109/ACC.2001.945907},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/RabbathDB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ButtsBCCMW01,
author = {Ken Butts and
Dave Bostic and
Alongkrit Chutinan and
Jeffrey Cook and
Bill Milam and
Yanxin Wang},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Usage Scenarios for an Automated Model Compiler},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {66--79},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_6},
doi = {10.1007/3-540-45449-7\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/ButtsBCCMW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SimsCBR01,
author = {Steve Sims and
Rance Cleaveland and
Ken Butts and
Scott Ranville},
title = {Automated Validation of Software Models},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {91},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989794},
doi = {10.1109/ASE.2001.989794},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SimsCBR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Butts00,
author = {Ken Butts},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop,
{HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1790},
pages = {1--2},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_1},
doi = {10.1007/3-540-46430-1\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Butts00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/ButtsS099,
author = {Kenneth R. Butts and
N. Sivashankar and
Jing Sun},
title = {Application of l\({}_{\mbox{1}}\) optimal control to the engine idle
speed control problem},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {7},
number = {2},
pages = {258--270},
year = {1999},
url = {https://doi.org/10.1109/87.748152},
doi = {10.1109/87.748152},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcst/ButtsS099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
