信息物理融合系统中的突现：潜力与风险

Shmuel TYSZBEROWICZ; David FAITELSON

doi:10.1631/FITEE.2000279

Your Location：

Home >

Browse articles >

信息物理融合系统中的突现：潜力与风险

模型驱动的网络物理系统软件开发专题 | Updated：2022-05-19

- 信息物理融合系统中的突现：潜力与风险
- Emergence in cyber-physical systems: potential and risk
- 信息与电子工程前沿（英文） 2020年21卷第11期页码：1554-1566
- Affiliations：
  
  RISE-Centre for Research and Innovation in Software Engineering, Southwest University, Chongqing 400715, China
  Department of Software Engineering, Afeka Tel Aviv Academic College of Engineering, 6998812 Tel Aviv, Israel
- Author bio：
  
  Shmuel TYSZBEROWICZ, tyshbe@tau.ac.il
  David FAITELSON, davidf@afeka.ac.il
- Funds：
  
  Project supported by the Capacity Development Fund of Southwest University, China (No. SWU116007) and the National Natural Science Foundation of China (Nos. 61732019, 61672435, and 61811530327)
- DOI：10.1631/FITEE.2000279
  中图分类号： TP311
- 收稿：2020-06-09，
  
  修回：2020-10-22，
  
  纸质出版：2020-11
- Accepted：
Scan QR Code
Shmuel TYSZBEROWICZ, David FAITELSON. 信息物理融合系统中的突现：潜力与风险[J]. 信息与电子工程前沿（英文）, 2020,21(11):1554-1566.

TYSZBEROWICZ Shmuel, FAITELSON David. Emergence in cyber-physical systems: potential and risk[J]. Frontiers of Information Technology & Electronic Engineering, 2020, 21(11): 1554-1566.
Shmuel TYSZBEROWICZ, David FAITELSON. 信息物理融合系统中的突现：潜力与风险[J]. 信息与电子工程前沿（英文）, 2020,21(11):1554-1566. DOI： 10.1631/FITEE.2000279.

TYSZBEROWICZ Shmuel, FAITELSON David. Emergence in cyber-physical systems: potential and risk[J]. Frontiers of Information Technology & Electronic Engineering, 2020, 21(11): 1554-1566. DOI： 10.1631/FITEE.2000279.

摘要

信息物理融合系统是集计算、通信、物理等组件的分布式集合体，能够感知环境，通过算法评估收到的信息，并且影响其所在的物理环境。信息物理融合系统与其他复杂适应系统有相同的结构，也因此同样承受突现可能带来的有利与不利影响。突现是个体系统组件与环境交互引起的意料之外的模式。本文聚焦信息物理融合系统中关于突现的3个主要问题：如何成功利用突现，如何避免单个信息物理融合系统中的突现产生的不利影响，以及如何避免同一环境中多个独立开发的信息物理融合系统间由意外交互引起的不利影响。本文回顾这些问题的研究现状，并概述相关方法。

Abstract

Cyber-physical systems (CPSs) are distributed assemblages of computing

communicating

and physical components that sense their environment

algorithmically assess the incoming information

and affect their physical environment. Thus

they share a common structure with other complex adaptive systems

and therefore share both the possible benefits and the probable harmful effects of emergent phenomena. Emergence is an often unexpected pattern that arises from the interactions among the individual system components and the environment. In this paper we focus on three major problems concerning emergence in the context of CPSs: how to successfully exploit emergence

how to avoid its detrimental effects in a single CPS

and how to avoid harmful emergence that arises due to unexpected interaction among several independently developed CPSs that are operating in the same environment. We review the state of the research with regard to these problems and outline several approaches that could be used to address them.

关键词

Keywords

references

A Adamatzky . . Game of Life Cellular Automata . . Springer, London, UK , , 2010 . . DOI: 10.1007/978-1-84996-217-9 http://doi.org/10.1007/978-1-84996-217-9 . .

G Ariel , , , A Ayali . . Locust collective motion and its modeling . . PLoS Comput Biol , , 2015 . . 11 ( ( 12 ): ): e1004522 DOI: 10.1371/journal.pcbi.1004522 http://doi.org/10.1371/journal.pcbi.1004522 . .

