Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠVÉDA, M.
Original Title
Time in Cyber-Physical Systems: Specifications, Modeling and Measurements
Type
article in a collection out of WoS and Scopus
Language
English
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.
Keywords
cyber-physical system; time; temporal partial order; operational semantics; measurement
Authors
RIV year
2013
Released
16. 7. 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" }