Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Heymann
2010 – today
- 2011
[c6]Asaf Degani, Andrew Gellatly, Michael Heymann: HMI aspects of automotive climate control systems. SMC 2011: 1795-1800- 2010
- [c5]Michael Heymann, Kyle Ira Harrington, Jordan B. Pollack, Seth Fraden: En Route to Signal Inversion in Chemical Computing. ALIFE 2010: 166-167
2000 – 2009
- 2007
- [j7]Michael Heymann, Asaf Degani: Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm. Human Factors 49(2): 311-330 (2007)
- 2005
- [j6]Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita: Analysis of Zeno behaviors in a class of hybrid systems. IEEE Trans. Automat. Contr. 50(3): 376-383 (2005)
- 2002
- [j5]Asaf Degani, Michael Heymann: Formal Verification of Human-Automation Interaction. Human Factors 44(1): 28-43 (2002)
- [j4]Michael Heymann, Feng Lin, George Meyer: Multiuser discrete-event control with active events. IEEE Trans. Automat. Contr. 47(2): 314-318 (2002)
- [c4]Michael Heymann, Asaf Degani: On the Construction of Human-Automation Interfaces by Formal Abstraction. SARA 2002: 99-115
1990 – 1999
- 1999
- [c3]Michael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar: Discrete Event Control with Active Events. ICRA 1999: 131-136
- 1998
- [j3]Michael Heymann, Feng Lin, George Meyer: Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems. Discrete Event Dynamic Systems 8(2): 105-135 (1998)
- 1997
- [c2]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
- [c1]Michael Heymann, Feng Lin, George Meyer: Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems. Hybrid Systems 1996: 134-159
- 1994
- [j2]Michael Heymann, Feng Lin: On-line control of partially observed discrete event systems. Discrete Event Dynamic Systems 4(3): 221-236 (1994)
- 1993
- [j1]Yitzhak Brave, Michael Heymann: On optimal attraction in discrete-event processes. Inf. Sci. 67(3): 245-276 (1993)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-29 22:19 CEST by the dblp team