Contact

E-mail:

Research Interests

  • Model-based development of flight worthy certifiable software
  • Model-, Software-, Processor-, and Hardware-in-the-loop simulation
  • Formal methods for software verification
  • Automated process compliance assessment
  • Simulation of flight mechanics and flight control
  • Simulation of electro-mechanical flight control components

Publications

[17] K. Dmitriev, S. A. Zafar, K. Schmiechen, L. Yi, M. Saleab, P. Nagarajan, D. Dollinger, M. Hochstrasser, F. Holzapfel, S. Myschik, "Lean and Highly-automated Model-Based Software Development Process", in 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC). [doi]
[16] K. Schmiechen, M. Hochstrasser, J. Rhein, C. Schropp, F. Holzapfel, "Traceable and Model-Based Requirements Derivation, Simulation, and Validation Using MATLAB Simulink and Polarion Requirements", in AIAA Scitech 2019 Forum. [doi]
[15] A. W. Zollitsch, N. C. Mumm, S. Wulf, F. Holzapfel, M. Hochstrasser, P. J. Lauffs, L. Peter, "Automatic Takeoff of a General Aviation Research Aircraft", in The 2017 Asian Control Conference - ASCC 2017, pp. 1683-1688.
[14] K. Nürnberger, M. Hochstrasser and F. Holzapfel, "Execution time analysis and optimisation techniques in the model-based development of a flight control software", IET Cyber-Physical Systems: Theory & Applications, vol. 2, no. 2, 2017.
[13] E. Karlsson, S. P. Schatz, F. Holzapfel, T. Baier, C. Dörhöfer, A. C. Gabrys, M. Hochstrasser, C. Krause, P. J. Lauffs, N. C. Mumm, K. Nürnberger, L. Peter, V. Schneider, P. Spiegel, L. Steinert, A. W. Zollitsch, "Development of an Automatic Flight Path Controller for a DA42 General Aviation Aircraft", in CEAS EuroGNC, 2017.
[12] E. Karlsson, F. Holzapfel, T. Baier, C. Dörhöfer, A. C. Gabrys, M. Hochstrasser, C. Krause, P. J. Lauffs, N. C. Mumm, K. Nürnberger, L. Peter, S. P. Schatz, V. Schneider, P. Spiegel, L. Steinert, A. W. Zollitsch, "Active Control Objective Prioritization for High-Bandwidth Automatic Flight Path Control", in CEAS EuroGNC, 2017.
[11] M. Hochstrasser, S. P. Schatz, K. Nürnberger, M. Hornauer, S. Myschik, F. Holzapfel, "Aspects of a Consistent Modeling Environment for DO-331 Design Model Development of Flight Control Algorithms", in CEAS EuroGNC, 2017.
[10] M. Hochstrasser, C. Krause, V. Schneider, F. Holzapfel, "Model-based Implementation of an Onboard STANAG 4586 Vehicle Specific Module for an Air Vehicle", in AIAA Modeling and Simulation Technologies Conference, 2017. [doi]
[9] V. Schneider, P. Piprek, S. P. Schatz, T. Baier, C. Dörhöfer, M. Hochstrasser, A. C. Gabrys, E. Karlsson, C. Krause, P. J. Lauffs, N. C. Mumm, K. Nürnberger, L. Peter, P. Spiegel, L. Steinert, A. W. Zollitsch, F. Holzapfel, "Online Trajectory Generation Using Clothoid Segments", in 14th International Conference on Control, Automation, Robotics & Vision (ICARCV), 2016.
[8] S. P. Schatz, V. Schneider, E. Karlsson, F. Holzapfel, T. Baier, C. Dörhöfer, M. Hochstrasser, A. C. Gabrys, C. Krause, P. J. Lauffs, N. C. Mumm, K. Nürnberger, L. Peter, P. Spiegel, L. Steinert, A. W. Zollitsch, "Flightplan Flight Tests of an Experimental DA42 General Aviation Aircraft", in 14th International Conference on Control, Automation, Robotics & Vision (ICARCV), 2016.
[7] E. Karlsson, S. P. Schatz, T. Baier, C. Dörhöfer, A. C. Gabrys, M. Hochstrasser, C. Krause, P. J. Lauffs, N. C. Mumm, K. Nürnberger, L. Peter, V. Schneider, P. Spiegel, L. Steinert, A. W. Zollitsch, F. Holzapfel, "Automatic Flight Path Control of an Experimental DA42 General Aviation Aircraft", in 14th International Conference on Control, Automation, Robotics & Vision (ICARCV), 2016.
[6] M. Hochstrasser, M. Hornauer and F. Holzapfel, "Formal Verification of Flight Control Applications along a Model-Based Development Process: A Case Study", in Workshop Software Safety, 2016.
[5] M. Richter, M. Hochstrasser, M. Bittner, L. Walter, F. Holzapfel, "Application of MINLP Techniques to Conflict Resolution of Multiple Aircraft", in AIAA GNC and Co- located Conferences, 2014.
[4] P. J. Lauffs, M. Hochstrasser and F. Holzapfel, "Real-time Simulation of Nonlinear Transmission Behavior in Electro-Mechanical Flight Control Systems", in Aerospace Electronics and Remote Sensing Technology (ICARES), 2014 IEEE International, IEEE, pp. 39-47. [doi]
[3] M. Hochstrasser, "A Unified MATLAB-Framework for Nonlinear Optimization of Mixed Integer Optimal Control Problems in Air Traffic Separation Management", Thesis, Technische Universität München, Garching, 2013.
[2] M. Hochstrasser, "Erweiterung einer Hardware-in-the-Loop- Simulation um eine Flugzeug- Visualisierungsumgebung basierend auf OpenGL und Matlab/Simulink", Thesis, Technische Universität München, Garching, 2012.
[1] M. Hochstrasser, "Automatic Pilot Model Creation in the Longitudinal Axis by Minimization of Error Variance using Matlab", Thesis, Technische Universität München, Garching, 2012.

Supervised Student Theses

[6] Y. Wang, "Development of a Workflow and Framework for Design Model Review and Static Analysis according to DO-178C/DO-331 in MATLAB/Simulink", Thesis, Technische Universität München, Garching, 2017.
[5] P. M. Gunasekaran, "Development and Model-in-the-Loop Simulation of a STANAG 4586 Compliant Vehicle Specific Module using MATLAB/ SIMULINK", Thesis, Technische Universität München, Garching, 2016.
[4] S. Welzenbach, "Simulation und experimentelle Parametrierung mechanischer Flugsteuerungssysteme", Thesis, Technische Universität München, Garching, 2015.
[3] P. Reiß, "Auslegung des Höhenleitwerks für ein zweimotoriges, optional bemanntes Flugzeug", Thesis, Technische Universität München, Garching, 2015.
[2] G. Martorell, "Implementing the aerodynamic load model of hinge moments for an Optionally Piloted Vehicle in MATLAB /Simulink", Thesis, Technische Universität München, Garching, 2015.
[1] L. Romano Brandt, "Flight Performance Analysis for Hybrid Electric, Optionally Piloted Aircraft", Thesis, Technische Universität München, Garching, 15.