Martin von Mohrenschildt

14 papers B 1C 2Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Smooth Variable Structure Filter in Random Finite Set Applications.
IEEE Access
Howard Zhang, Martin von Mohrenschildt, Saeid R. Habibi, Ryan M. Ahmed
2025 J jnl
Testing Bayes Error Rate Estimators in Difficult Situations Using Monte Carlo Simulations.
IEEE Access
Lesley Wheat, Martin von Mohrenschildt, Saeid R. Habibi
2021 J jnl
A Novel Method for Approximating Object Location Error in Bounding Box Detection Algorithms Using a Monocular Camera.
IEEE Trans. Veh. Technol.
Ben Miethig, Yixin Huangfu, Jiahong Dong, Jimi Tjong, Martin von Mohrenschildt, Saeid R. Habibi
2020 J jnl
A Probability Occupancy Grid Based Approach for Real-Time LiDAR Ground Segmentation.
IEEE Trans. Intell. Transp. Syst.
Zhongzhen Luo, Martin von Mohrenschildt, Saeid R. Habibi
2020 J jnl
Online Multiple Maneuvering Vehicle Tracking System Based on Multi-Model Smooth Variable Structure Filter.
IEEE Trans. Intell. Transp. Syst.
Zhongzhen Luo, Mina Attari, Saeid R. Habibi, Martin von Mohrenschildt
2006 J jnl
Symbolic computation of Fenchel conjugates.
ACM Commun. Comput. Algebra
Heinz H. Bauschke, Martin von Mohrenschildt
2005 C conf
A hybrid controller for a nonholonomic car-like robot.
ICINCO
Martin von Mohrenschildt
2005 J jnl
Predictive Traces in Hybrid Systems.
Int. J. Softw. Eng. Knowl. Eng.
Martin von Mohrenschildt
2003 J jnl
An Overview of a Formal Framework for Managing Mathematics.
Ann. Math. Artif. Intell.
William M. Farmer, Martin von Mohrenschildt
2002 C conf
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods.
ACC
Nedialko S. Nedialkov, Martin von Mohrenschildt
2001 J jnl
Symbolic Verification of Hybrid Systems: An Algebraic Approach.
Eur. J. Control
Martin von Mohrenschildt
2000 J jnl
Algebraic Composition of Function Tables.
Formal Aspects Comput.
Martin von Mohrenschildt
1998 J jnl
A Normal Form for Function Rings of Piecewise Functions.
J. Symb. Comput.
Martin von Mohrenschildt
1997 B conf
Integration of the Signum, Piecewise and Related Functions.
ISSAC
David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich