文章基本信息

标题：Logic Programming Foundations of Cyber-Physical Systems
本地全文：下载
作者：Neda Saeedloei
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2010
卷号：7
页码：289-293
DOI：10.4230/LIPIcs.ICLP.2010.289
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions through actuators. These controllers are discrete digital systems whose inputs are continuous physical quantities and whose outputs control physical (analog) devices. Thus, CPS involve both digital and analog data. In addition, CPS are assumed to run forever, and many CPS may run concurrently with each other. we will develop techniques for faithfully and elegantly modeling CPS. Our approach is based on using constraint logic programming over reals, co-induction, and coroutining.
关键词：Cyber-Physical Systems; Constraint Logic Programming over reals; Co-induction; Coroutining