- Conference Article
1
- 10.1109/liss.2016.7854561
Declarative modeling cases of cyber physical systems
- Jul 01, 2016
- Wei Ding + 3 more +3
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.
Read more