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 . 1099-1108. 10.1109/QRS-C55045.2021.00164

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

Location

  • Hainan, PEOPLES R CHINA

Digital Object Identifier (DOI)

Conference

  • 21st IEEE International Conference on Software Quality, Reliability and Security (QRS)

publisher

  • IEEE COMPUTER SOC

start page

  • 1099

end page

  • 1108