R Baheti , , , H Gill . . Cyber-physical systems. In: Samad T, Annaswamy AM (Eds.), The Impact of Control Technology . . IEEE Control Systems Sociery , , 2011 . . .

G Baird . . Eastgate Centre, Harare, Zimbabwe.In: The Architectural Expression of Environmental Control Systems . . Taylor $\&$ Francis , , 2003 . . .

RA Brooks . . Elephants don't play chess . . Robot Auton Syst , , 1990 . . 6 ( ( 1-2 ): ): 3 - - 15 . . DOI: 10.1016/S0921-8890(05)80025-9 http://doi.org/10.1016/S0921-8890(05)80025-9 . .

M Broy , , , H Daembkes , , , J Sztipanovits . . Editorial to the theme section on model-based design of cyber-physical systems . . Softw Syst Model , , 2019 . . 18 ( ( 3 ): ): 1575 - - 1576 . . DOI: 10.1007/s10270-018-0670-9 http://doi.org/10.1007/s10270-018-0670-9 . .

SV Buldyrev , , , R Parshani , , , G Paul , , , 等 . . Catastrophic cascade of failures in interdependent networks . . Nature , , 2010 . . 464 ( ( 7291 ): ): 1025 - - 1028 . . DOI: 10.1038/nature08932 http://doi.org/10.1038/nature08932 . .

T Cabannes , , , M Sangiovanni , , , A Keimer , , , 等 . . Regrets in routing networks: measuring the impact of routing apps in traffic . . ACM Trans Spat Algor Syst , , 2019 . . 5 ( ( 2 ): ): 9 DOI: 10.1145/3325916 http://doi.org/10.1145/3325916 . .

L Catarinucci , , , D de Donno , , , L Mainetti , , , 等 . . An IoT-aware architecture for smart healthcare systems . . IEEE Int Things J , , 2015 . . 2 ( ( 6 ): ): 515 - - 526 . . . .

H Chen . . Applications of cyber-physical system: a literature review . . J Ind Integr Manag , , 2017 . . 2 ( ( 3 ): ): 1750012 DOI: 10.1142/S2424862217500129 http://doi.org/10.1142/S2424862217500129 . .

CD Clack , , , L Carlos-Sandberg . . InterDyne: a simulation method for exploring emergent behavior deriving from interaction dynamics.In: Rainey LB, Jamshidi M (Eds.), Engineering Emergence: a Modeling and Simulation Approach . . CRC Press, Boca Raton , , 2018 . . DOI: 10.1201/9781138046412-20 http://doi.org/10.1201/9781138046412-20 . .

T Clarke . . High-frequency trading and dark pools: sharks never sleep . . Law Finan Mark Rev , , 2014 . . 8 ( ( 4 ): ): 342 - - 351 . . DOI: 10.5235/17521440.8.4.342 http://doi.org/10.5235/17521440.8.4.342 . .

JH Connell . . A Colony Architecture for an Artificial Creature . . PhD Dissemination, Massachusetts Institute of Technology, Cambridge, USA , , 1989 . . .

IIK Culik , , , LP Hurd , , , S Yu . . Computation theoretic aspects of cellular automata . . Phys D Nonl Phenom , , 1990 . . 45 ( ( 1-3 ): ): 357 - - 378 . . DOI: 10.1016/0167-2789(90)90194-T http://doi.org/10.1016/0167-2789(90)90194-T . .

M D'Angelo , , , M Caporuscio , , , A Napolitano . . Model-driven engineering of decentralized control in cyber-physical systems . . IEEE $2^{\rm nd}$ Int Workshops on Foundations and Applications of Self$^\ast$ Systems , , 2017 . . 7 - - p.12 . . DOI: 10.1109/FAS-W.2017.113 http://doi.org/10.1109/FAS-W.2017.113 . .

X Fang , , , S Misra , , , GL Xue , , , 等 . . Smart grid—the new and improved power grid: a survey . . IEEE Commun Surv Tutor , , 2012 . . 14 ( ( 4 ): ): 944 - - 980 . . DOI: 10.1109/SURV.2011.101911.00087 http://doi.org/10.1109/SURV.2011.101911.00087 . .

