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