Publication result detail

Time in Cyber-Physical Systems: Specifications, Modeling and Measurements

ŠVÉDA, M.

Original Title

Time in Cyber-Physical Systems: Specifications, Modeling and Measurements

English Title

Time in Cyber-Physical Systems: Specifications, Modeling and Measurements

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.

English abstract

This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.

Keywords

cyber-physical system; time; temporal partial order; operational semantics; measurement

Key words in English

cyber-physical system; time; temporal partial order; operational semantics; measurement

Authors

ŠVÉDA, M.

RIV year

2014

Released

16.07.2013

Publisher

European Society for Environmental Research and Sustainable Development

Location

Rhodes Island

ISBN

978-1-61804-204-0

Book

Proceedings of the SCSI 2013

Edition

Recent Advances in Electrical Engineering Series, 16

Pages from

413

Pages to

419

Pages count

7

BibTex

@inproceedings{BUT103498,
  author="Miroslav {Švéda}",
  title="Time in Cyber-Physical Systems: Specifications, Modeling and Measurements",
  booktitle="Proceedings of the SCSI 2013",
  year="2013",
  series="Recent Advances in Electrical Engineering Series, 16",
  pages="413--419",
  publisher="European Society for Environmental Research and Sustainable Development",
  address="Rhodes Island",
  isbn="978-1-61804-204-0"
}