A framework to specify big data driven complex cyber physical control systems
暂无分享,去创建一个
[1] Yunhao Liu,et al. Big Data: A Survey , 2014, Mob. Networks Appl..
[2] Fei-Yue Wang,et al. Data-Driven Intelligent Transportation Systems: A Survey , 2011, IEEE Transactions on Intelligent Transportation Systems.
[3] Wladimir Schamai. Modelica Modeling Language (ModelicaML) : A UML Profile for Modelica , 2009 .
[4] Manfred Broy,et al. Engineering Cyber-Physical Systems: Challenges and Foundations , 2012, CSDM.
[5] Stefan Wrobel,et al. Spatiotemporal Modeling and Analysis—Introduction and Overview , 2012, KI - Künstliche Intelligenz.
[6] Ilja Radusch,et al. simTD: a car-to-X system architecture for field operational tests [Topics in Automotive Networking] , 2010, IEEE Communications Magazine.
[7] Helen Gill,et al. Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).
[8] He Jifeng,et al. A Clock-Based Framework for Construction of Hybrid Systems , 2013, ICTAC 2013.
[9] Yu Wang,et al. Vehicular Ad Hoc Networks , 2009, Guide to Wireless Ad Hoc Networks.
[10] Jo Ann Lane,et al. Using SysML modeling to understand and evolve systems of systems , 2013, Syst. Eng..
[11] Lichen Zhang,et al. A Case Study for Cyber Physical System with Hybrid Relation Calculus , 2014 .
[12] John A. Keane,et al. Big Data Framework , 2013, 2013 IEEE International Conference on Systems, Man, and Cybernetics.
[13] Hilding Elmqvist,et al. Physical system modeling with Modelica , 1998 .
[14] Peter H. Feiler,et al. The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .
[15] Steve Vestal,et al. An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2004, IFIP-WADL.
[16] Luc Quoniam,et al. How to Use Big Data Technologies to Optimize Operations in Upstream Petroleum Industry , 2013, ArXiv.
[17] Rajkumar Buyya,et al. Big Data Computing and Clouds: Challenges, Solutions, and Future Directions , 2013, ArXiv.
[18] S. Yousefi,et al. Vehicular Ad Hoc Networks (VANETs): Challenges and Perspectives , 2006, 2006 6th International Conference on ITS Telecommunications.
[19] Jifeng He. Hybrid Relation Calculus , 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.
[20] Ouverte OATAO. AADLib, a library of reusable AADL models , 2013 .
[21] Peter H. Feiler,et al. Developing AADL Models for Control Systems: A Practitioner's Guide , 2007 .
[22] Radha Poovendran,et al. Aviation Cyber–Physical Systems: Foundations for Future Aircraft and Air Transport , 2013, Proceedings of the IEEE.
[23] Jim Esch,et al. Prolog to "Aviation Cyber-Physical Systems: Foundations for Future Aircraft and Air Transport" , 2013, Proc. IEEE.
[24] Gertjan Looye. An Integrated Approach to Aircraft Modelling and Flight Control Law Design , 2008 .
[25] The SAE Architecture Analysis & Design Language ( AADL ) Standard , .
[26] C. L. Philip Chen,et al. Data-intensive applications, challenges, techniques and technologies: A survey on Big Data , 2014, Inf. Sci..
[27] Peter H. Feiler,et al. The SAE AADL Standard: an Architecture Analysis & Design Language for Embedded Real-time Systems, Part 2 , 2004 .
[28] Steve Vestal,et al. The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2003 .
[29] Yu-Chee Tseng,et al. Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Review from Wireless Sensor Networks towards Cyber Physical Systems , 2022 .