TLJ Ferris . . The challenge of performing research which will contribute helpful engineering knowledge concerning emergence.In: Rainey LB, Jamshidi M (Eds.), Engineering Emergence: a Modeling and Simulation Approach . . CRC Press, Boca Raton , , 2018 . . DOI: 10.1201/9781138046412-14 http://doi.org/10.1201/9781138046412-14 . .

T Gabor , , , L Belzner , , , M Kiermeier , , , 等 . . A simulation-based architecture for smart cyber-physical systems . . IEEE Int Conf on Autonomic Computing , , 2016 . . p.374 - - 379 . . DOI: 10.1109/ICAC.2016.29 http://doi.org/10.1109/ICAC.2016.29 . .

M Gadomska , , , A Pacut . . Performance of ant routing algorithms when using TCP. In: Giacobini M (Ed.), Applications of Evolutionary Computing . . Springer, Berlin, Heidelberg , , 2007 . . p.1 - - 10 . . DOI: 10.1007/978-3-540-71805-5_1 http://doi.org/10.1007/978-3-540-71805-5_1 . .

DJ Glancy . . Sharing the road: smart transportation infrastructure . . Fordham Urban Law J , , 2013 . . 41 ( ( 5 ): ): 1617 - - 1664 . . . .

GLOBES . . Waze Makes the Jams Worse . . Newspaper , , 2018 . . 2020 https://en.globes.co.il/en/article-waze-makes-the-jams-worse-1001248309 https://en.globes.co.il/en/article-waze-makes-the-jams-worse-1001248309 , , [Accessed on Sept. 13, 2020] . .

ER Griffor , , , C Greer , , , DA Wollman , , , 等 . . Framework for Cyber-Physical Systems: Volume 1, Overview. Technical Report, No.~1500-201 . . National Institute of Standards and Technology, USA , , 2017 . . .

LH Gunderson . . Ecological resilience—in theory and application . . Ann Rev Ecol Syst , , 2000 . . 31 ( ( 1 ): ): 425 - - 439 . . DOI: 10.1146/annurev.ecolsys.31.1.425 http://doi.org/10.1146/annurev.ecolsys.31.1.425 . .

A Haber , , , H Rendel , , , B Rumpe , , , 等 . . Delta modeling for software architectures . . Modellbasierte Entwicklung eingebetteter Systeme , , 2011 . . p.1 - - 10 . . . .

JH Holland . . Complex adaptive systems . . Daedalus , , 1992 . . 121 ( ( 1 ): ): 17 - - 30 . . . .

JH Holland . . Emergence: from Chaos to Order . . Perseus Publishing , , 1999 . . .

JH Holland . . Studying complex adaptive systems . . J Syst Sci Compl , , 2006 . . 19 ( ( 1 ): ): 1 - - 8 . . DOI: 10.1007/s11424-006-0001-z http://doi.org/10.1007/s11424-006-0001-z . .

T Holland . . Foundations for the modeling and simulation of emergent behavior systems. In: Rainey LB, Jamshidi M (Eds.), Engineering Emergence: a Modeling and Simulation Approach . . CRC Press, Boca Raton , , 2018 . . DOI: 10.1201/9781138046412-10 http://doi.org/10.1201/9781138046412-10 . .

F Hu . . Cyber-Physical Systems: Integrated Computing and Engineering Design . . CRC Press, Boca Raton , , 2013 . . DOI: 10.1201/b15552 http://doi.org/10.1201/b15552 . .

JJ Johnson , , , JJ Padilla . . An ontology of emergence. In: Rainey LB, Jamshidi M (Eds.), Engineering Emergence: a Modeling and Simulation Approach . . CRC Press, Boca Raton , , 2018 . . DOI: 10.1201/9781138046412-8 http://doi.org/10.1201/9781138046412-8 . .

JJ Johnson , , , JJ Padilla , , , A Sousa-Poza . . Modeling emergence in systems of systems using thermodynamic concepts. In: Mittal S, Diallo S, Tolk A (Eds.), Emergent Behavior in Complex Systems Engineering: a Modeling and Simulation Approach . . John Wiley $\&$ Sons, Inc , , 2018 . . DOI: 10.1002/9781119378952.ch8 http://doi.org/10.1002/9781119378952.ch8 . .

