| 2002 |
|---|
| 5 | EE | Michael Heymann,
Asaf Degani:
On the Construction of Human-Automation Interfaces by Formal Abstraction.
SARA 2002: 99-115 |
| 1999 |
|---|
| 4 | | Michael Heymann,
Feng Lin,
George Meyer,
Satya Ranjan Mohanty,
Vigyan Chandra,
Ratnesh Kumar:
Discrete Event Control with Active Events.
ICRA 1999: 131-136 |
| 1997 |
|---|
| 3 | | Michael Heymann,
Feng Lin,
George Meyer:
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints.
HART 1997: 376-390 |
| 1996 |
|---|
| 2 | | Michael Heymann,
Feng Lin,
George Meyer:
Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems.
Hybrid Systems 1996: 134-159 |
| 1993 |
|---|
| 1 | EE | Yitzhak Brave,
Michael Heymann:
On optimal attraction in discrete-event processes.
Inf. Sci. 67(3): 245-276 (1993) |
