Including variability of physical models into the design automation of cyber-physical systems
暂无分享,去创建一个
[1] Alberto L. Sangiovanni-Vincentelli,et al. Co-design of control algorithm and embedded platform for building HVAC systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
[2] Michael Glaß,et al. A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems , 2011, SIGBED.
[3] Marcia Kilchenman O'Malley,et al. Mathematical equations as executable models of mechanical systems , 2010, ICCPS '10.
[4] Donald E. Kirk,et al. Optimal control theory : an introduction , 1970 .
[5] Arquimedes Canedo,et al. Context-sensitive synthesis of executable functional models of cyber-physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
[6] David Broman,et al. Meta-Languages and Semantics for Equation-Based Modeling and Simulation , 2010 .
[7] Gabor Karsai,et al. Design Space Exploration and Manipulation for Cyber Physical Systems , 2014 .
[8] K.-E. Arzen,et al. How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.
[9] Fumin Zhang,et al. Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.
[10] Edward A. Lee,et al. A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.
[11] Samarjit Chakraborty,et al. Co-design of cyber-physical systems via controllers with flexible delay constraints , 2011, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).
[12] Lothar Thiele,et al. Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).
[13] Petru Eles,et al. Control-quality driven design of cyber-physical systems with robustness guarantees , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[14] Edward A. Lee,et al. Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).