JC Jones , , , BP Oldroyd . . Nest thermoregulation in social insects . . Adv Insect Physiol , , 2006 . . 33 153 - - 191 . . DOI: 10.1016/S0065-2806(06)33003-2 http://doi.org/10.1016/S0065-2806(06)33003-2 . .

H Jun , , , ZM Liu , , , GM Reed , , , 等 . . Ensemble engineering and emergence.In: Wirsing M, Banâtre JP, Hölzl M, et al. (Eds.), Software-Intensive Systems and New Computing Paradigms: Challenges and Visions . . Springer, Berlin, Heidelberg , , 2008 . . p.162 - - 178 . . DOI: 10.1007/978-3-540-89437-7_11 http://doi.org/10.1007/978-3-540-89437-7_11 . .

CB Keating , , , JJ Padilla , , , K Adams . . System of systems engineering requirements: challenges and guidelines . . Eng Manag J , , 2008 . . 20 ( ( 4 ): ): 24 - - 31 . . DOI: 10.1080/10429247.2008.11431785 http://doi.org/10.1080/10429247.2008.11431785 . .

A Khuong , , , J Gautrais , , , A Perna , , , 等 . . Stigmergic construction and topochemical information shape ant nest architecture . . Proc Natl Acad Sci USA , , 2016 . . 113 ( ( 5 ): ): 1303 - - 1308 . . DOI: 10.1073/pnas.1509829113 http://doi.org/10.1073/pnas.1509829113 . .

D Kondepudi , , , I Prigogine . . Modern Thermodynamics: from Heat Engines to Dissipative Structures ($2^{\rm nd}$ Ed.). John Wiley $\&$ Sons . . New York , , 2014 . . DOI: 10.1002/9781118698723 http://doi.org/10.1002/9781118698723 . .

H Kopetz , , , A Bondavalli , , , F Brancati , , , 等 . . Emergence in cyber-physical systems-of-systems (CPSoSs).In: Bondavalli A, Bouchenak S, Kopetz H (Eds.), Cyber-Physical Systems of Systems . . Springer, Cham , , 2016 . . p.73 - - 96 . . DOI: 10.1007/978-3-319-47590-5_3 http://doi.org/10.1007/978-3-319-47590-5_3 . .

J Korb . . Thermoregulation and ventilation of termite mounds . . Naturwissenschaften , , 2003 . . 90 ( ( 5 ): ): 212 - - 219 . . DOI: 10.1007/s00114-002-0401-4 http://doi.org/10.1007/s00114-002-0401-4 . .

X Koutsoukos , , , G Karsai , , , A Laszka , , , 等 . . SURE: a modeling and simulation integration platform for evaluation of secure and resilient cyber-physical systems . . Proc IEEE , , 2018 . . 106 ( ( 1 ): ): 93 - - 112 . . DOI: 10.1109/JPROC.2017.2731741 http://doi.org/10.1109/JPROC.2017.2731741 . .

JO Ledyard , , , D Porter , , , A Rangel . . Using computerized exchange systems to solve an allocation problem in project management . . J Organ Comput , , 1994 . . 4 ( ( 3 ): ): 271 - - 296 . . DOI: 10.1080/10919399409540228 http://doi.org/10.1080/10919399409540228 . .

EA Lee . . The past, present and future of cyber-physical systems: a focus on models . . Sensors , , 2015 . . 15 ( ( 3 ): ): 4837 - - 4869 . . DOI: 10.3390/s150304837 http://doi.org/10.3390/s150304837 . .

M Lenglet . . Conflicting codes and codings: how algorithmic trading is reshaping financial regulation . . Theory Cult Soc , , 2011 . . 28 ( ( 6 ): ): 44 - - 66 . . DOI: 10.1177/0263276411417444 http://doi.org/10.1177/0263276411417444 . .

C Liu , , , QP Zhang , , , X Zhang . . Emergence and disappearance of traffic congestion in weight-evolving networks . . Simul Modell Pract Theory , , 2009 . . 17 ( ( 10 ): ): 1566 - - 1574 . . DOI: 10.1016/j.simpat.2009.06.001 http://doi.org/10.1016/j.simpat.2009.06.001 . .

