编辑配置文件(在新选项卡中打开) 布鲁斯·H·克罗。 合著者距离 作者ID: 克鲁格·布鲁塞 发布日期: 布鲁斯·H·克罗。;布鲁斯·克罗格;B.H.Krogh。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 52出版物自1978年以来 1名编辑贡献 合著者: 50位合著者具有53联合出版物 1835名合著作者 全部的 前5名合著者 0 单作者的 5 阿隆格利特·楚蒂南 5 克拉克(Edmund Melson jun Clarke)。 5 安斯加·芬克 5 奥拉夫·斯特斯伯格 4 阿克沙·拉汉斯 3 马蒂亚斯·阿尔霍夫 3 何塞·爱德华多·里贝罗(JoséEduardo Ribeiro Cury) 3 蒂莫西·格雷廷格。 3 韩、智 3 劳伦斯·霍洛韦(Lawrence E.Holloway)。 3 苏米特·库马尔·贾阿 3 詹姆斯·卡宾斯基 3 任志远 2 JoséB.jun克鲁兹。 2 冯、戴 2 奥德·马勒 2 Niinomi、Toshihiko 2 安德烈·普拉泽 2 迈克尔·西奥博尔德 1 尼科斯·阿雷奇加 1 兹比格尼夫·安东尼·巴纳扎克(Zbigniew Antoni Banaszak) 1 阿金基亚·巴韦 1 程旭 1 安东尼奥·爱德华多·卡里略(Antonio Eduardo Carrilho da Cunha) 1 Jyotirmoy V.德斯穆赫。 1 亚历山大·唐泽 1 彼得·费勒 1 恩里克·费雷拉。 1 戈兰·弗雷斯 1 大卫·加兰 1 JoséM.E.González。 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 乔纳森·惠 1 贾、董 1 科科托维奇(Petar V.Kokotovic)。 1 斯特凡·科瓦列夫斯基 1 拉杰什·库马尔 1 科拉斯·勒格尔尼奇 1 佛罗里达州勒达 1 南希·安·林奇 1 曼弗雷德·莫拉里 1 JoséM.F.穆拉。 1 乔尔·欧·瓦克宁。 1 可怜的哈罗德·文森特 1 伊凡·鲁奇金 1 Alberto L.Sangiovanni-Vincentelli。 1 Schmerl,Bradley R。 1 拉玛瓦拉普·斯雷尼瓦斯。 1 詹姆斯·韦默(James E.Weimer)。 1 张浩天 全部的 前5名系列 14 IEEE自动控制汇刊 2 最优化理论与应用杂志 2 国际计算机科学基础杂志 2 离散事件动态系统 1 Automatica公司 1 信息科学 1 数学和计算机建模 1 机器人系统杂志 1 IEEE信号处理汇刊 1 应用数学与计算机科学 1 动力系统的数学和计算机建模 1 计算机科学课堂讲稿 全部的 前5名领域 43 系统论;控制(93至XX) 28 计算机科学(68至XX) 4 运筹学、数学规划(90-XX) 3 变分法与最优控制;最优化(49至XX) 2 粒子和系统力学(70-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 常微分方程(34-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用377中的次294文件 引用人▼ 年份▼ 受控离散事件系统的Petri网方法综述。 Zbl 0968.93053号 霍洛韦,L.E。;B.H.Krogh。;A.Giua。 45 1997 混合系统验证的计算技术。 Zbl 1364.93457号 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 41 2003 使用多边形流动管道近似验证多面体不变混合自动机。 Zbl 0954.93020号 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 34 1999 一类受控Petri网的反馈控制逻辑综合。 Zbl 0709.68035号 劳伦斯·霍洛韦(Lawrence E.Holloway)。;布鲁斯·H·克罗。 28 1990 混合系统可达集的高效表示与计算。 Zbl 1032.93037号 奥拉夫·斯特斯伯格;布鲁斯·H·克罗。 26 2003 混合系统模型检验中的抽象和反例引导精化。 Zbl 1101.68678号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;约尔·瓦克宁;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 25 2003 非线性微分代数系统的可达性分析。 Zbl 1360.93082号 马蒂亚斯·阿尔霍夫;布鲁斯·H·克罗。 14 2014 不确定时变线性系统的可达集计算。 Zbl 1362.93013号 马蒂亚斯·阿尔霍夫;科拉斯·勒格尔尼奇;布鲁斯·H·克罗。 13 2011 基于反例引导抽象求精的混合系统验证。 Zbl 1031.68078号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 13 2003 线性混合自动机参数综合的反例指导方法。 Zbl 1143.68435号 戈兰·弗雷斯;苏米特·库马尔·贾阿;布鲁斯·H·克罗。 11 2008 使用近似商转换系统验证无限状态动力系统。 Zbl 1031.93123号 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 10 2001 混合系统可达性分析中避免几何交集运算。 Zbl 1362.93012号 马蒂亚斯·阿尔霍夫;布鲁斯·H·克罗。 9 2012 离散事件系统监督员的稳健性。 Zbl 1056.93563号 Jose E.R.Cury。;布鲁斯·H·克罗。 9 1999 使用低维多边形的大规模仿射系统的可达性分析。 兹比尔1178.93025 韩、智;布鲁斯·H·克罗。 8 2006 混合系统:计算和控制。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。 兹比尔0934.00029 8 2000 线性时不变系统可达状态估计的超平面方法。 Zbl 0725.93007号 T·J·格雷廷格。;B.H.Krogh。 8 1991 使用迭代松弛抽象的线性混合自动机的可达性。 兹比尔1221.93115 Jha,Sumit K。;布鲁斯·H·克罗。;詹姆斯·韦默(James E.Weimer)。;埃德蒙·克拉克(Edmund M.Clarke)。 8 2007 具有离散状态实现的条件/事件系统。 Zbl 0747.93059号 斯列尼瓦斯,R.S。;克罗,B.H。 7 1991 基于近似自动机的混合系统监控控制器综合。 Zbl 0905.93023号 JoséE.R.Cury。;布鲁斯·H·克罗。;Niinomi、Toshihiko 6 1998 使用状态接近和合并验证监控软件。 Zbl 1143.68457号 弗拉维奥·勒尔达;詹姆斯·卡宾斯基;埃德蒙·克拉克(Edmund M.Clarke)。;布鲁斯·H·克罗。 6 2008 使用反例片段细化混合系统的抽象。 Zbl 1078.93041号 安斯加·芬克;埃德蒙·克拉克;苏米特·库马尔·贾阿;布鲁斯·克罗格 6 2005 受控Petri网:教程调查。 Zbl 0850.93249号 霍洛韦,L.E。;B.H.Krogh。 4 1994 稳定性约束模型预测控制。 Zbl 1018.93008号 程旭;布鲁斯·H·克罗。 4 2001 鲁棒模型预测控制的LMI方法。 Zbl 1116.93027号 贾、董;B.H.Krogh。;奥拉夫·斯特斯伯格 4 2005 混合系统验证不是一件闲事。电子节气门控制案例研究。 Zbl 1108.68499号 安斯加·芬克;布鲁斯·H·克罗。 3 2004 关于保证跟踪性能的参考信号约束的计算。 Zbl 0763.93037号 蒂莫西·J·格雷廷格。;布鲁斯·H·克罗。 3 1992 混合系统的参数综合及其在Simulink模型中的应用。 兹比尔1237.93089 亚历山大·唐泽;布鲁斯·克罗格;阿克沙·拉汉斯 3 2009 具有分数成本的马尔可夫决策过程。 Zbl 1365.90261号 任志远;布鲁斯·H·克罗。 3 2005 开放连续系统的系统仿真。 Zbl 1032.93532号 吉姆·卡宾斯基;布鲁斯·H·克罗。;奥德·马勒;奥拉夫·斯特斯伯格 3 2003 使用无线传感器网络的动态场估计:估计误差和通信成本之间的权衡。 Zbl 1391.94651号 张浩天;JoséM.F.穆拉。;布鲁斯·克罗 3 2009 支持网络物理系统架构中的异构性。 Zbl 1360.93475号 阿克沙·拉汉斯;阿金基亚·巴韦;伊凡·鲁奇金;布鲁斯·H·克罗。;大卫·加兰;安德烈·普拉泽;布拉德利·施默尔 2 2014 使用观测器设计灵敏度降低补偿器。 Zbl 0389.93014号 布鲁斯·克罗格;J.B.jun克鲁兹。 2 1978 状态/事件系统的状态反馈控制。 Zbl 0857.93007号 B.H.Krogh。;科瓦列夫斯基,S。 1 1996 传统转向移动机器人的动态转向控制。 Zbl 0737.70015号 冯、戴;布鲁斯·H·克罗。 1 1991 事件驱动混合系统的监督:建模和合成。 Zbl 0991.93003号 JoséM.E.González。;安东尼奥·库尼亚。;JoséE.R.Cury。;布鲁斯·H·克罗。 1 2002 混合系统应用:矛盾?(摘要)。 Zbl 0991.93518号 阿尔贝托Sangiovanni-Vincentelli;托马斯·亨辛格(Thomas A.Henzinger)。;布鲁斯·H·克罗。;奥德·马勒;曼弗雷德·莫拉里 1 2002 混合动力系统验证不是一件闲事——电子节气门控制案例研究。 Zbl 1096.68670号 安斯加·芬克;布鲁斯·克罗 1 2006 计算一类线性混合系统的近似自动机。 兹伯利0928.93026 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 1 1999 使用行为关系对网络物理系统进行异构验证。 Zbl 1362.68181号 阿克沙·拉汉斯;布鲁斯·H·克罗。 1 2012 n维加速度约束时间最优控制。 Zbl 0599.49011号 冯、戴;布鲁斯·H·克罗。 1 1986 非线性微分代数系统的可达性分析。 Zbl 1360.93082号 马蒂亚斯·阿尔霍夫;布鲁斯·H·克罗。 14 2014 支持网络物理系统架构中的异构性。 Zbl 1360.93475号 阿克沙·拉汉斯;阿金基亚·巴韦;伊凡·鲁奇金;布鲁斯·H·克罗。;大卫·加兰;安德烈·普拉泽;施梅尔·布拉德利 2 2014 混合系统可达性分析中避免几何交集运算。 Zbl 1362.93012号 马蒂亚斯·阿尔霍夫;布鲁斯·H·克罗。 9 2012 使用行为关系对网络物理系统进行异构验证。 Zbl 1362.68181号 阿克沙·拉汉斯;布鲁斯·H·克罗。 1 2012 不确定时变线性系统的可达集计算。 Zbl 1362.93013号 马蒂亚斯·阿尔霍夫;科拉斯·勒格尔尼奇;布鲁斯·H·克罗。 13 2011 混合系统的参数综合及其在Simulink模型中的应用。 Zbl 1237.93089号 亚历山大·唐泽;布鲁斯·克罗格;阿克沙·拉汉斯 3 2009 使用无线传感器网络的动态场估计:估计误差和通信成本之间的权衡。 Zbl 1391.94651号 张浩天;JoséM.F.穆拉。;布鲁斯·克罗格 3 2009 线性混合自动机参数综合的反例指导方法。 Zbl 1143.68435号 戈兰·弗雷斯;苏米特·库马尔·贾阿;布鲁斯·H·克罗。 11 2008 使用状态接近和合并验证监控软件。 Zbl 1143.68457号 弗拉维奥·勒尔达;詹姆斯·卡宾斯基;埃德蒙·克拉克(Edmund M.Clarke)。;布鲁斯·H·克罗。 6 2008 使用迭代松弛抽象的线性混合自动机的可达性。 兹比尔1221.93115 Jha,Sumit K。;布鲁斯·H·克罗。;詹姆斯·韦默(James E.Weimer)。;埃德蒙·克拉克(Edmund M.Clarke)。 8 2007 使用低维多边形的大规模仿射系统的可达性分析。 Zbl 1178.93025号 韩、智;布鲁斯·H·克罗。 8 2006 混合动力系统验证不是一件闲事——电子节气门控制案例研究。 Zbl 1096.68670号 安斯加·芬克;布鲁斯·克罗 1 2006 使用反例片段细化混合系统的抽象。 兹比尔1078.93041 安斯加·芬克;埃德蒙·克拉克;苏米特·库马尔·贾阿;布鲁斯·克罗格 6 2005 鲁棒模型预测控制的LMI方法。 Zbl 1116.93027号 贾、董;B.H.Krogh。;奥拉夫·斯特斯伯格 4 2005 具有分数成本的马尔可夫决策过程。 Zbl 1365.90261号 任志远;布鲁斯·H·克罗。 3 2005 混合系统验证不是一件闲事。电子节气门控制案例研究。 兹比尔1108.68499 安斯加·芬克;布鲁斯·H·克罗。 3 2004 混合系统验证的计算技术。 Zbl 1364.93457号 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 41 2003 混合系统可达集的高效表示与计算。 Zbl 1032.93037号 奥拉夫·斯特斯伯格;布鲁斯·H·克罗。 26 2003 混合系统模型检验中的抽象和反例引导精化。 Zbl 1101.68678号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;约尔·瓦克宁;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 25 2003 基于反例引导抽象求精的混合系统验证。 Zbl 1031.68078号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 13 2003 开放连续系统的系统仿真。 Zbl 1032.93532号 吉姆·卡宾斯基;布鲁斯·H·克罗。;奥德·马勒;奥拉夫·斯特斯伯格 3 2003 事件驱动混合系统的监督:建模和合成。 Zbl 0991.93003号 JoséM.E.González。;安东尼奥·库尼亚。;JoséE.R.Cury。;布鲁斯·H·克罗。 1 2002 混合系统应用:矛盾?(摘要)。 Zbl 0991.93518号 阿尔贝托Sangiovanni-Vincentelli;托马斯·亨辛格(Thomas A.Henzinger)。;布鲁斯·H·克罗。;奥德·马勒;曼弗雷德·莫拉里 1 2002 使用近似商转换系统验证无限状态动力系统。 Zbl 1031.93123号 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 10 2001 稳定性约束模型预测控制。 Zbl 1018.93008号 程旭;布鲁斯·H·克罗。 4 2001 混合系统:计算和控制。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。 兹比尔0934.00029 8 2000 使用多边形流管近似验证多面体不变混合自动机。 兹比尔0954.93020 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 34 1999 离散事件系统监督员的稳健性。 Zbl 1056.93563号 Jose E.R.Cury。;布鲁斯·H·克罗。 9 1999 计算一类线性混合系统的近似自动机。 Zbl 0928.93026号 阿隆格利特·楚蒂南;布鲁斯·H·克罗。 1 1999 基于近似自动机的混合系统监控控制器综合。 Zbl 0905.93023号 JoséE.R.Cury。;布鲁斯·H·克罗。;Niinomi、Toshihiko 6 1998 受控离散事件系统的Petri网方法综述。 兹伯利0968.93053 霍洛韦,L.E。;B.H.Krogh。;A.Giua。 45 1997 状态/事件系统的状态反馈控制。 Zbl 0857.93007号 B.H.Krogh。;科瓦列夫斯基,S。 1 1996 受控Petri网:教程调查。 Zbl 0850.93249号 霍洛韦,L.E。;B.H.Krogh。 4 1994 关于保证跟踪性能的参考信号约束的计算。 Zbl 0763.93037号 蒂莫西·格雷廷格。;布鲁斯·H·克罗。 3 1992 线性时不变系统可达状态估计的超平面方法。 Zbl 0725.93007号 T·J·格雷廷格。;B.H.Krogh。 8 1991 具有离散状态实现的条件/事件系统。 Zbl 0747.93059号 斯列尼瓦斯,R.S。;B.H.Krogh。 7 1991 传统转向移动机器人的动态转向控制。 Zbl 0737.70015号 冯、戴;布鲁斯·H·克罗。 1 1991 一类受控Petri网的反馈控制逻辑综合。 Zbl 0709.68035号 劳伦斯·E·霍洛威。;布鲁斯·H·克罗。 28 1990 n维加速度约束时间最优控制。 兹伯利0599.49011 冯、戴;布鲁斯·H·克罗。 1 1986 使用观测器设计灵敏度降低补偿器。 Zbl 0389.93014号 布鲁斯·克罗格;J.B.jun克鲁兹。 2 1978 所有引用出版物 前5名被引用出版物 全部的 前5名665位作者引用 9 特雷杜普,罗尼 7 亚历山德罗·朱阿 6 Thao Dang先生 6 乔治·帕帕斯。 5 亚历山德罗·阿巴特 5 马蒂亚斯·阿尔霍夫 5 斯坦利·巴克 5 安托万·吉拉德 5 斯特凡·拉特肖恩 5 奥拉夫·斯特斯伯格 5 高井,Shigemasa 4 塞尔吉·博戈莫洛夫 4 帕拉萨拉·斯里达尔·达吉拉拉 4 戈兰·弗雷斯 4 布鲁斯·H·克罗。 4 卡拉广场 4 约格·莱斯 4 纳西·拉姆达尼 4 曼纽尔·席尔瓦 4 吴金钊 3 巴希尔·艾哈迈德 3 达姆,沃纳 3 雷蒙德·魔鬼队 3 马塞洛·福雷茨 3 托马斯·亨辛格(Thomas A.Henzinger)。 3 劳伦斯·霍洛韦(Lawrence E.Holloway)。 3 梁涛 3 廖伟 3 林,冯 3 约翰·莱杰罗斯 3 摩尔,托马斯 3 安德烈·普拉泽 3 帕维特拉·普拉巴卡 3 S.Shankar,萨斯特里 3 克里斯蒂安·席林 3 维奥里卡Sofrone-Stokkerman 3 Ushio、Toshimitsu 3 瓦茨奎兹,卡洛斯·雷纳托 3 马克·韦兹林格 2 哈萨内·阿拉 2 埃蒂安·安德烈 2 Antsaklis,Panos J。 2 爱迪生·F·阿鲁达。 2 尤金·亚萨林 2 杰弗里·阿什利 2 保罗·巴顿。 2 弗朗切斯科巴西勒 2 阿尔贝托·本普拉德 2 卢卡·本维努蒂 2 帕特里夏·鲍耶 2 托马斯·布里海耶 2 伊夫·坎多 2 贝努瓦查丘特 2 帕斯夸尔·恰奇奥 2 克拉克(Edmund Melson jun Clarke)。 2 迪马罗戈纳斯,迪莫斯五世。 2 托马索·德罗西 2 亚当·杜拉茨 2 埃罗菲耶夫·叶夫根尼 2 威廉·埃斯特胡岑 2 安斯加·芬克 2 马塞洛·杜特拉·弗拉戈索 2 阿列克谢·盖沃伦斯基(Alexei A.Gaivoronski)。 2 比尼特·戈什 2 米尔科·贾科布 2 恩斯特·莫里茨·哈恩 2 何安平 2 霍尔格·赫尔曼斯 2 拉尔夫·休克 2 保罗·B·杰克逊。 2 卡尔·亨利克·约翰逊 2 A.Agung朱利叶斯 2 豪尔赫·Jülvez 2 利迪亚·卡夫拉基。 2 尼古拉斯·科奇杜普尔 2 斯特凡·科瓦列夫斯基 2 丹尼尔·科宁 2 阿德里安·库姆伯格 2 科拉斯·勒格尔尼奇 2 李志武 2 林,王 2 费尔南多·洛博·佩雷拉 2 马自悦 2 克里斯蒂安·马胡利亚 2 鲁帕克·马朱姆达尔 2 奥德·马勒 2 纳西姆·梅斯莱姆 2 曼弗雷德·莫拉里 2 悉达多 2 乔尔·欧·瓦克宁。 2 阿米特·帕特拉。 2 埃里昂·普拉库 2 安德烈亚斯·波德尔斯基 2 玛丽亚·普兰迪尼 2 Randour,Mickael米凯尔 2 阿索克·库马尔·雷 2 Reißig、Gunther 2 塞德里克·里维埃 2 Alberto L.Sangiovanni-Vincentelli。 2 安妮·凯瑟琳·施穆克 …还有565名作者 全部的 前5名64篇连载文章被引用 38 Automatica公司 22 离散事件动态系统 18 非线性分析。混合动力系统 15 国际控制杂志 13 欧洲控制杂志 12 理论计算机科学 12 系统设计中的形式化方法 10 系统和控制信件 6 富兰克林研究所期刊 6 信息与计算 5 信息科学 4 国际鲁棒非线性控制杂志 4 计算机基础理论 3 信息学报 3 非线性分析。理论、方法和应用。系列A:理论与方法 3 MCSS公司。控制、信号和系统数学 3 自动化和远程控制 3 计算机科学中的数学 2 应用数学与计算 2 最优化理论与应用杂志 2 自动推理杂志 2 数学和计算机建模 2 计算的形式方面 2 国际计算机科学基础杂志 2 全球优化杂志 2 微分方程 2 逻辑与代数程序设计杂志 2 科学中国。信息科学 2 国际系统科学杂志。系统与集成原理与应用 1 人工智能 1 计算机与数学及其应用 1 模糊集与系统 1 计算机与系统科学杂志 1 模拟中的数学与计算机 1 数值数学 1 SIAM控制与优化杂志 1 运营研究信件 1 国际生产研究杂志 1 符号计算杂志 1 顺序分析 1 偏微分方程的数值方法 1 机器人系统杂志 1 智能与机器人系统杂志 1 动力学和控制 1 应用数学建模 1 欧洲运筹学杂志 1 线性代数及应用 1 数学编程。A系列B系列 1 SIAM科学计算杂志 1 工程中的数学问题 1 自然与社会中的离散动力学 1 非线性科学与数值模拟中的通信 1 系统科学与复杂性杂志 1 应用数学杂志 1 萨达纳 1 模糊优化与决策 1 差分方程研究进展 1 中国科学。F系列 1 浙江大学学报。科学A 1 计算机科学中的逻辑方法 1 控制科学与工程杂志 1 集值和变分分析 1 数值代数、控制与优化 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在25个字段中引用 200 系统论;控制(93至XX) 126 计算机科学(68至XX) 22 运筹学、数学规划(90-XX) 20 变分法与最优控制;最优化(49至XX) 14 常微分方程(34-XX) 14 数值分析(65-XX) 10 生物学和其他自然科学(92-XX) 6 数学逻辑和基础(03-XX) 6 概率论与随机过程(60-XX) 5 线性代数和多线性代数;矩阵理论(15-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 信息与通信理论、电路(94-XX) 4 组合数学(05-XX) 4 统计学(62-XX) 3 算子理论(47-XX) 2 动力系统和遍历理论(37至XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 实函数(26年X月X日) 1 测量和集成(28-XX) 1 差分方程和函数方程(39至XX) 1 几何图形(51至XX) 1 凸和离散几何(52至XX) 1 粒子和系统力学(70-XX) 1 可变形固体力学(74-XX) 按年份列出的引文