Publication Details

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

ŠVÉDA, M. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013. p. 413-419. ISBN: 978-1-61804-204-0.
Czech title
Čas v kyberneticko-fyzikálních systémech: specifikace, modelování a měření
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Keywords

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

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.

Published
2013
Pages
413–419
Proceedings
Proceedings of the SCSI 2013
Series
Recent Advances in Electrical Engineering Series, 16
ISBN
978-1-61804-204-0
Publisher
European Society for Environmental Research and Sustainable Development
Place
Rhodes Island
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"
}
Back to top