Dr. Martin v. Mohrenschildt

Associate Professor Dr. sc. math. ETH., Dipl. math. ETH., P.Eng. Computing and Software Faculty of Engineering McMaster University Phone: (905) 5259140 ex. 23844 Office: ITB 164 EMail: mohrens@mcmaster.ca FAX: (905) 5212922 
Research Interests
 SFWR ENG 3MX3 (Term I) DONE
 SFWR ENG 2SO3 (Term II) 2018
 SFWR ENG 3KO4 (Term I) DONE
 SFWR ENG 3GP6 (Term III) DONE
 CAS748 (Term II) DONE
Immersive Simulation
Motion Simulator Laboratory
Please visit the new simulator we pageThe Motion Simulator Laboratory houses our simulator. The minivansized simulator was modified to contain 3 42'' LCD screens to give a 180 degree field of view. We are installing an eye/head tracker and a EEG system. The synthetic environment is generated by Presagis software, including visualization software, scenario software, AI, and several other components. (The same software as used on CAE commercial flight simulators) The system presents a precision timed, 60Hz, 3D interactive environment to the test subjects. It is controlled by 8 high computers, linked by several networks to ensure low and predictable latency. The simulator offers both driving (using a self coded car simulator) and flying (using the Presagis flight/heli sim packages).
The pictures below where taken before the modification, new pictures will follow soon.
Embedded Systems Laboratory
The Embedded Systems Laboratory is equipped to study different mechatronics devices (two robots, two XYZtables, an industrial conveyor belt) and has a fully equipped electronics workplace (4 channel scope, function generator, two precision multimeters, a micro controller programmer, e.t.c). Several interesting projects were done over the last years including the hardware and software for an alternative fuel injection controller for a Ford Crown Victoria (V8, 6.8L).
Teaching
Some Simulator Videos
Two videos to show the traffic environment I created. It is used to give test subjects a realistic environment to perform their tasks. Below is just mini 5x5=25 tile scenario to test, real scenarios have about 60x40=2400 tiles. There is a 2D editor, (C++, openGl, FLTK), and the 3D driving environment (C++, VegaPrime as render engine, 3 screens, self coded solid body car physics too). Lots and lots of code. But this allows full control or everything. This is only a tool we need to do our research. There is even more code to analyze the performance of the test subjects. In the second video I clearly do not follow traffic rules ...Selected Publications
M. v. Mohrenschildt, (2005), "A Hybrid Controller for a Nonholonomic Carlike Robot", International Conference on informatics in Control, Automation and Robotics, ICINCO 2005, September (1417) in Barcelona/Spain.
M. v. Mohrenschildt, (2005), "Model Predictive Traces", Journal of Software Engineering and Knowledge Engineering, Special Issue: Selected Papers from the 2005 International Conference on Embedded and Hybrid Systems, Vol. 15, No. 2 (April 2005), 289298.
M. v. Mohrenschildt, (2005), "Model Predictive Traces in Hybrid Systems", International Conference on Hybrid Systems, IEHSC'05
W. M. Farmer, M. v. Mohrenschildt, (2004), "Simple Type Theory: Simple Steps towards a formal Specification", In the Proceedings of the FIE 2004.
W. M. Farmer, M. v. Mohrenschildt, (2003), "A Formal Framework for Managing Mathematics", Annals of Mathematics and Artificial Intelligence, May 2003, Volume 38, Issue 13, pp. 165191
N. Nedialkov, M. v. Mohrenschildt (2002), "Rigorous Simulation of Hybrid Dynamic Systems with Symbolic and Interval Methods", ACC 2002, 7 pages. PDF
M. v. Mohrenschildt (2001), "Symbolic Verification of Hybrid Systems: An Algebraic Approach", European Journal of Control, Vol 7, Num 5, 2001 pp: 541556. PDF
W. M. Farmer and M. v. Mohrenschildt, (2001), "A formal framework for managing mathematics", Electronic Proceedings of the First International Workshop on Mathematical Knowledge Management: MKM'2001, 38 pp., RISC, Hagenburg, Austria, September 2426, 2001.
W. M. Farmer, M. v. Mohrenschildt (2000), "Transformers for Symbolic Computation and Formal Deduction", , Proceedings of the Workshop on the Role of Automated Deduction in Mathematics, pp. 3645, CADE17, Carnegie Mellon University, Pittsburgh, Pennsylvania, June 2021, 2000.
M. v. Mohrenschildt, (2000), "Hybrid Differential Equations and Hybrid Systems", SCI'2000/ISAS'2000.
M. v. Mohrenschildt, (2000), "Hybrid Systems: Solutions, Stability, Control", ACC 2000, 692698
M. v. Mohrenschildt, (1999), "Algebra of Normal Function Tables ", "Formal Aspects of Computing", 12(1):4151, (2000).
M. v. Mohrenschildt, (1999) "Symbolic Verification of Hybrid Systems", In the proceedings of IMACS/IEEE 99 Athens, July 4  8, 1999, pp 15111519 also in Software and Hardware Engineering for the 21th Century, World Scientific Engineering Society (1999).
M. v. Mohrenschildt, (1998) "A Normal Form for Rings of Piecewise Functions", Journal of Symbolic Computation(1998) 26(5), 607619 PDF
M. v. Mohrenschildt, "Using Piecewise to Solve Classes of Control Theory Problems", MapleTech97, Vol .4, No. 3, pp. 333
M. v. Mohrenschildt, D. Peters, The DrawBot: A software Engineering Project (1998) In the proceedings of the Frontiers of Engineering Education FIE98
M. v. Mohrenschildt, The Maze Tracing Robot, Technical Report 1998, PDF
D.J. Jeffrey, G. Labahn, M. v. Mohrenschildt, A.D. Rich (1997) Integration of signum, piecewise and related functions. In proceedings ISSAC 97, 324330.
M. v. Mohrenschildt, (1999), "Communicating Software Specifications using XML: OpenSpec", CRL REPORT 373
M. v. Mohrenschildt, (1997) "Closed Form Solutions of Hybrid Systems", CRL Report 371, Feb 1999
M. v. Mohrenschildt, (1997) "Algebra of Normal Functions Tables", CRL Report 315, McMaster University, NSERC, CRL, May 1997