长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
0018-9219
刊名
Proceedings of the IEEE
参考译名
电气与电子工程师学会会报
收藏年代
1998~2013
全部
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2000, vol.88, no.1
2000, vol.88, no.10
2000, vol.88, no.11
2000, vol.88, no.12
2000, vol.88, no.2
2000, vol.88, no.3
2000, vol.88, no.4
2000, vol.88, no.5
2000, vol.88, no.6
2000, vol.88, no.7
2000, vol.88, no.8
2000, vol.88, no.9
2000, vol.89, no.1
题名
作者
出版年
年卷期
A game theoretic approach to controller design for hybrid systems
Claire J. Tomlin; John Lygeros; S. Shankar Sastry
2000
2000, vol.88, no.7
Automotive engine control and hybrid systems: challenges and opportunities
Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Claudio Pinello; Alberto Luigi Sangiovanni-Vincentelli
2000
2000, vol.88, no.7
Continuous-discrete interactions in chemical processing plants
Sebastian Engell; Stefan Kowalewski; Christian Schulz; Olaf Stursberg
2000
2000, vol.88, no.7
Control design of an automated highway system
Roberto Horowitz; Pravin Varaiya
2000
2000, vol.88, no.7
Discrete abstractions of hybrid systems
Rajeev Alur; Thomas A. Henzinger; Gerardo Lafferriere; George J. Pappas
2000
2000, vol.88, no.7
Distance education: rebottling or a new brew?
Peter Wiesner
2000
2000, vol.88, no.7
Effective synthesis of switching controllers for linear systems
Eugene Asarin; Olivier Bournez; Thao Dang; Oded Maler; Amir Pnueli
2000
2000, vol.88, no.7
High-level modeling and analysis of the traffic alert and collision avoidance systems (TCAS)
Carolos Livadas; John Lygeros; Nancy A. Lynch
2000
2000, vol.88, no.7
Integration of task scheduling, action planning, and control in robotic manufacturing systems
Mumin Song; Tzyh-Jong Tarn; Ning Xi
2000
2000, vol.88, no.7
Logics for hybrid systems
J. M. Davoren; Anil Nerode
2000
2000, vol.88, no.7
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024