Computer Science ›› 2013, Vol. 40 ›› Issue (5): 24-30.
Previous Articles Next Articles
SHE Wei and YE Yang-dong
| [1] Lee E．Computing Foundations and Practice for Cyber-Physical Systems:a Preliminary Report[R]．University of California,USA,2007 [2] Lin J,Sedigh S,Miller A．A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems:A Proposal for Doctoral Research[C] ∥Proceedings of the 33rd Annual IEEE Inter- national Computer Software and Applications Conference．Seattle,USA:IEEE,2009:668-671 [3] 黎作鹏,张天驰,张菁．信息物理融合系统(CPS)研究综述[J]．计算机科学,2011,38(9):25-31 [4] Poovendran R．Cyber physical systems:Close Encounters Be-tween Two Parallel Words[J]．Proceedings of the IEEE,2010,98(8):263-1366 [5] Ilic D,Xie L,Khan A,et al．Modeling Future Cyber-Physical ener-gy Systems[C]∥Proceedings of the IEEE Power Engineering Society General Meeting．Pittsburgh,USA:IEEE,2008:1-9 [6] Derler P,Lee A,Vincentelli S．Modeling Cyber-Physical Systems[J]．Proceedings of the IEEE,2012,100(1):13-28 [7] Swain T,Couzin D,Leonard E．Real-Time Feedback-Controlled Robotic Fish for Behavioral Experiments With Fish Schools [J]．Proceedings of the IEEE,2012,100(1):150-163 [8] Zhihao J,Pajic M,Mangharam R．Cyber-Physical Modeling ofImplantable Cardiac Medical Devices[J]．Proceedings of the IEEE,2012,100(1):122-137 [9] Calhoun H,Lach J,Stankovic J,et al．Body Sensor Networks:A Holistic Approach From Silicon to Users[J]．Proceedings of the IEEE,2012,100(1):91-106 [10] Kinsy M,Khan O,Celanovic I．Time-Predictable Computer Architecture for Cyber-Physical Systems:Digital Emulation of Power E- lectronics Systems[C]∥Proceedings of the 32nd Real-Time Systems Symposium．Vienna,Australia:IEEE,2011:305-316 [11] 赵俊华,文福拴,薛禹胜,等.电力信息物理融合系统的建模分析与控制研究框架[J]．电力系统自动化,2011,35(16):1-8 [12] Bestavros A,Kfoury A,Lapets A,et al．Safe Compositional Network Sketches:Formal Framework[C]∥Proceedings of the 13th ACM International Conference on Hybrid Systems:Computation and Control．New York,USA:ACM,2010:231-241 [13] Al-Hammouri A,Liberatore V,Al-Omari H,et al．A co-simulation platform for actuator networks[C]∥Proceedings of the 5th International Conference on Embedded Networked Sensor Systems．New York,USA:ACM,2007:383-384 [14] Tan Y,Goddard S,Prez C．A Prototype Architecture for Cyber- Physical systems[J]．ACM SIGBED Review,2008,5(1):1-2 [15] Wan K,Man K L,Hughes D．Towards a Unified Framework for Cyber- Physical Systems(CPS)[C]∥ 2010First ACIS International Symposium on Cryptography,and Network Security,Data Mining and Knowledge Discovery,E-Commerce and Its Applications,and Embedded Systems．Qinhuangdao,China:IEEE,2010:292-295 [16] Antsaklis P．On Control and Cyber-Physical Systems:Challen-ges and Opportunities for Discrete Event and Hybrid Systems[C]∥Proceedings of the 9th International Workshop on Discrete Event Systems．Gteborg,Sweden:IEEE,2008:28-30 [17] 蔡热文．基于面向方面的吋间Petri网的实吋信息物理系统的建模 [D]．广州:广东工业大学,2012 [18] 叶阳东,王娟,贾利民．基于模糊时间Petri 网的列车运行时间不确定性问题的处理[J]．铁道学报,2005,27(1):6-13 [19] Giua A,Seatzu C．Modelingand Supervisory Control of Railwaynetworks using Petri Nets [J]．IEEE Transactions on Automation Science and Engineering,2008,5(3):431-445 [20] Lesire C,Tessier C．Particle Petri Nets for Aircraft Proceduremoni- toring under Uncertainty[C]∥Applications and Theory of Petri Nets 26th．Miami,FL,USA:Springer,2005:329-348 [21] 叶阳东,程少芬,王旭,等．基于一种混合Petri 网的列车运行系统的建模与分析[J]．铁道学报,2009,1(5):42-49 [22] 孟令云,杨肇夏,李海鹰．单线铁路区间能力失效条件下列车运行调整模型[J]．系统工程理论与实践,2012,32(4):885-894 [23] 章优仕,金炜东．单线列车运行调整的梯度搜索算法仿真与研究[J]．系统仿真学报,2010,22(11):2496-2501 [24] 戢晓峰,刘澜．铁路系统安全的人因研究综述[J]．人类工效学,2007,3(4):51-54 [25] Koval O,Floyd L．Human Element Factors Affecting Reliability and Safety[J]．IEEE Transactions on Industry Applications,1998,34(2):406-414 |
| No related articles found! |
|
||
Home