Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets Conference

He, Xudong. (2021). Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets . 2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 1099-1108. 10.1109/QRS-C55045.2021.00164

cited authors

  • He, Xudong

authors

date/time interval

  • December 6, 2021 -

publication date

  • January 1, 2021

published in

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Petri nets
  • Science & Technology
  • Technology
  • cyber physical systems
  • deep neural nets
  • formal methods
  • hybrid predicate transition nets
  • reinforcement learning

Digital Object Identifier (DOI)

start page

  • 1099

end page

  • 1108