中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0967-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 generationE. W. Endsley; E. E. Almeida; D. M. Tilbury20062006, vol.14, no.10
Designing dependable logic controllers using algebraic specificationsJean-Marc Roussel; Jean-Marc Faure20062006, vol.14, no.10
Efficient supervisory synthesis of large systemsArash Vahidi; Martin Fabian; Bengt Lennartson20062006, vol.14, no.10
Applying automated control synthesis methods to condition systems requiring state observersL. E. Holloway; Jeffrey Ashley; Yu Gong20062006, vol.14, no.10
Efficient synthesis of production schedules by optimization of timed automataSebastian Panek; Olaf Stursberg; Sebastian Engell20062006, vol.14, no.10
Modelling and control of discrete event systems using switching max-plus-linear systemsT. J. J. van den Boom; B. De Schutter20062006, vol.14, no.10
An urban traffic network model via coloured timed Petri netsMariagrazia Dotoli; Maria Pia Fanti20062006, vol.14, no.10
Monitor design for colored Petri nets: An application to deadlock prevention in railway networksM. P. Fanti; A. Giua; C. Seatzu20062006, vol.14, no.10
Design of user-interface without automation surprises for discrete event systemsMasakazu Adachi; Toshimitsu Ushio; Yoshitaka Ukawa20062006, vol.14, no.10
ACTL strong negation and its application to hybrid systems verificationZhi Han; Alongkrit Chutinan; Bruce H. Krogh20062006, vol.14, no.10



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024