M Macchi , , , I Roda , , , E Negri , , , 等 . . Exploring the role of digital twin for asset lifecycle management . . IFAC-PapersOnLine , , 2018 . . 51 ( ( 11 ): ): 790 - - 795 . . DOI: 10.1016/j.ifacol.2018.08.415 http://doi.org/10.1016/j.ifacol.2018.08.415 . .

MW Maier . . Architecting principles for systems-of-systems . . INCOSE Int Symp , , 1996 . . 6 ( ( 1 ): ): 565 - - 573 . . DOI: 10.1002/j.2334-5837.1996.tb02054.x http://doi.org/10.1002/j.2334-5837.1996.tb02054.x . .

MW Maier . . The role of modeling and simulation in system of systems development.In: Rainey LB, Tolk A (Eds.), Modeling and Simulation Support for System of Systems Engineering Applications . . Wiley $\&$ Sons, Hoboken , , 2015 . . DOI: 10.1002/9781118501757.ch2 http://doi.org/10.1002/9781118501757.ch2 . .

MW Maier , , , E Rechtin . . The Art of Systems Architecting . . CRC Press, Inc , , 1997 . . .

S Mittal , , , S Diallo , , , A Tolk . . Emergent Behavior in Complex Systems Engineering: a Modeling and Simulation Approach . . John Wiley $\&$ Sons, Inc , , 2018 . . DOI: 10.1002/9781119378952 http://doi.org/10.1002/9781119378952 . .

L Monostori . . Cyber-physical systems.In: Chatti S, Tolio T (Eds.), CIRP Encyclopedia of Production Engineering . . Springer, Berlin , , 2018 . . DOI: 10.1007/978-3-642-35950-7_16790-1 http://doi.org/10.1007/978-3-642-35950-7_16790-1 . .

PJ Mosterman , , , J Zander . . Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems . . Softw Syst Model , , 2016 . . 15 ( ( 1 ): ): 5 - - 16 . . DOI: 10.1007/s10270-015-0469-x http://doi.org/10.1007/s10270-015-0469-x . .

C Ncube , , , SL Lim , , , H Dogan . . Identifying top challenges for international research on requirements engineering for systems of systems engineering . . $21^{\rm st}$ IEEE Int Requirements Engineering Conf , , 2013 . . p.342 - - 344 . . DOI: 10.1109/RE.2013.6636746 http://doi.org/10.1109/RE.2013.6636746 . .

H Neema , , , J Sztipanovits , , , C Steinbrink , , , 等 . . Simulation integration platforms for cyber-physical systems . . Proc Workshop on Design Automation for CPS and IoT , , 2019 . . p.10 - - 19 . . DOI: 10.1145/3313151.3313169 http://doi.org/10.1145/3313151.3313169 . .

N Nisan , , , T Roughgarden , , , É Tardos , , , 等 . . Algorithmic Game Theory . . Cambridge University Press, Cambridge , , 2007 . . DOI: 10.1017/CBO9780511800481 http://doi.org/10.1017/CBO9780511800481 . .

M Novak , , , U Wilensky . . Netlogo Daisyworld Model (Center for Connected Learning and Computer-Based Modeling . . Northwestern University, Evanston, IL) , , 2006 . . .

MIC Nwogugu . . Illegal Online File Sharing, Decision-Analysis, and the Pricing of Digital Goods . . CRC Press, Boca Raton , , 2016 . . DOI: 10.1201/9781315383149 http://doi.org/10.1201/9781315383149 . .

D Perez-Palacin , , , R Mirandola . . Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation . . Proc $5^ {\rm th}$ ACM/SPEC Int Conf on Performance Engineering , , 2014 . . p.3 - - 14 . . DOI: 10.1145/2568088.2568095 http://doi.org/10.1145/2568088.2568095 . .

G Peterson , , , CR Allen , , , CS Holling . . Ecological resilience, biodiversity, and scale . . Ecosystems , , 1998 . . 1 ( ( 1 ): ): 6 - - 18 . . DOI: 10.1007/s100219900002 http://doi.org/10.1007/s100219900002 . .

MD Petty . . Modeling and validation challenges for complex systems.In: Rainey LB, Jamshidi M (Eds.), Engineering Emergence: a Modeling and Simulation Approach . . CRC Press, Boca Raton , , 2018 . . DOI: 10.1201/9781138046412-9 http://doi.org/10.1201/9781138046412-9 . .

