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! |
|