Safety Verification for Impulsive Systems
Feketa, Petro ; Bogomolov, Sergiy; Meurer, Thomas
| Zugehörige Institution(en) am KIT | Institut für Mechanische Verfahrenstechnik und Mechanik (MVM) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2020 |
| Sprache | Englisch |
| Identifikator | ISSN: 2405-8963, 1474-6670, 2405-8971, 2589-3653 KITopen-ID: 1000156593 |
| Erschienen in | IFAC-PapersOnLine |
| Verlag | International Federation of Automatic Control (IFAC) |
| Band | 53 |
| Heft | 2 |
| Seiten | 1949–1954 |
| Bemerkung zur Veröffentlichung | Part of special issue: 21st IFAC World Congress, Berlin, Germany, 11–17 July 2020 |
| Nachgewiesen in | Dimensions Scopus |