Three challenges in cyber-physical systems

作者: Rahul Mangharam , Houssam Abbas , Madhur Behl , Kuk Jang , Miroslav Pajic

DOI: 10.1109/COMSNETS.2016.7440015

关键词:

摘要: The tight coupling of computation, communication and control with physical systems such as actuation closed-loop medical devices within the human body, peak power minimization by coordination controllers across large industrial plants, fast life-critical decision making autonomous vehicles, present a set fundamental unique challenges. Each these require new approaches at intersection multiple scientific, disciplines. We discuss five challenges which creative insights application model-based design, systems, scheduling theory, formal methods, statistical machine learning domain-specific experimentation. ask following questions: (1) An device is implanted to your heart over period 5–7 years. How do you guarantee software in provides safe effective treatment under all physiological conditions? (2) Electricity prices US have summer peaks that are 32× their average winter 86×. can buildings respond massive swings energy time scales? (3) While wireless has been successfully used for open-loop monitoring tracking, how we operate network controllers. Furthermore, ensure robust, optimal secure presence node/link failures topology changes?

参考文章(40)
Eunkyoung Jee, Insup Lee, Oleg Sokolsky, Assurance cases in model-driven development of the pacemaker software leveraging applications of formal methods. ,vol. 6416, pp. 343- 356 ,(2010) , 10.1007/978-3-642-16561-0_33
C.N. Hadjicostis, R. Touri, Feedback control utilizing packet dropping network links conference on decision and control. ,vol. 2, pp. 1205- 1210 ,(2002) , 10.1109/CDC.2002.1184678
Charles Goldman, Coordination of Energy Efficiency and Demand Response Lawrence Berkeley National Laboratory. ,(2010)
Rahul Mangharam, Miroslav Pajic, Distributed Control for Cyber-Physical Systems Journal of the Indian Institute of Science. ,vol. 93, pp. 353- 388 ,(2013)
Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira, Formal Specification of a Cardiac Pacing System formal methods. ,vol. 5850, pp. 692- 707 ,(2009) , 10.1007/978-3-642-05089-3_44
Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam, Modeling and verification of a dual chamber implantable pacemaker tools and algorithms for construction and analysis of systems. ,vol. 7214, pp. 188- 203 ,(2012) , 10.1007/978-3-642-28756-5_14
Gerd Behrmann, Alexandre David, Kim G. Larsen, A Tutorial on UPPAAL formal methods. pp. 200- 236 ,(2004) , 10.1007/978-3-540-30080-9_7
Miroslav Pajic, Rahul Mangharam, Embedded Virtual Machines for Robust Wireless Control and Actuation real time technology and applications symposium. pp. 79- 88 ,(2010) , 10.1109/RTAS.2010.43
Zhihao Jiang, Rahul Mangharam, None, Modeling cardiac pacemaker malfunctions with the Virtual Heart Model international conference of the ieee engineering in medicine and biology society. ,vol. 2011, pp. 263- 266 ,(2011) , 10.1109/IEMBS.2011.6090051
William H Maisel, Michael O Sweeney, William G Stevenson, Kristin E Ellison, Laurence M Epstein, Recalls and Safety Alerts Involving Pacemakers and Implantable Cardioverter-Defibrillator Generators JAMA. ,vol. 286, pp. 793- 799 ,(2001) , 10.1001/JAMA.286.7.793