Abstract
… [13] presented a multiclock model for real time abstractions of hybrid systems. They call Hybrid Time systems the resulting model, which is … There are also some timing issues in the system, since sensor and controller all need time to transfer the message and command. …
Cite
CITATION STYLE
APA
Xu, B., & Zhang, L. (2014). A Clock Based Approach to the Formal Specification of Cyber Physical Systems (pp. 401–409). https://doi.org/10.1007/978-94-007-7262-5_47
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free