The Library
Human-cyber-physical automata and their synthesis
Tools
Tools
Tools
Zhang, Miaomiao, Liu, Wanwei, Tang, Xiaochen, Du, Bowen and Liu, Zhiming (2022) Human-cyber-physical automata and their synthesis. In: International Colloquium on Theoretical Aspects of Computing (ICTAC 2022), Tbilisi, Georgia, 27-30 Sep 2022. Published in: Proceedings of the International Colloquium on Theoretical Aspects of Computing (ICTAC 2022), 13572 pp. 36-41. ISBN 9783031177149. doi:10.1007/978-3-031-17715-6_4 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-031-17715-6_4
Abstract
A cyber-physical system (CPS) is now well understood as an integration of hierarchical composition digital computing (or information processing) systems and physical systems.
| Item Type: | Conference Item (Paper) | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||||||
| Journal or Publication Title: | Proceedings of the International Colloquium on Theoretical Aspects of Computing (ICTAC 2022) | ||||||||||||
| Publisher: | Springer | ||||||||||||
| ISBN: | 9783031177149 | ||||||||||||
| ISSN: | 0302-9743 | ||||||||||||
| Book Title: | Theoretical Aspects of Computing – ICTAC 2022 | ||||||||||||
| Official Date: | 3 October 2022 | ||||||||||||
| Dates: |
|
||||||||||||
| Volume: | 13572 | ||||||||||||
| Page Range: | pp. 36-41 | ||||||||||||
| DOI: | 10.1007/978-3-031-17715-6_4 | ||||||||||||
| Status: | Peer Reviewed | ||||||||||||
| Publication Status: | Published | ||||||||||||
| Access rights to Published version: | Restricted or Subscription Access | ||||||||||||
| RIOXX Funder/Project Grant: |
|
||||||||||||
| Conference Paper Type: | Paper | ||||||||||||
| Title of Event: | International Colloquium on Theoretical Aspects of Computing (ICTAC 2022) | ||||||||||||
| Type of Event: | Conference | ||||||||||||
| Location of Event: | Tbilisi, Georgia | ||||||||||||
| Date(s) of Event: | 27-30 Sep 2022 | ||||||||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