JR Pierce . . An Introduction to Information Theory: Symbols, Signals and Noise.Symbols, Signals and Noise . . Dover Publications , , 2012 . . .

LL Pullum . . Software Fault Tolerance Techniques and Implementation . . Artech House, Inc., Norwood, USA , , 2001 . . .

P Rendell . . Turing universality of the game of life. In: Adamatzky A (Ed.), Collision-Based Computing . . Springer, London , , 2002 . . p.513 - - 539 . . DOI: 10.1007/978-1-4471-0129-1_18 http://doi.org/10.1007/978-1-4471-0129-1_18 . .

T Salem . . Why Some Cities Have Had Enough of Waze . . Newspaper , , 2018 . . 2020 https://www.usnews.com/news/national-news/articles/2018-05-07/why-some-cities-have-had-enough-of-waze https://www.usnews.com/news/national-news/articles/2018-05-07/why-some-cities-have-had-enough-of-waze , , [Accessed on Sept. 13, 2020] . .

RG Sanfelice . . Analysis and design of cyber-physical systems: a hybrid control systems approach. In: Rawat DB, Rodrigues JJPC, Stojmenovic I (Eds.), Cyber-Physical Systems: from Theory to Practice . . CRC Press , , 2015 . . p.3 - - 13 . . . .

RK Sawyer . . Social Emergence: Societies as Complex Systems . . Cambridge University Press, Cambridge , , 2005 . . DOI: 10.1007/s11577-007-0008-z http://doi.org/10.1007/s11577-007-0008-z . .

J Schaff . . Leveraging deterministic chaos to mitigate combinatorial explosions.In: Rainey LB, Jamshidi M (Eds.), Engineering Emergence: a Modeling and Simulation Approach . . CRC Press, Boca Raton , , 2018 . . DOI: 10.1201/9781138046412-5 http://doi.org/10.1201/9781138046412-5 . .

A Smith . . An Inquiry into the Nature and Causes of the Wealth of Nations.In: Bullock CJ (Ed.), Wealth of Nations . . Cosimo Classics , , 2002 . . https://www.amazon.com/Wealth-Nations-Cosimo-\mboxClassics-Economics/dp/1602069409/ref=sr_1_1?dchild=1&keywords=wealth+of+nations+cosimo&qid=1604936887&sr=8-1 https://www.amazon.com/Wealth-Nations-Cosimo-\mboxClassics-Economics/dp/1602069409/ref=sr_1_1?dchild=1&keywords=wealth+of+nations+cosimo&qid=1604936887&sr=8-1 , , . .

J Sztipanovits . . Composition of cyber-physical systems . . Proc $14^{\rm th}$ Annual IEEE Int Conf and Workshops on the Engineering of Computer , , 2007 . . p.3 - - 6 . . DOI: 10.1109/ECBS.2007.25 http://doi.org/10.1109/ECBS.2007.25 . .

J Tan , , , HJ Wen , , , N Awad . . Health care and services delivery systems as complex adaptive systems . . Commun ACM , , 2005 . . 48 ( ( 5 ): ): 36 - - 44 . . DOI: 10.1145/1060710.1060737 http://doi.org/10.1145/1060710.1060737 . .

C Tannenbaum , , , NL Sheehan . . Understanding and preventing drug-drug and drug-gene interactions . . Exp Rev Clin Pharmacol , , 2014 . . 7 ( ( 4 ): ): 533 - - 544 . . DOI: 10.1586/17512433.2014.910111 http://doi.org/10.1586/17512433.2014.910111 . .

L Tesfatsion . . Economic agents and markets as emergent phenomena . . Proc Natl Acad Sci USA , , 2002 . . 99 ( ( S3 ): ): 7191 - - 7192 . . DOI: 10.1073/pnas.072079199 http://doi.org/10.1073/pnas.072079199 . .

G Theraulaz , , , E Bonabeau . . A brief history of stigmergy . . Artif Life , , 1999 . . 5 ( ( 2 ): ): 97 - - 116 . . DOI: 10.1162/106454699568700 http://doi.org/10.1162/106454699568700 . .

M Törngren , , , PT Grogan . . How to deal with the complexity of future cyber-physical systems? . . Designs , , 2018 . . 2 ( ( 4 ): ): 40 DOI: 10.3390/designs2040040 http://doi.org/10.3390/designs2040040 . .

