Detail publikace

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

ŠVÉDA, M.

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

ŠVÉDA, M.

Rok RIV

2013

Vydáno

16. 7. 2013

Nakladatel

European Society for Environmental Research and Sustainable Development

Místo

Rhodes Island

ISBN

978-1-61804-204-0

Kniha

Proceedings of the SCSI 2013

Edice

Recent Advances in Electrical Engineering Series, 16

Strany od

413

Strany do

419

Strany počet

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"
}