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