M Törngren , , , U Sellgren . . Complexity challenges in development of cyber-physical systems . . In: Lohstroh M, Derler P, Sirjani M (Eds.), Principles of Modeling , , 2018 . . p.478 - - 503 . . DOI: 10.1007/978-3-319-95246-8_27 http://doi.org/10.1007/978-3-319-95246-8_27 . .

S Tripakis . . Compositional model-based system design and other foundations for mastering change.In: Steffen B (Ed.), Transactions on Foundations for Mastering Change I . . Springer, Cham , , 2016 . . p.113 - - 129 . . DOI: 10.1007/978-3-319-46508-1_7 http://doi.org/10.1007/978-3-319-46508-1_7 . .

W Tucker . . The Lorenz attractor exists . . Compt Rend l'Acad Sci-Ser I-Math , , 1999 . . 328 ( ( 12 ): ): 1197 - - 1202 . . DOI: 10.1016/S0764-4442(99)80439-X http://doi.org/10.1016/S0764-4442(99)80439-X . .

G Vásárhelyi , , , C Virágh , , , G Somorjai , , , 等 . . Optimized flocking of autonomous drones in confined environments . . Sci Robot , , 2018 . . 3 ( ( 20 ): ): eaat3536 DOI: 10.1126/scirobotics.aat3536 http://doi.org/10.1126/scirobotics.aat3536 . .

A Wassyng , , , P Joannou , , , M Lawford , , , 等 . . New standards for trustworthy cyber-physical systems. In: Romanovsky A, Ishikawa F (Eds.), Trustworthy Cyber-Physical Systems Engineering . . CRC Press, New York , , 2016 . . DOI: 10.1201/9781315369105 http://doi.org/10.1201/9781315369105 . .

PH Welch , , , K Wallnau , , , AT Sampson , , , 等 . . To boldly go: an occam-$π$ mission to engineer emergence . . Nat Comput , , 2012 . . 11 ( ( 3 ): ): 449 - - 474 . . DOI: 10.1007/s11047-012-9304-2 http://doi.org/10.1007/s11047-012-9304-2 . .

WJ Wildman , , , FL Shults . . Emergence: what does it mean and how is it relevant to computer engineering. In: Mittal S, Diallo S, Tolk A (Eds.), Emergent Behavior in Complex Systems Engineering: a Modeling and Simulation Approach . . Wiley $\&$ Sons , , 2018 . . p.21 - - 34 . . DOI: 10.1002/9781119378952 http://doi.org/10.1002/9781119378952 . .

U Wilensky , , , K Reisman . . Thinking like a wolf, a sheep, or a firefly: learning biology through constructing and testing computational theories—an embodied modeling approach . . Cogn Instr , , 2006 . . 24 ( ( 2 ): ): 171 - - 209 . . DOI: 10.1207/s1532690xci2402_1 http://doi.org/10.1207/s1532690xci2402_1 . .

GP Williams . . Chaos Theory Tamed . . Joseph Henry Press, Washington , , 1997 . . .

BP Zeigler . . DEVS-based modeling and simulation framework for emergence in system of systems. In: Rainey LB, Jamshidi M (Eds.), Engineering Emergence: a Modeling and Simulation Approach . . CRC Press, Boca Raton , , 2018 . . DOI: 10.1201/9781138046412-3 http://doi.org/10.1201/9781138046412-3 . .

LC Zhang , , , JF He . . Aspect-oriented QoS specification for cyber-physical systems . . Proc $5^{\rm th}$ Int Conf on Convergence and Hybrid Information Technology , , 2011 . . p.399 - - 406 . . DOI: 10.1007/978-3-642-24106-2_51 http://doi.org/10.1007/978-3-642-24106-2_51 . .

NFS Zurita , , , IY Tumer . . A survey: towards understanding emergent behavior in complex engineered systems . . ASME Int Design Engineering Technical Conf and Computers and Information in Engineering Conf , , 2017 . . DOI: 10.1115/DETC2017-67453 http://doi.org/10.1115/DETC2017-67453 . .

浏览量

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

A survey of model-driven techniques and tools for cyber-physical systems