知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
0967-0661
刊名
Control Engineering Practice
参考译名
控制工程实践
收藏年代
2004~2024
全部
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2006, vol.14, no.1
2006, vol.14, no.10
2006, vol.14, no.11
2006, vol.14, no.12
2006, vol.14, no.2
2006, vol.14, no.3
2006, vol.14, no.4
2006, vol.14, no.5
2006, vol.14, no.6
2006, vol.14, no.7
2006, vol.14, no.8
2006, vol.14, no.9
题名
作者
出版年
年卷期
Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation
E. W. Endsley; E. E. Almeida; D. M. Tilbury
2006
2006, vol.14, no.10
Designing dependable logic controllers using algebraic specifications
Jean-Marc Roussel; Jean-Marc Faure
2006
2006, vol.14, no.10
Efficient supervisory synthesis of large systems
Arash Vahidi; Martin Fabian; Bengt Lennartson
2006
2006, vol.14, no.10
Applying automated control synthesis methods to condition systems requiring state observers
L. E. Holloway; Jeffrey Ashley; Yu Gong
2006
2006, vol.14, no.10
Efficient synthesis of production schedules by optimization of timed automata
Sebastian Panek; Olaf Stursberg; Sebastian Engell
2006
2006, vol.14, no.10
Modelling and control of discrete event systems using switching max-plus-linear systems
T. J. J. van den Boom; B. De Schutter
2006
2006, vol.14, no.10
An urban traffic network model via coloured timed Petri nets
Mariagrazia Dotoli; Maria Pia Fanti
2006
2006, vol.14, no.10
Monitor design for colored Petri nets: An application to deadlock prevention in railway networks
M. P. Fanti; A. Giua; C. Seatzu
2006
2006, vol.14, no.10
Design of user-interface without automation surprises for discrete event systems
Masakazu Adachi; Toshimitsu Ushio; Yoshitaka Ukawa
2006
2006, vol.14, no.10
ACTL strong negation and its application to hybrid systems verification
Zhi Han; Alongkrit Chutinan; Bruce H. Krogh
2006
2006, vol.14, no.10
制造业外文文献服务平台