Bruce H. Krogh
发表
Ajinkya Bhave,
Bruce H. Krogh,
2008,
2008 47th IEEE Conference on Decision and Control.
Olaf Stursberg,
Sebastian Engell,
Bruce H. Krogh,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Bruce H. Krogh,
Xu Cheng,
2001,
IEEE Trans. Autom. Control..
Bruce H. Krogh,
Ramavarapu S. Sreenivas,
1987,
Proceedings. 1987 IEEE International Conference on Robotics and Automation.
Edmund M. Clarke,
Bruce H. Krogh,
André Platzer,
2008
.
Bruce H. Krogh,
Qianchuan Zhao,
B. Krogh,
2006,
IEEE Transactions on Control Systems Technology.
Rob A. Rutenbar,
Bruce H. Krogh,
Goran Frehse,
2006,
Proceedings of the Design Automation & Test in Europe Conference.
Rajeev Gandhi,
Priya Narasimhan,
Howie Choset,
2005,
TECS.
Bruno Sinopoli,
Bruce H. Krogh,
Luca Parolini,
2008,
CLUSTER 2008.
Matthias Althoff,
Bruce H. Krogh,
Lawrence T. Pileggi,
2011,
2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Bruce H. Krogh,
Reg G. Willson,
B. Krogh,
1990,
IEEE Trans. Software Eng..
Bruce H. Krogh,
Oded Maler,
Moez Mahfoudh,
2002,
FTRTFT.
Bruce H. Krogh,
Charles P. Neuman,
J. Mark Mason,
1985,
IEEE Transactions on Education.
Bruce H. Krogh,
Enrique Ferreira,
B. Krogh,
1997,
Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).
Bruno Sinopoli,
Bruce H. Krogh,
James Weimer,
2012
.
Lui Sha,
Bruce H. Krogh,
A. Chutinan,
1998,
Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).
Bruce H. Krogh,
Ramavarapu S. Sreenivas,
B. Krogh,
1991,
Discret. Event Dyn. Syst..
Qianchuan Zhao,
Bruce H. Krogh,
P. Hubbard,
2003
.
Bruce H. Krogh,
Enrique Ferreira,
B. Krogh,
1998
.
Rob A. Rutenbar,
Bruce H. Krogh,
Goran Frehse,
2006,
Electron. Notes Theor. Comput. Sci..
Bruce H. Krogh,
Pradeep K. Khosla,
Wayne F. Carriker,
1991,
IEEE Trans. Robotics Autom..
Bruce H. Krogh,
Pradeep K. Khosla,
Wayne F. Carriker,
1990,
Proceedings., IEEE International Conference on Robotics and Automation.
Bruce H. Krogh,
Zhi Han,
1987
.
Bruce H. Krogh,
James E. Weimer,
2007,
SCSC.
Bruce H. Krogh,
Enrique Ferreira,
B. Krogh,
1999,
Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).
Bruno Sinopoli,
Bruce H. Krogh,
Niraj Tolia,
2010,
ICCPS '10.
Bruce H. Krogh,
Hunt A. Sutherland,
Timothy L. Johnson,
2005
.
Bruce H. Krogh,
Dai Feng,
1990,
Proceedings., IEEE International Conference on Robotics and Automation.
Bruce H. Krogh,
Ansgar Fehnker,
2004,
ATVA.
Bruce H. Krogh,
Timothy J. Graettinger,
B. Krogh,
1988,
IEEE J. Robotics Autom..
Bruce H. Krogh,
André Platzer,
Jyotirmoy V. Deshmukh,
2015,
NSV.
Bruce H. Krogh,
Archana S. Sathaye,
1998,
Discret. Event Dyn. Syst..
José M. F. Moura,
Bruce H. Krogh,
Haotian Zhang,
2006,
2006 IEEE International Conference on Acoustics Speech and Signal Processing Proceedings.
Nancy A. Lynch,
Bruce H. Krogh,
N. Lynch,
2000
.
Bruce H. Krogh,
David J. Daniel,
Mark B. Friedman,
1985,
Proceedings. 1985 IEEE International Conference on Robotics and Automation.
José M. F. Moura,
Bruce H. Krogh,
Haotian Zhang,
2005,
IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..
Silke Wagner,
Bruce H. Krogh,
James Kapinski,
2008,
2008 47th IEEE Conference on Decision and Control.
Matthias Althoff,
Olaf Stursberg,
Bruce H. Krogh,
2011
.
Bruce H. Krogh,
Akshay Rajhans,
B. Krogh,
2012,
HSCC '12.
José M. F. Moura,
Bruce H. Krogh,
Haotian Zhang,
2009,
IEEE Transactions on Signal Processing.
Bruce H. Krogh,
Carolyn L. Beck,
1985
.
Bruce H. Krogh,
Marija D. Ilic,
Pedro M. S. Carvalho,
2011,
Proceedings of the IEEE.
Bruce H. Krogh,
Zhi Han,
B. Krogh,
2006,
HSCC.
Lui Sha,
Bruce H. Krogh,
John P. Lehoczky,
1997
.
Bruce H. Krogh,
André Platzer,
James Kapinski,
2015,
2015 International Conference on Embedded Software (EMSOFT).
Bruce H. Krogh,
Zhi Han,
Peter H. Feiler,
2004,
ICFEM.
Olaf Stursberg,
Bruce H. Krogh,
Ansgar Fehnker,
2004
.
Bradley R. Schmerl,
Ajinkya Bhave,
David Garlan,
2014,
IEEE Transactions on Automatic Control.
Bruce H. Krogh,
Ram Akella,
Medini R. Singh,
1990,
IEEE Trans. Robotics Autom..
Bruno Sinopoli,
Bruce H. Krogh,
Raffaele Romagnoli,
2018,
ArXiv.
Bruno Sinopoli,
Bruce H. Krogh,
Raffaele Romagnoli,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Edmund M. Clarke,
Bruce H. Krogh,
James Kapinski,
2008,
HSCC.
Olaf Stursberg,
Bruce H. Krogh,
James Kapinski,
2003,
HSCC.
Bruce H. Krogh,
A. S. Sathaye,
1992,
[1992] Proceedings of the 31st IEEE Conference on Decision and Control.
Bruce H. Krogh,
Lawrence E. Holloway,
1993
.
Bruce H. Krogh,
Alongkrit Chutinan,
B. Krogh,
1999,
HSCC.
Bruno Sinopoli,
Bruce H. Krogh,
James Weimer,
2011
.
Bruce H. Krogh,
Timothy J. Graettinger,
1989,
1989 American Control Conference.
Bruce H. Krogh,
Lawrence E. Holloway,
B. Krogh,
1990
.
Bruce H. Krogh,
Lawrence E. Holloway,
1992
.
Bruce H. Krogh,
A. Falcione,
1992,
[Proceedings 1992] The First IEEE Conference on Control Applications.
Rob A. Rutenbar,
Bruce H. Krogh,
Smriti Gupta,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Bruce H. Krogh,
Zhen Song,
Clarence Agbi,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Nancy A. Lynch,
Bruce H. Krogh,
2000
.
Bruno Sinopoli,
Bruce H. Krogh,
Raffaele Romagnoli,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Bruce H. Krogh,
Lawrence E. Holloway,
B. Krogh,
1991,
Autom..
Bruce H. Krogh,
Timothy J. Graettinger,
1992,
Autom..
Zhiyuan Ren,
Bruce H. Krogh,
Jonathan Hui,
2003,
IPSN.
Alessandro Giua,
Bruce H. Krogh,
Lawrence E. Holloway,
1997,
Discret. Event Dyn. Syst..
Bruce H. Krogh,
Antonio Eduardo Carrilho da Cunha,
José Eduardo Ribeiro Cury,
2001,
HSCC.
Bruce H. Krogh,
Alongkrit Chutinan,
B. Krogh,
2001,
IEEE Trans. Autom. Control..
Bruce H. Krogh,
2007,
FORMATS.
Gang Zhou,
Bruce H. Krogh,
Tarek F. Abdelzaher,
2006,
TOSN.
Olaf Stursberg,
Bruce H. Krogh,
O. Stursberg,
2003,
HSCC.
Bruno Sinopoli,
Bruce H. Krogh,
Zhikui Wang,
2012,
Proceedings of the IEEE.
Zhiyuan Ren,
Bruce H. Krogh,
B. Krogh,
2001,
IEEE Trans. Autom. Control..
Bruno Sinopoli,
Bruce H. Krogh,
Raffaele Romagnoli,
2020,
2020 American Control Conference (ACC).
Bruce H. Krogh,
Darren D. Cofer,
Michael W. Whalen,
2007,
FMICS.
Sumit Kumar Jha,
Edmund M. Clarke,
Bruce H. Krogh,
2005,
HSCC.
Bruce H. Krogh,
Clarence Agbi,
2014,
2014 American Control Conference.
Bruce H. Krogh,
Akshay Rajhans,
B. Krogh,
2013,
HSCC '13.
Ajinkya Bhave,
David Garlan,
Bruce H. Krogh,
2010
.
Bruce H. Krogh,
Alexander S. Kott,
Martha Pollack,
1999
.
Bruce H. Krogh,
1999,
ICATPN.
Sumit Kumar Jha,
Bruce H. Krogh,
Goran Frehse,
2008,
HSCC.
Bruno Sinopoli,
Bruce H. Krogh,
Raffaele Romagnoli,
2018,
2019 American Control Conference (ACC).
Bruce H. Krogh,
Charles E. Thorpe,
C. Thorpe,
1986,
Proceedings. 1986 IEEE International Conference on Robotics and Automation.
Olaf Stursberg,
Bruce H. Krogh,
Zhi Han,
2003,
ADHS.
Bruce H. Krogh,
Tarek F. Abdelzaher,
Tian He,
2005,
SenSys '05.
Matthias Althoff,
Bruce H. Krogh,
B. Krogh,
2014,
IEEE Transactions on Automatic Control.
Kim G. Larsen,
Bruce H. Krogh,
Oded Maler,
2010,
INFINITY.
Bruce H. Krogh,
José Eduardo Ribeiro Cury,
Toshihiko Niinomi,
1995,
Hybrid Systems.
Bruce H. Krogh,
André Platzer,
Sarah M. Loos,
2012,
2012 American Control Conference (ACC).
Soummya Kar,
Bruce H. Krogh,
Mario Berges,
2012,
2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm).
Bruce H. Krogh,
Alexandre Donzé,
Akshay Rajhans,
2009,
HSCC.
Matthias Althoff,
Bruce H. Krogh,
B. Krogh,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Bruce H. Krogh,
Dai Feng,
1990,
IEEE Trans. Syst. Man Cybern..
Bruce H. Krogh,
Dai Feng,
1991,
J. Field Robotics.
Bruce H. Krogh,
Lawrence E. Holloway,
B. Krogh,
1994
.
Bruce H. Krogh,
1983,
IEEE Transactions on Power Apparatus and Systems.
Bruce H. Krogh,
Juhua Liu,
B. Erik Ydstie,
2011,
Proceedings of the 2011 American Control Conference.
Bruce H. Krogh,
Zbigniew Antoni Banaszak,
B. Krogh,
1990,
IEEE Trans. Robotics Autom..
Bruce H. Krogh,
Alongkrit Chutinan,
B. Krogh,
1997,
Hybrid Systems.
Bruce H. Krogh,
Timothy J. Graettinger,
1988,
1988 American Control Conference.
Bruce H. Krogh,
Peter H. Feiler,
Rajesh Kumar,
2005,
HSCC.
Bruce H. Krogh,
Enrique D. Ferreira,
1997,
Hybrid Systems.
Bruno Sinopoli,
Bruce H. Krogh,
James E. Weimer,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Bruno Sinopoli,
Bruce H. Krogh,
Raffaele Romagnoli,
2020,
2020 American Control Conference (ACC).
Bruce H. Krogh,
Nikos Aréchiga,
B. Krogh,
2014,
2014 American Control Conference.
Joël Ouaknine,
Olaf Stursberg,
Edmund M. Clarke,
2003,
Int. J. Found. Comput. Sci..
Gabriela Hug,
Bruce H. Krogh,
J. Zico Kolter,
2013,
2013 IEEE International Conference on Smart Grid Communications (SmartGridComm).
Emanuele Garone,
Bruno Sinopoli,
Bruce H. Krogh,
2010,
49th IEEE Conference on Decision and Control (CDC).
Bruce H. Krogh,
M. Rausch,
1998,
Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).
Ajinkya Bhave,
David Garlan,
Bruce H. Krogh,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Bruce H. Krogh,
José Eduardo Ribeiro Cury,
1999,
IEEE Trans. Autom. Control..
Bruce H. Krogh,
Tarek F. Abdelzaher,
Tian He,
2004,
MobiSys '04.
Bradley R. Schmerl,
Ajinkya Bhave,
David Garlan,
2011,
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.
Matthias Althoff,
Bruce H. Krogh,
B. Krogh,
2012,
HSCC '12.
Bruce H. Krogh,
José E. R. Cury,
1999
.
Sumit Kumar Jha,
Edmund M. Clarke,
Bruce H. Krogh,
2007,
HSCC.
Bruce H. Krogh,
1999,
HSCC.
Radu Marculescu,
Zhiyuan Ren,
Bruce H. Krogh,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Bruce H. Krogh,
Enrique D. Ferreira,
1998,
HSCC.
H. Vincent Poor,
Bruce H. Krogh,
1982,
Inf. Sci..
Bruce H. Krogh,
Enrique Ferreira,
1997,
Proceedings of the 36th IEEE Conference on Decision and Control.
Zhiyuan Ren,
Bruce H. Krogh,
2005,
IEEE Transactions on Automatic Control.
Bruce H. Krogh,
Ansgar Fehnker,
2006,
Int. J. Found. Comput. Sci..
Matthias Althoff,
Bruce H. Krogh,
Colas Le Guernic,
2011,
HSCC '11.
Rance Cleaveland,
Lui Sha,
Insup Lee,
2006,
Computer.
Stefan Kowalewski,
Sebastian Engell,
Bruce H. Krogh,
1995,
EUROSIM.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
George J. Pappas,
2001,
HSCC.
Bruce H. Krogh,
Juhua Liu,
B. Erik Ydstie,
2011,
2011 IEEE Power and Energy Society General Meeting.
Olaf Stursberg,
Edmund M. Clarke,
Bruce H. Krogh,
2003,
TACAS.
Bruno Sinopoli,
Bruce H. Krogh,
James E. Weimer,
2008,
2008 The 28th International Conference on Distributed Computing Systems Workshops.
Bradley R. Schmerl,
Ajinkya Bhave,
David Garlan,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Bruce H. Krogh,
B. I. Silva,
2000,
Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
Bruce H. Krogh,
Alongkrit Chutinan,
B. Krogh,
2003,
IEEE Trans. Autom. Control..
Bruno Sinopoli,
Bruce H. Krogh,
Raffaele Romagnoli,
2021,
2021 American Control Conference (ACC).
Bruce H. Krogh,
Jesse Thornburg,
2021
.
Bruce H. Krogh,
José E. R. Cury,
1999
.
Bruce H. Krogh,
Lawrence E. Holloway,
1989,
1989 American Control Conference.
Bruce H. Krogh,
Xu Cheng,
1996
.
Bruce H. Krogh,
Y. Brave,
B. Krogh,
1993
.
Bruce H. Krogh,
David W. Greve,
B. Krogh,
1997
.
Bruce H. Krogh,
B. Izaias Silva,
2000
.
Bruce H. Krogh,
David W. Greve,
B. Krogh,
1996
.
Rob A. Rutenbar,
Bruce H. Krogh,
Smriti Gupta,
2003
.
Bruce H. Krogh,
James M. Buffington,
Peter O. Stanfill,
2006
.
Olaf Stursberg,
Bruce H. Krogh,
O. Stursberg,
2005
.
Bruce H. Krogh,
B. Krogh,
2000
.
Bruce H. Krogh,
Lawrence E. Holloway,
1991
.
Bruce H. Krogh,
B. Erik Ydstie,
S. Balaji,
2010
.
Bruce H. Krogh,
Alongkrit Chutinan,
B. Krogh,
2000
.
Bruce H. Krogh,
B. Krogh,
2002,
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
Bruce H. Krogh,
José E. R. Cury,
Sa Catarina,
1999
.
David Garlan,
Bruce H. Krogh,
André Platzer,
2010
.