97 / 2016-05-10 16:12:08

Declarative Modeling to Unify Cyber-Physical Systems Design for Intelligent Automatic Control

cyber-physical system,modeling,design,automatic control,declarative networking,declarative control

Cyber-physical systems (CPSs) are systems consisting of computational components and physical elements. From the perspective of control theory, a CPS is made up of sensing units in physical environment that input physical signals to control units, actuation units that alter the physical environment, and control units that sends optimized control signals to actuation units. One of major challenges for CPSs designers is modeling. Previously physical components and cyber components are designed separately with their own modeling platforms and tools. In this paper a declarative CPS modeling framework is proposed such that modeling of both physical and cyber components, as well as the modeling of above three functional units, i.e. sensing, actuating, and control units, can be unified above this common platform. In our paradigm, declarative networking is used to prototype sensing and actuating units, while declarative control is used to prototype control units. In our previous work, we showed how declarative networking is prototyped, particularly how routing protocols are rewritten with declarative languages. In this paper, we have showcased the prototyping using both declarative networking and declarative control, and we have compared the performance to the scenario using imperative languages with simulations.