Li, Yan;Zhang, Peng;Althoff, Matthias;Yue, Meng
Distributed Formal Analysis for Power Networks With Deep Integration of Distributed Energy Resources
IEEE Transactions on Power Systems
2019
34
6
5147-5156

Alanwar, Amr;Said, Hazem;Althoff, Matthias
Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis
Proc. of the 58th IEEE Conference on Decsion and Control
2019

Nikol, Daniel;Althoff, Matthias
Die Formalisierung von Rechtsnormen am Beispiel des Überholvorgangs
InTeR - Zeitschrift zum Innovations- und Technikrecht
2019
1
12-16

Immler, Fabian;Althoff, Matthias;Benet, Luis;Chapoutot, Alexandre;Chen, Xin;Forets, Marcelo;Geretti, Luca;Kochdumper, Niklas;Sanders, David P.;Schilling, Christian
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
2019

Althoff, Matthias;Bak, Stanley;Forets, Marcelo;Frehse, Goran;Kochdumper, Niklas;Ray, Rajarshi;Schilling, Christian;Schupp, Stefan
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
2019

Ge, J. I.;Schürmann, B.;Murray, R. M.;Althoff, M.
Risk-aware motion planning for automated vehicle among human-driven cars
Proc. of the American Control Conference
2019

Phan-Minh, T.;Guo, S.;Schürmann, B.;Althoff, M.;Murray, R. M.
A modal interface contract theory for guarded input/output automata with an application in traffic system design
Proc. of the American Control Conference
2019

Wu, Jingyuan;Ruenz, Johannes;Althoff, Matthias
Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms
Proc. of the 22nd Intelligent Transportation Systems Conference
2019

Roehm, Hendrik;Oehlerking, Jens;Woehrle, Matthias;Althoff, Matthias
Model Conformance for Cyber-Physical Systems: A Survey
ACM Transactions on Cyber-Physical Systems
2019
3
3
1-26

Gruber, F.;Althoff, M.
Scalable robust model predictive control for linear sampled-data systems
438-444
IEEE Conference on Decision and Control
2019