Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems Conference

He, Xudong, Alam, Dewan Mohammad Moksedul. (2019). Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems . 216-227. 10.1109/QRS.2019.00038

cited authors

  • He, Xudong; Alam, Dewan Mohammad Moksedul

sustainable development goals

authors

date/time interval

  • July 22, 2019 -

publication date

  • January 1, 2019

webpage

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology
  • cyber-physical systems
  • formal methods
  • high-level Petri nets
  • hybrid Petri nets
  • hybrid automata
  • hybrid systems

Location

  • Sofia, BULGARIA

Digital Object Identifier (DOI)

Conference

  • 19th IEEE International Conference on Software Quality, Reliability and Security (QRS)

publisher

  • IEEE COMPUTER SOC

start page

  • 216

end page

  • 227