Michael Heymann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2013

Automated driving aids: modeling, analysis, and interface design considerationsMichael Heymann, Asaf Degani. automotiveUI 2013: 142-149 [doi]

2011

HMI aspects of automotive climate control systemsAsaf Degani, Andrew Gellatly, Michael Heymann. SMC 2011: 1795-1800 [doi]

2010

En Route to Signal Inversion in Chemical ComputingMichael Heymann, Kyle Ira Harrington, Jordan B. Pollack, Seth Fraden. alife 2010: 166-167 [doi]

2008

MSX-3D: a tool to validate 3D protein models using mass spectrometryMichael Heymann, David Paramelle, Gilles Subra, Eric Forest, Jean Martinez, Christophe Geourjon, Gilbert Deléage. bioinformatics, 24(23):2782-2783, 2008. [doi]

2007

Toward automatic generation of user interfaces: Abstraction of internal states and transitionsAsaf Degani, Michael Heymann. ifachms 2007: 483-489 [doi]

Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an AlgorithmMichael Heymann, Asaf Degani. hf, 49(2):311-330, 2007. [doi]

2005

Analysis of Zeno behaviors in a class of hybrid systemsMichael Heymann, Feng Lin, George Meyer, Stefan Resmerita. tac, 50(3):376-383, 2005. [doi]

2003

A framework for conflict resolution in air traffic managementStefan Resmerita, Michael Heymann, George Meyer. cdc 2003: 2035-2040 [doi]

Conflict resolution in multi-agent systemsStefan Resmerita, Michael Heymann. cdc 2003: 2537-2542 [doi]

2002

2000

Masked prioritized synchronization for interaction and control of discrete event systemsRatnesh Kumar, Michael Heymann. tac, 45(11):1970-1982, 2000. [doi]

1999

Discrete Event Control with Active EventsMichael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar. icra 1999: 131-136

1998

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid SystemsMichael Heymann, Feng Lin, George Meyer. deds, 8(2):105-135, 1998. [doi]

Discrete-event control of nondeterministic systemsMichael Heymann, Feng Lin. tac, 43(1):3-17, 1998. [doi]

1997

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety ConstraintsMichael Heymann, Feng Lin, George Meyer. hybrid 1997: 376-390

1996

Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid SystemsMichael Heymann, Feng Lin, George Meyer. hybrid 1997: 134-159

1995

Language convergence in controlled discrete-event systemsYosef M. Willner, Michael Heymann. tac, 40(4):616-627, 1995. [doi]

1994

On-line control of partially observed discrete event systemsMichael Heymann, Feng Lin. deds, 4(3):221-236, 1994. [doi]

1993

On optimal attraction in discrete-event processesYitzhak Brave, Michael Heymann. isci, 67(3):245-276, 1993. [doi]

Two-dimensional robot navigation among unknown stationary polygonal obstaclesGuy Foux, Michael Heymann, Alfred M. Bruckstein. trob, 9(1):96-102, 1993. [doi]

1968

Optimal Simultaneous Search for the Maximum by the Principle of Statistical InformationMichael Heymann. ior, 16(6):1194-1205, 1968. [doi]

Sign in or sign up to see more results.

runs on WebDSL