KIT | KIT-Bibliothek | Impressum | Datenschutz

Safety Verification for Impulsive Systems

Feketa, Petro ; Bogomolov, Sergiy; Meurer, Thomas ORCID iD icon


Download
Originalveröffentlichung
DOI: 10.1016/j.ifacol.2020.12.2589
Scopus
Zitationen: 3
Dimensions
Zitationen: 3
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page