Publications
Auteurs:
Christian Pek, Vitaliy Rusinov, Stefanie Manzinger, Murat Can Uste, Matthias Althoff
Publié dans:
2020 IEEE Intelligent Vehicles Symposium (IV), 2020, Page(s) 1013-1020, ISBN 978-1-7281-6673-5
Éditeur:
IEEE
DOI:
10.1109/iv47402.2020.9304544
Auteurs:
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
Publié dans:
EPiC Series in Computing volume 74, 2020, Page(s) 49-21
Éditeur:
EasyChair
DOI:
10.29007/zkf6
Auteurs:
M. Althoff
Publié dans:
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021
Éditeur:
EasyChair
DOI:
10.29007/7m2k
Auteurs:
F. Gruber and M. Althoff
Publié dans:
2021
Éditeur:
IEEE
DOI:
10.1109/cdc45484.2021.9683384
Auteurs:
Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
Publié dans:
2022
Éditeur:
EasyChair
DOI:
10.29007/mmzc
Auteurs:
M. Wetzlinger, A. Kulmburg and M. Althoff
Publié dans:
Proc.of the 24th International Conference on Hybrid Systems: Computation and Control, 2021
Éditeur:
ACM
DOI:
10.1145/3447928.3456643
Auteurs:
Matthias Althoff, Matthias Mayer, Robert Muller
Publié dans:
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, Page(s) 4040-4046, ISBN 978-1-7281-6212-6
Éditeur:
IEEE
DOI:
10.1109/iros45743.2020.9341666
Auteurs:
Amr Alanwar, Hazem Said, Matthias Althoff
Publié dans:
2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4133-4139, ISBN 978-1-7281-1398-2
Éditeur:
IEEE
DOI:
10.1109/cdc40024.2019.9029929
Auteurs:
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
Publié dans:
2023
Éditeur:
EasyChair
DOI:
10.29007/93f2
Auteurs:
M. Althoff and E. Abraham and M. Forets and G. Frehse and D. Freire and C. Schilling and S. Schupp and M. Wetzlinger
Publié dans:
2021
Éditeur:
EasyChair
DOI:
10.29007/lhbw
Auteurs:
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
Publié dans:
2023
Éditeur:
EasyChair
DOI:
10.29007/nl86
Auteurs:
Victor Gaßmann, Matthias Althoff
Publié dans:
2022
Éditeur:
EasyChair
DOI:
10.29007/p328
Auteurs:
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
Publié dans:
EPiC Series in Computing volume 74, 2020, Page(s) 16--18
Éditeur:
EasyChair
DOI:
10.29007/7dt2
Auteurs:
Felix Gruber, Matthias Althoff
Publié dans:
2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 438-444, ISBN 978-1-7281-1398-2
Éditeur:
IEEE
DOI:
10.1109/cdc40024.2019.9029873
Auteurs:
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Publié dans:
2023
Éditeur:
Springer
DOI:
10.1007/978-3-031-33170-1_2
Auteurs:
N. Kochdumper, F. Gruber,V. Gaßmann, M. Klischat, B. Schürmann and M. Althoff
Publié dans:
2021
Éditeur:
ACM
Auteurs:
L. Geretti, J.~A. dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, P. Collins, P.~S. Duggirala, M. Forets, E. Kim, U. Linares, D.~P. Sanders, C. Schilling and M. Wetzlinger
Publié dans:
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021
Éditeur:
EasyChair
DOI:
10.29007/2jw8
Auteurs:
A. Kulmburg and M. Althoff
Publié dans:
2021
Éditeur:
IEEE
Auteurs:
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
Publié dans:
2022
Éditeur:
EasyChair
DOI:
10.29007/fnzc
Auteurs:
Victor Gasmann, Matthias Althoff
Publié dans:
2020 American Control Conference (ACC), 2020, Page(s) 4715-4721, ISBN 978-1-5386-8266-1
Éditeur:
IEEE
DOI:
10.23919/acc45564.2020.9147938
Auteurs:
Matthias Althoff
Publié dans:
2023
Éditeur:
EasyChair
DOI:
10.29007/5v1g
Auteurs:
N. Kochdumper and P. Gassert and M. Althoff
Publié dans:
2021
Éditeur:
EasyChair
DOI:
10.29007/1973
Auteurs:
Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff
Publié dans:
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), 2020, Page(s) 206-215, ISBN 978-1-7281-5501-2
Éditeur:
IEEE
DOI:
10.1109/iccps48487.2020.00032
Auteurs:
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Publié dans:
2023
Éditeur:
ACM
DOI:
10.1145/3575870.3587121
Auteurs:
Matthias Althoff
Publié dans:
2022
Éditeur:
EasyChair
DOI:
10.29007/tg4s
Auteurs:
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Publié dans:
IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Éditeur:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2023.3292008
Auteurs:
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
Publié dans:
IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Éditeur:
IEEE
DOI:
10.1109/ojcsys.2023.3256305
Auteurs:
Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
Publié dans:
Journal of the Franklin Institute, 2023, ISSN 0016-0032
Éditeur:
Pergamon Press Ltd.
DOI:
10.1016/j.jfranklin.2023.03.025
Auteurs:
Matthias Althoff, Sebastian Maierhofer, Christian Pek
Publié dans:
IEEE Transactions on Intelligent Vehicles, Numéro 6/1, 2021, Page(s) 159-174, ISSN 2379-8904
Éditeur:
IEEE
DOI:
10.1109/tiv.2020.2991953
Auteurs:
Matthias Althoff, Jagat Jyoti Rath
Publié dans:
Automatica, 2021, ISSN 0005-1098
Éditeur:
Pergamon Press Ltd.
Auteurs:
Mark Wetzlinger, Adrian Kulmburg, Alexis Le Penven, Matthias Althoff
Publié dans:
Nonlinear Analysis: Hybrid Systems, 2022, ISSN 1751-570X
Éditeur:
Elsevier BV
DOI:
10.1016/j.nahs.2022.101252
Auteurs:
Aaron Pereira, Mareike Baumann, Jonas Gerstner, Matthias Althoff
Publié dans:
IEEE Transactions on Automation Science and Engineering, 2023, ISSN 1545-5955
Éditeur:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tase.2022.3201970
Auteurs:
Victor Gaßmann, Matthias Althoff
Publié dans:
IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Éditeur:
IEEE
DOI:
10.1109/ojcsys.2023.3301335
Auteurs:
Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo
Publié dans:
urn:issn:0005-1098, Numéro 1, 2022, ISSN 0005-1098
Éditeur:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2022.110184
Auteurs:
B. Schürmann and M. Althoff
Publié dans:
IEEE Transactions on Automatic Control, Numéro 66, 2021, Page(s) 981–994, ISSN 0018-9286
Éditeur:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2020.2989762
Auteurs:
Felix Gruber, Matthias Althoff
Publié dans:
IEEE Control Systems Letters, Numéro 5/2, 2021, Page(s) 385-390, ISSN 2475-1456
Éditeur:
IEEE
DOI:
10.1109/lcsys.2020.3002476
Auteurs:
Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl H. Johansson, Matthias Althoff
Publié dans:
European Journal of Control, 2023, ISSN 0947-3580
Éditeur:
Lavoisier
DOI:
10.1016/j.ejcon.2023.100786
Auteurs:
Victor Gaßmann and Matthias Althoff
Publié dans:
IFAC-PapersOnLine, Numéro 5, 2021, Page(s) 85–90, ISSN 2405-8963
Éditeur:
Elsevier
DOI:
10.1016/j.ifacol.2021.08.479
Auteurs:
N. Kochdumper, M. Althoff
Publié dans:
Acta Informatica, 2023, ISSN 1432-0525
Éditeur:
Springer
DOI:
10.1007/s00236-023-00437-5
Auteurs:
Noushin Mehdipour, Matthias Althoff, Radboud Duintjer Tebbens, Calin Belta
Publié dans:
Automatica, 2023, ISSN 0005-1098
Éditeur:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2022.110692
Auteurs:
Felix Guber, Matthias Althoff
Publié dans:
IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Éditeur:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2023.3292329
Auteurs:
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
Publié dans:
IEEE Transactions on Automatic Control, 2022, ISSN 0018-9286
Éditeur:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2021.3124188
Auteurs:
Markus Koschi, Matthias Althoff
Publié dans:
IEEE Transactions on Intelligent Vehicles, 2021, Page(s) 1-1, ISSN 2379-8904
Éditeur:
IEEE
DOI:
10.1109/tiv.2020.3017385
Auteurs:
Matthias Althoff, Goran Frehse, Antoine Girard
Publié dans:
Annual Review of Control, Robotics, and Autonomous Systems, Numéro 4/1, 2021, Page(s) 369-395, ISSN 2573-5144
Éditeur:
Annual Reviews
DOI:
10.1146/annurev-control-071420-081941
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible