Declarative modeling cases of cyber physical systems

A Cyber-physical system (CPS) is an engineering system made of computational components, i.e. cyber elements, and physical elements, that are connected by a communication network. CPSs have emerged as the contemporarily leading technology in major industry sectors such as manufacture, aerospace, automotive, etc. Nowadays CPS is almost the synonym of control systems for large and complex engineering systems. In addition, CPSs have inevitably interweaved with new technologies like Internet of Things, cloud computing, ubiquitous computing, and big data processing. Taming the complexity has been the key challenge in CPS design. A novel declarative computing based platform was proposed in our previous paper to unify modeling and design of both cyber and physical components in CPSs. In this paper, the concepts and principles of the proposed declarative platform are depicted in details. In addition, modeling techniques of declarative networking and declarative control are showcased with concrete simulation examples.

[1]  Jean-Pierre Briot,et al.  Adaptive replication of large-scale multi-agent systems: towards a fault-tolerant multi-agent platform , 2005, ACM SIGSOFT Softw. Eng. Notes.

[2]  S.D. Wolthusen,et al.  Analysis and Statistical Properties of Critical Infrastructure Interdependency Multiflow Models , 2007, 2007 IEEE SMC Information Assurance and Security Workshop.

[3]  Matthew J. Crossley,et al.  Procedural learning during declarative control. , 2015, Journal of experimental psychology. Learning, memory, and cognition.

[4]  James P. Delgrande,et al.  Revising Horn Theories , 2011, IJCAI.

[5]  Jing Lin,et al.  Modeling Cyber-Physical Systems with Semantic Agents , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

[6]  Wolf Kohn,et al.  Declarative control architecture , 1991, CACM.

[7]  Ian Moir,et al.  Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration , 2008 .

[8]  Guido Moerkotte,et al.  A declarative control language for dependable XML message queues , 2006, First International Conference on Availability, Reliability and Security (ARES'06).

[9]  Ion Stoica,et al.  Implementing declarative overlays , 2005, SOSP '05.

[10]  George Cybenko,et al.  Semantic agent technologies for tactical sensor networks , 2003, SPIE Defense + Commercial Sensing.

[11]  François E. Cellier.  General system problem solving paradigm for qualitative modeling , 1991 .

[12]  Guy E. Garnett,et al.  Cyber-Physical Systems : Position Paper CPS Environments , 2022 .

[13]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[14]  Harold W. Lewis,et al.  A systems approach for scheduling aircraft landings in JFK airport , 2014, 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

[15]  Massimo Mecella,et al.  On the Discovery of Declarative Control Flows for Artful Processes , 2015, ACM Trans. Manag. Inf. Syst..

[16]  Stephen Muggleton,et al.  Inductive Logic Programming , 2011, Lecture Notes in Computer Science.

[17]  Edward A. Lee.  Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[18]  Peter J. Haas,et al.  Distinct-value synopses for multiset operations , 2009, CACM.

[19]  Wei Ding,et al.  Declarative cyber physical systems modeling to facilitate autonomous vehicles design , 2015, 2015 International Conference on Connected Vehicles and Expo (ICCVE).

[20]  A. Nerode,et al.  An autonomous systems control theory: an overview , 1992, IEEE Symposium on Computer-Aided Control System Design.

[21]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[22]  Andrey Rybalchenko,et al.  Operational Semantics for Declarative Networking , 2009, PADL.

[23]  Bernhard Bauer,et al.  UML 2.0 and agents: how to build agent-based systems with the new UML standard , 2005, Eng. Appl. Artif. Intell..

[24]  David Chu,et al.  Entirely declarative sensor network systems , 2006, VLDB.

[25]  Ying Tan,et al.  Spatio-Temporal Event Model for Cyber-Physical Systems , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops.

[26]  Ying Tan,et al.  A prototype architecture for cyber-physical systems , 2008, SIGBED.

[27]  Wolf Kohn,et al.  Hierarchical control systems for autonomous space robots , 1988 .

[28]  Ion Stoica,et al.  Declarative networking , 2009, Commun. ACM.

[29]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[30]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[31]  Jeffrey D. Ullman,et al.  A survey of deductive database systems , 1995, J. Log. Program..

[32]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[33]  Jonathan M. Smith,et al.  MOSAIC: Declarative platform for dynamic overlay composition , 2012, Comput. Networks.

[34]  Shan Shan Huang,et al.  Datalog and emerging applications: an interactive tutorial , 2011, SIGMOD '11.

[35]  Jiafu Wan,et al.  A survey of Cyber-Physical Systems , 2011, 2011 International Conference on Wireless Communications and Signal Processing (WCSP).

[36]  Philip Levis,et al.  The design and implementation of a declarative sensor network system , 2007, SenSys '07.

[37]  Joseph M. Hellerstein,et al.  The declarative imperative: experiences and conjectures in distributed logic , 2010, SGMD.

[38]  Jeffrey D. Ullman,et al.  A Survey of Research in Deductive Database Systems , 1995 .

[39]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[40]  Ion Stoica,et al.  Declarative networking: language, execution and optimization , 2006, SIGMOD Conference.

[41]  Prithwish Basu,et al.  Declarative Network Verification , 2009, PADL.

[42]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[43]  N. M. Steiger,et al.  2005: Tutorial on Agent-Based Modeling and Simulation , 2005 .

[44]  Jon Crowcroft,et al.  Towards Data-Driven Declarative Networking in Delay Tolerant Networks , 2008 .

[45]  Ion Stoica,et al.  Declarative routing: extensible routing with declarative queries , 2005, SIGCOMM '05.

[46]  Bart Selman,et al.  Learning Declarative Control Rules for Constraint-BAsed Planning , 2000, ICML.

[47]  Tao Tao,et al.  Declarative secure distributed information systems , 2013, Comput. Lang. Syst. Struct..

[48]  W. Kohn.  A declarative theory for rational controllers , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[49]  M. Zwick.  Wholes and Parts in General Systems Methodology , 2001 .

[50]  Xiaozhou Li,et al.  Declarative Policy-Based Adaptive Mobile Ad Hoc Networking , 2012, IEEE/ACM Transactions on Networking.

[51]  Farhad Arbab,et al.  A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model , 2003, J. Univers. Comput. Sci..