A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations
作者： Sean Whitsitt
DOI:
关键词:
摘要:
openrepository.com参考文章(34)
Sebastian Wätzoldt, Stefan Neumann, Falk Benke, Holger Giese, Integrated software development for embedded robotic systems simulation modeling and programming for autonomous robots. pp. 335- 348 ,(2012) , 10.1007/978-3-642-34327-8_31
Albert Zündorf, Andy Schürr, Manfred Nagl, Applications of Graph Transformations with Industrial Relevance ,(2004)
Anneke Kleppe, Jos Warmer, The Object Constraint Language: Getting Your Models Ready for MDA Addison-Wesley. ,(2003)
D. Sharp, Real-time distributed object computing: ready for mission-critical embedded system applications international symposium on distributed objects and applications. pp. 3- 4 ,(2001) , 10.1109/DOA.2001.954064
G. Shaffer, A. Stentz, A robotic system for underground coal mining international conference on robotics and automation. pp. 633- 638 ,(1992) , 10.1109/ROBOT.1992.220221
Lichen Zhang, Modeling Automotive Cyber Physical Systems 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science. pp. 71- 75 ,(2013) , 10.1109/DCABES.2013.20
S. Thrun, Winning the DARPA grand challenge IFAC Proceedings Volumes. ,vol. 39, pp. 1- 1 ,(2006) , 10.3182/20060912-3-DE-2911.00002
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot, A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) international conference on distributed computing systems workshops. pp. 303- 308 ,(2012) , 10.1109/ICDCSW.2012.72
Qiang Wang, Gang Yang, Xingshe Zhou, Yalei Yang, Discrete Hybrid Automata for Safe Cyber-physical System: An Astronautic Case Study 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing. pp. 137- 142 ,(2013) , 10.1109/DASC.2013.51
Jonathan Sprinkle, Generative Components for Hybrid Systems Tools The Journal of Object Technology. ,vol. 4, pp. 33- 38 ,(2005) , 10.5381/JOT.2005.4.3.A5