Optimal Simultaneous Search for the Maximum by the Principle of Statistical Information. - Michael Heymann (Oper. Res., 1968)

On optimal attraction in discrete-event processes. - Yitzhak Brave; Michael Heymann (Inf. Sci., 1993)

Two-dimensional robot navigation among unknown stationary polygonal obstacles. - Guy Foux; Michael Heymann; Alfred M. Bruckstein (IEEE Trans. Robotics Autom., 1993)

On-line control of partially observed discrete event systems. - Michael Heymann; Feng Lin (Discret. Event Dyn. Syst., 1994)

Language convergence in controlled discrete-event systems. - Yosef M. Willner; Michael Heymann (IEEE Trans. Autom. Control., 1995)

Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems. - Michael Heymann; Feng Lin; George Meyer (Hybrid Systems, 1996)

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints. - Michael Heymann; Feng Lin; George Meyer (HART, 1997)

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems. - Michael Heymann; Feng Lin; George Meyer (Discret. Event Dyn. Syst., 1998)

Discrete-event control of nondeterministic systems. - Michael Heymann; Feng Lin (IEEE Trans. Autom. Control., 1998)

Discrete Event Control with Active Events. - Michael Heymann; Feng Lin; George Meyer; Satya Ranjan Mohanty; Vigyan Chandra; Ratnesh Kumar 001 (ICRA, 1999)

Masked prioritized synchronization for interaction and control of discrete event systems. - Ratnesh Kumar 001; Michael Heymann (IEEE Trans. Autom. Control., 2000)

Automation procedures for air traffic management: a token-based approach. - Santosh Devasia; Michael Heymann; George Meyer (ACC, 2002)

Analysis of Zeno behaviors in hybrid systems. - Michael Heymann; Feng Lin; George Meyer; Stefan Resmerita (CDC, 2002)

On the Construction of Human-Automation Interfaces by Formal Abstraction. - Michael Heymann; Asaf Degani (SARA, 2002)

Formal Verification of Human-Automation Interaction. - Asaf Degani; Michael Heymann (Hum. Factors, 2002)

Multiuser discrete-event control with active events. - Michael Heymann; Feng Lin; George Meyer (IEEE Trans. Autom. Control., 2002)

Conflict resolution in multi-agent systems. - Stefan Resmerita; Michael Heymann (CDC, 2003)

A framework for conflict resolution in air traffic management. - Stefan Resmerita; Michael Heymann; George Meyer (CDC, 2003)

Analysis of Zeno behaviors in a class of hybrid systems. - Michael Heymann; Feng Lin; George Meyer; Stefan Resmerita (IEEE Trans. Autom. Control., 2005)

Toward automatic generation of user interfaces: Abstraction of internal states and transitions. - Asaf Degani; Michael Heymann (IFAC HMS, 2007)

Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm. - Michael Heymann; Asaf Degani (Hum. Factors, 2007)

En Route to Signal Inversion in Chemical Computing. - Michael Heymann; Kyle Ira Harrington; Jordan B. Pollack; Seth Fraden (ALIFE, 2010)

HMI aspects of automotive climate control systems. - Asaf Degani; Andrew Gellatly; Michael Heymann (SMC, 2011)

Automated driving aids: modeling, analysis, and interface design considerations. - Michael Heymann; Asaf Degani (AutomotiveUI, 2013)