HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems
Pilch, Carina; Niehage, Mathis; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: IEEE
Book title: 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
Page range: 157-169
Publishing company: Wiley-IEEE Press
Place of publication: Milwaukee
Status: Published
Release year: 2018
Language in which the publication is written: English
Conference: 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Milwaukee, United States
Keywords: hybrid Petri nets; HPnGs; Statistical Model Checking; Discrete event simulation; non linear continuous evolution; quantized state systems; dependability; battery powered systems
Authors from the University of Münster
| da Silva, Carina | Professorship for practical computer science (Prof. Remke) |
| Niehage, Mathis Friedrich | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |