Modeling and analyzing hybrid systems using hybrid predicate transition nets Conference

Alam, DMM, He, X, Chu, WCC. (2018). Modeling and analyzing hybrid systems using hybrid predicate transition nets . Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, 2018-July 397-402. 10.18293/SEKE2018-158

cited authors

  • Alam, DMM; He, X; Chu, WCC

abstract

  • Hybrid systems, especially in the form of cyber physical systems, have become ubiquitous and are playing critical roles in the functioning of society, however their design and implementation are extremely difficulty, especially regarding their dependability. In this paper, we propose a hybrid high level Petri net formalism, hybrid predicate transition nets (HPrTNs), for modeling and analyzing hybrid systems. We discuss some critical concepts and features of HPrTNs. We demonstrate the applicability of HPrTNs through several well-known benchmark hybrid systems and compare our results with other relevant methods. HPrTNs are fully supported in the tool environment PIPE+.

authors

publication date

  • January 1, 2018

published in

Digital Object Identifier (DOI)

start page

  • 397

end page

  • 402

volume

  • 2018-July