Michael Heymann

24 papers A* 1B 1C 2Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2013 — conf
Automated driving aids: modeling, analysis, and interface design considerations.
AutomotiveUI
Michael Heymann, Asaf Degani
2011 B conf
HMI aspects of automotive climate control systems.
SMC
Asaf Degani, Andrew Gellatly, Michael Heymann
2010 C conf
En Route to Signal Inversion in Chemical Computing.
ALIFE
Michael Heymann, Kyle Ira Harrington, Jordan B. Pollack, Seth Fraden
2007 J jnl
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm.
Hum. Factors
Michael Heymann, Asaf Degani
2007 — conf
Toward automatic generation of user interfaces: Abstraction of internal states and transitions.
IFAC HMS
Asaf Degani, Michael Heymann
2005 J jnl
Analysis of Zeno behaviors in a class of hybrid systems.
IEEE Trans. Autom. Control.
Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita
2003 — conf
A framework for conflict resolution in air traffic management.
CDC
Stefan Resmerita, Michael Heymann, George Meyer
2003 — conf
Conflict resolution in multi-agent systems.
CDC
Stefan Resmerita, Michael Heymann
2002 — conf
Analysis of Zeno behaviors in hybrid systems.
CDC
Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita
2002 C conf
Automation procedures for air traffic management: a token-based approach.
ACC
Santosh Devasia, Michael Heymann, George Meyer
2002 J jnl
Formal Verification of Human-Automation Interaction.
Hum. Factors
Asaf Degani, Michael Heymann
2002 J jnl
Multiuser discrete-event control with active events.
IEEE Trans. Autom. Control.
Michael Heymann, Feng Lin, George Meyer
2002 — conf
On the Construction of Human-Automation Interfaces by Formal Abstraction.
SARA
Michael Heymann, Asaf Degani
2000 J jnl
Masked prioritized synchronization for interaction and control of discrete event systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Michael Heymann
1999 A* conf
Discrete Event Control with Active Events.
ICRA
Michael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar
1998 J jnl
Discrete-event control of nondeterministic systems.
IEEE Trans. Autom. Control.
Michael Heymann, Feng Lin
1998 J jnl
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems.
Discret. Event Dyn. Syst.
Michael Heymann, Feng Lin, George Meyer
1997 — conf
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints.
HART
Michael Heymann, Feng Lin, George Meyer
1996 — conf
Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems.
Hybrid Systems
Michael Heymann, Feng Lin, George Meyer
1995 J jnl
Language convergence in controlled discrete-event systems.
IEEE Trans. Autom. Control.
Yosef M. Willner, Michael Heymann
1994 J jnl
On-line control of partially observed discrete event systems.
Discret. Event Dyn. Syst.
Michael Heymann, Feng Lin
1993 J jnl
On optimal attraction in discrete-event processes.
Inf. Sci.
Yitzhak Brave, Michael Heymann
1993 J jnl
Two-dimensional robot navigation among unknown stationary polygonal obstacles.
IEEE Trans. Robotics Autom.
Guy Foux, Michael Heymann, Alfred M. Bruckstein
1968 J jnl
Optimal Simultaneous Search for the Maximum by the Principle of Statistical Information.
Oper. Res.
Michael Heymann