Skip to main content
Springer Nature Link
Log in

Human-Cyber-Physical Automata and Their Synthesis

  • Conference paper
  • First Online:
Theoretical Aspects of Computing – ICTAC 2022 (ICTAC 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13572))

Included in the following conference series:

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 [3, 10, 14].

We acknowledge the support to this work by the projects NSFC under grants No. 62032019, 61972284 and 61872371.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    More humans, machines and physical systems are involved in a multi-layered HCPS.

References

  1. Alur, R.: Timed automata. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48683-6_3

    Chapter  Google Scholar 

  2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994). https://doi.org/10.1016/0304-3975(94)90010-8

    Article  MathSciNet  MATH  Google Scholar 

  3. Baheti, R., Gill, H.: Cyber-physical systems. Impact Control Technol. 12(1), 161–166 (2011)

    Google Scholar 

  4. Bellman, R.: A markovian decision process. J. Math. Mech. 6(5), 679–684 (1957). http://www.jstor.org/stable/24900506

  5. Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27755-2_3

    Chapter  MATH  Google Scholar 

  6. Bozkurt, A.K., Wang, Y., Zavlanos, M.M., Pajic, M.: Control synthesis from linear temporal logic specifications using model-free reinforcement learning. In: ICRA 2020, 31 May–31 August, Paris, France, 2020. pp. 10349–10355. IEEE (2020). https://doi.org/10.1109/ICRA40945.2020.9196796

  7. Brockman, G., et al.: Openai gym. arXiv preprint arXiv:1606.01540 (2016)

  8. Chen, X., Liu, Z.: Towards interface-driven design of evolving component-based architectures. In: Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.) Provably Correct Systems. NMSSE, pp. 121–148. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-48628-4_6

    Chapter  Google Scholar 

  9. Cole, C.: The universal turing machine: a half-century survey. Inf. Process. Manag. 32(5), 640–641 (1996)

    Article  Google Scholar 

  10. Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012). https://doi.org/10.1109/JPROC.2011.2160929

    Article  Google Scholar 

  11. Herkert, J., Borenstein, J., Miller, K.W.: The Boeing 737 MAX: lessons for engineering ethics. Sci. Eng. Ethics 26(6), 2957–2974 (2020). https://doi.org/10.1007/s11948-020-00252-y

    Article  Google Scholar 

  12. Johnston, P., Harris, R.: The Boeing 737 max saga: lessons for software organizations. Softw. Qual. Prof. 21(3), 4–12 (2019)

    Google Scholar 

  13. Lamport, L., Lynch, N.A.: Distributed computing: models and methods. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B: Formal Models and Semantics, pp. 1157–1199. Elsevier and MIT Press (1990). https://doi.org/10.1016/b978-0-444-88074-1.50023-8

  14. Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363–369 (2008). https://doi.org/10.1109/ISORC.2008.25

  15. Liu, Z., Bowen, J.P., Liu, B., Tyszberowicz, S., Zhang, T.: Software abstractions and human-cyber-physical systems architecture modelling. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2019. LNCS, vol. 12154, pp. 159–219. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55089-9_5

    Chapter  Google Scholar 

  16. Liu, Z., Wang, J.: Human-cyber-physical systems: concepts, challenges, and research opportunities. Front. Inf. Technol. Electron. Eng. 21(11), 1535–1553 (2020). https://doi.org/10.1631/FITEE.2000537

    Article  Google Scholar 

  17. Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I/O automata. Inf. Comput. 185(1), 105–157 (2003). https://doi.org/10.1016/S0890-5401(03)00067-1

    Article  MathSciNet  MATH  Google Scholar 

  18. Rabin, M.O.: Probabilistic automata. Inf. Control. 6(3), 230–245 (1963). https://doi.org/10.1016/S0019-9958(63)90290-0

    Article  MathSciNet  MATH  Google Scholar 

  19. Romero, D., Bernus, P., Noran, O., Stahre, J., Fast-Berglund, Å.: The operator 4.0: human cyber-physical systems & adaptive automation towards human-automation symbiosis work systems. In: Nääs, I., et al. (eds.) APMS 2016. IAICT, vol. 488, pp. 677–686. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-51133-7_80

    Chapter  Google Scholar 

  20. Sangiovanni-Vincentelli, A.L., Damm, W., Passerone, R.: Taming dr. frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217–238 (2012). https://doi.org/10.3166/ejc.18.217-238

  21. Sowe, S.K., Simmon, E., Zettsu, K., de Vaulx, F.J., Bojanova, I.: Cyber-physical-human systems: putting people in the loop. IT Prof. 18(1), 10–13 (2016). https://doi.org/10.1109/MITP.2016.14

    Article  Google Scholar 

  22. Zhou, J., Zhou, Y., Wang, B., Zang, J.: Human-cyber-physical systems (hcpss) in the context of new-generation intelligent manufacturing. Engineering 5(4), 624–636 (2019). https://doi.org/10.1016/j.eng.2019.07.015

    Article  Google Scholar 

Download references

Acknowledgments

We thank to our project colleagues Professor Wei Dong, Professor. Guanjun Liu and Dr. Hengjun Zhao for their comments. We express our thanks to Dr. Qiao Ke. She read the earlier version of the paper and provided good comments on the improvement of the paper.

Author information

Authors and Affiliations

  1. School of Software Engineering, Tongji University, Shanghai, China

    Miaomiao Zhang & Xiaochen Tang

  2. College of Computer Science, National University of Defense Technology, Changsha, China

    Wanwei Liu

  3. Department of Computer Science, University of Warwick, Coventry, UK

    Bowen Du

  4. School of Computer and Information Science, Southwest University, Chongqing, China

    Zhiming Liu

  5. School of Software, Northwest Polytechnical University, Xi’an, China

    Zhiming Liu

Authors
  1. Miaomiao Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wanwei Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xiaochen Tang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Bowen Du
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Zhiming Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Miaomiao Zhang or Zhiming Liu .

Editor information

Editors and Affiliations

  1. TU München, München, Germany

    Helmut Seidl

  2. Southwest University, Chongqing, China

    Zhiming Liu

  3. NASA Ames Research Center, Moffett Field, CA, USA

    Corina S. Pasareanu

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zhang, M., Liu, W., Tang, X., Du, B., Liu, Z. (2022). Human-Cyber-Physical Automata and Their Synthesis. In: Seidl, H., Liu, Z., Pasareanu, C.S. (eds) Theoretical Aspects of Computing – ICTAC 2022. ICTAC 2022. Lecture Notes in Computer Science, vol 13572. Springer, Cham. https://doi.org/10.1007/978-3-031-17715-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-17715-6_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-17714-9

  • Online ISBN: 978-3-031-17715-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics