HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems
In: IEEE Industrial Cyber-Physical Systems (ICPS); (2018-05-01) S. 264-269
Online
Konferenz
Zugriff:
Titel: |
HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems
|
---|---|
Autor/in / Beteiligte Person: | Lamrani, Imane ; Banerjee, Ayan ; Gupta, Sandeep K. S. |
Link: | |
Quelle: | IEEE Industrial Cyber-Physical Systems (ICPS); (2018-05-01) S. 264-269 |
Veröffentlichung: | 2018 |
Medientyp: | Konferenz |
ISBN: | 978-1-5386-6531-2 (print) ; 978-1-5386-6530-5 (print) |
DOI: | 10.1109/ICPHYS.2018.8387670 |
Sonstiges: |
|