Publications
Author(s):
Christian Pek, Vitaliy Rusinov, Stefanie Manzinger, Murat Can Uste, Matthias Althoff
Published in:
2020 IEEE Intelligent Vehicles Symposium (IV), 2020, Page(s) 1013-1020, ISBN 978-1-7281-6673-5
Publisher:
IEEE
DOI:
10.1109/iv47402.2020.9304544
Author(s):
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
Published in:
EPiC Series in Computing volume 74, 2020, Page(s) 49-21
Publisher:
EasyChair
DOI:
10.29007/zkf6
Author(s):
M. Althoff
Published in:
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021
Publisher:
EasyChair
DOI:
10.29007/7m2k
Author(s):
F. Gruber and M. Althoff
Published in:
2021
Publisher:
IEEE
DOI:
10.1109/cdc45484.2021.9683384
Author(s):
Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
Published in:
2022
Publisher:
EasyChair
DOI:
10.29007/mmzc
Author(s):
M. Wetzlinger, A. Kulmburg and M. Althoff
Published in:
Proc.of the 24th International Conference on Hybrid Systems: Computation and Control, 2021
Publisher:
ACM
DOI:
10.1145/3447928.3456643
Author(s):
Matthias Althoff, Matthias Mayer, Robert Muller
Published in:
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, Page(s) 4040-4046, ISBN 978-1-7281-6212-6
Publisher:
IEEE
DOI:
10.1109/iros45743.2020.9341666
Author(s):
Amr Alanwar, Hazem Said, Matthias Althoff
Published in:
2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4133-4139, ISBN 978-1-7281-1398-2
Publisher:
IEEE
DOI:
10.1109/cdc40024.2019.9029929
Author(s):
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
Published in:
2023
Publisher:
EasyChair
DOI:
10.29007/93f2
Author(s):
M. Althoff and E. Abraham and M. Forets and G. Frehse and D. Freire and C. Schilling and S. Schupp and M. Wetzlinger
Published in:
2021
Publisher:
EasyChair
DOI:
10.29007/lhbw
Author(s):
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
Published in:
2023
Publisher:
EasyChair
DOI:
10.29007/nl86
Author(s):
Victor Gaßmann, Matthias Althoff
Published in:
2022
Publisher:
EasyChair
DOI:
10.29007/p328
Author(s):
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
Published in:
EPiC Series in Computing volume 74, 2020, Page(s) 16--18
Publisher:
EasyChair
DOI:
10.29007/7dt2
Author(s):
Felix Gruber, Matthias Althoff
Published in:
2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 438-444, ISBN 978-1-7281-1398-2
Publisher:
IEEE
DOI:
10.1109/cdc40024.2019.9029873
Author(s):
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Published in:
2023
Publisher:
Springer
DOI:
10.1007/978-3-031-33170-1_2
Author(s):
N. Kochdumper, F. Gruber,V. Gaßmann, M. Klischat, B. Schürmann and M. Althoff
Published in:
2021
Publisher:
ACM
Author(s):
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
Published in:
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021
Publisher:
EasyChair
DOI:
10.29007/2jw8
Author(s):
A. Kulmburg and M. Althoff
Published in:
2021
Publisher:
IEEE
Author(s):
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
Published in:
2022
Publisher:
EasyChair
DOI:
10.29007/fnzc
Author(s):
Victor Gasmann, Matthias Althoff
Published in:
2020 American Control Conference (ACC), 2020, Page(s) 4715-4721, ISBN 978-1-5386-8266-1
Publisher:
IEEE
DOI:
10.23919/acc45564.2020.9147938
Author(s):
Matthias Althoff
Published in:
2023
Publisher:
EasyChair
DOI:
10.29007/5v1g
Author(s):
N. Kochdumper and P. Gassert and M. Althoff
Published in:
2021
Publisher:
EasyChair
DOI:
10.29007/1973
Author(s):
Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff
Published in:
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), 2020, Page(s) 206-215, ISBN 978-1-7281-5501-2
Publisher:
IEEE
DOI:
10.1109/iccps48487.2020.00032
Author(s):
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Published in:
2023
Publisher:
ACM
DOI:
10.1145/3575870.3587121
Author(s):
Matthias Althoff
Published in:
2022
Publisher:
EasyChair
DOI:
10.29007/tg4s
Author(s):
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Published in:
IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2023.3292008
Author(s):
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
Published in:
IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Publisher:
IEEE
DOI:
10.1109/ojcsys.2023.3256305
Author(s):
Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
Published in:
Journal of the Franklin Institute, 2023, ISSN 0016-0032
Publisher:
Pergamon Press Ltd.
DOI:
10.1016/j.jfranklin.2023.03.025
Author(s):
Matthias Althoff, Sebastian Maierhofer, Christian Pek
Published in:
IEEE Transactions on Intelligent Vehicles, Issue 6/1, 2021, Page(s) 159-174, ISSN 2379-8904
Publisher:
IEEE
DOI:
10.1109/tiv.2020.2991953
Author(s):
Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff
Published in:
IEEE Transactions on Intelligent Vehicles, Issue 9, 2024, Page(s) 2262-2275, ISSN 2379-8904
Publisher:
IEEE
DOI:
10.1109/tiv.2023.3317977
Author(s):
Laura Lützow, Matthias Althoff
Published in:
IEEE Control Systems Letters, Issue 8, 2024, Page(s) 520-525, ISSN 2475-1456
Publisher:
IEEE
DOI:
10.1109/lcsys.2024.3397058
Author(s):
Matthias Althoff, Jagat Jyoti Rath
Published in:
Automatica, 2021, ISSN 0005-1098
Publisher:
Pergamon Press Ltd.
Author(s):
Mark Wetzlinger, Adrian Kulmburg, Alexis Le Penven, Matthias Althoff
Published in:
Nonlinear Analysis: Hybrid Systems, 2022, ISSN 1751-570X
Publisher:
Elsevier BV
DOI:
10.1016/j.nahs.2022.101252
Author(s):
Aaron Pereira, Mareike Baumann, Jonas Gerstner, Matthias Althoff
Published in:
IEEE Transactions on Automation Science and Engineering, 2023, ISSN 1545-5955
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tase.2022.3201970
Author(s):
Victor Gaßmann, Matthias Althoff
Published in:
IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Publisher:
IEEE
DOI:
10.1109/ojcsys.2023.3301335
Author(s):
Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo
Published in:
urn:issn:0005-1098, Issue 1, 2022, ISSN 0005-1098
Publisher:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2022.110184
Author(s):
B. Schürmann and M. Althoff
Published in:
IEEE Transactions on Automatic Control, Issue 66, 2021, Page(s) 981–994, ISSN 0018-9286
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2020.2989762
Author(s):
Felix Gruber, Matthias Althoff
Published in:
IEEE Control Systems Letters, Issue 5/2, 2021, Page(s) 385-390, ISSN 2475-1456
Publisher:
IEEE
DOI:
10.1109/lcsys.2020.3002476
Author(s):
Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl H. Johansson, Matthias Althoff
Published in:
European Journal of Control, 2023, ISSN 0947-3580
Publisher:
Lavoisier
DOI:
10.1016/j.ejcon.2023.100786
Author(s):
Victor Gaßmann and Matthias Althoff
Published in:
IFAC-PapersOnLine, Issue 5, 2021, Page(s) 85–90, ISSN 2405-8963
Publisher:
Elsevier
DOI:
10.1016/j.ifacol.2021.08.479
Author(s):
N. Kochdumper, M. Althoff
Published in:
Acta Informatica, 2023, ISSN 1432-0525
Publisher:
Springer
DOI:
10.1007/s00236-023-00437-5
Author(s):
Lukas Schäfer, Felix Gruber, Matthias Althoff
Published in:
IEEE Transactions on Automatic Control, Issue 69, 2024, Page(s) 755-770, ISSN 0018-9286
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2023.3275305
Author(s):
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Published in:
IEEE Control Systems Letters, Issue 8, 2024, Page(s) 2033-2038, ISSN 2475-1456
Publisher:
IEEE
DOI:
10.1109/lcsys.2024.3421194
Author(s):
Noushin Mehdipour, Matthias Althoff, Radboud Duintjer Tebbens, Calin Belta
Published in:
Automatica, 2023, ISSN 0005-1098
Publisher:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2022.110692
Author(s):
Felix Guber, Matthias Althoff
Published in:
IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2023.3292329
Author(s):
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
Published in:
IEEE Transactions on Automatic Control, 2022, ISSN 0018-9286
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tac.2021.3124188
Author(s):
Markus Koschi, Matthias Althoff
Published in:
IEEE Transactions on Intelligent Vehicles, 2021, Page(s) 1-1, ISSN 2379-8904
Publisher:
IEEE
DOI:
10.1109/tiv.2020.3017385
Author(s):
Matthias Althoff, Goran Frehse, Antoine Girard
Published in:
Annual Review of Control, Robotics, and Autonomous Systems, Issue 4/1, 2021, Page(s) 369-395, ISSN 2573-5144
Publisher:
Annual Reviews
DOI:
10.1146/annurev-control-071420-081941
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available