An integrated specification logic for cyber-physical systems

Marius C. Bujorianu; Howard Barringer

doi:10.1109/ICECCS.2009.36

An integrated specification logic for cyber-physical systems

Marius C. Bujorianu, Howard Barringer

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

Cyber-physical systems denotes a new modeling paradigm that promotes a holistic view on complex systems. These systems have been stndied before from varions particular perspectives using paradigms like ubiquitous and distributed computing or embedded and hybrid systems. In modeling cyber-physical systems one has to consider the interaction between physics, computation and communication (networking), and a formal framework to study this systems has to be invented. In this paper we develop a formal approach called Hilbertean formal methods to provide a denotational semantics for cyber-physical systems. We combine denotational semantics with an algebraic model for physical processes to model physical causality and observability. © 2009 IEEE.

Original language	English
Title of host publication	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS\|Proc IEEE Int Conf Eng Complex Comput Syst ICECCS
Publisher	IEEE Computer Society
Pages	291-300
Number of pages	9
ISBN (Print)	9780769537023
DOIs	https://doi.org/10.1109/ICECCS.2009.36
Publication status	Published - 2009
Event	2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009 - Potsdam Duration: 1 Jul 2009 → …

Conference

Conference	2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009
City	Potsdam
Period	1/07/09 → …

Keywords

Causal orders
Cyber-physical systems
Domain theory
Modal and temporal logics
Topology
Types

Access to Document

10.1109/ICECCS.2009.36

Cite this

@inproceedings{1fc6dc50791e470097c4fb5b0d2e53d0,

title = "An integrated specification logic for cyber-physical systems",

abstract = "Cyber-physical systems denotes a new modeling paradigm that promotes a holistic view on complex systems. These systems have been stndied before from varions particular perspectives using paradigms like ubiquitous and distributed computing or embedded and hybrid systems. In modeling cyber-physical systems one has to consider the interaction between physics, computation and communication (networking), and a formal framework to study this systems has to be invented. In this paper we develop a formal approach called Hilbertean formal methods to provide a denotational semantics for cyber-physical systems. We combine denotational semantics with an algebraic model for physical processes to model physical causality and observability. {\textcopyright} 2009 IEEE.",

keywords = "Causal orders, Cyber-physical systems, Domain theory, Modal and temporal logics, Topology, Types",

author = "Bujorianu, {Marius C.} and Howard Barringer",

year = "2009",

doi = "10.1109/ICECCS.2009.36",

language = "English",

isbn = "9780769537023",

pages = "291--300",

booktitle = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS|Proc IEEE Int Conf Eng Complex Comput Syst ICECCS",

publisher = "IEEE Computer Society ",

address = "United States",

note = "2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009 ; Conference date: 01-07-2009",

}

Bujorianu, MC & Barringer, H 2009, An integrated specification logic for cyber-physical systems. in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS|Proc IEEE Int Conf Eng Complex Comput Syst ICECCS. IEEE Computer Society , pp. 291-300, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, 1/07/09. https://doi.org/10.1109/ICECCS.2009.36

An integrated specification logic for cyber-physical systems. / Bujorianu, Marius C.; Barringer, Howard.
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS|Proc IEEE Int Conf Eng Complex Comput Syst ICECCS. IEEE Computer Society , 2009. p. 291-300.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An integrated specification logic for cyber-physical systems

AU - Bujorianu, Marius C.

AU - Barringer, Howard

PY - 2009

Y1 - 2009

N2 - Cyber-physical systems denotes a new modeling paradigm that promotes a holistic view on complex systems. These systems have been stndied before from varions particular perspectives using paradigms like ubiquitous and distributed computing or embedded and hybrid systems. In modeling cyber-physical systems one has to consider the interaction between physics, computation and communication (networking), and a formal framework to study this systems has to be invented. In this paper we develop a formal approach called Hilbertean formal methods to provide a denotational semantics for cyber-physical systems. We combine denotational semantics with an algebraic model for physical processes to model physical causality and observability. © 2009 IEEE.

AB - Cyber-physical systems denotes a new modeling paradigm that promotes a holistic view on complex systems. These systems have been stndied before from varions particular perspectives using paradigms like ubiquitous and distributed computing or embedded and hybrid systems. In modeling cyber-physical systems one has to consider the interaction between physics, computation and communication (networking), and a formal framework to study this systems has to be invented. In this paper we develop a formal approach called Hilbertean formal methods to provide a denotational semantics for cyber-physical systems. We combine denotational semantics with an algebraic model for physical processes to model physical causality and observability. © 2009 IEEE.

KW - Causal orders

KW - Cyber-physical systems

KW - Domain theory

KW - Modal and temporal logics

KW - Topology

KW - Types

U2 - 10.1109/ICECCS.2009.36

DO - 10.1109/ICECCS.2009.36

M3 - Conference contribution

SN - 9780769537023

SP - 291

EP - 300

BT - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS|Proc IEEE Int Conf Eng Complex Comput Syst ICECCS

PB - IEEE Computer Society

T2 - 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009

Y2 - 1 July 2009

ER -

An integrated specification logic for cyber-physical systems

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this