Hybrid systems IV P Antsaklis, W Kohn, A Nerode, S Sastry International Hybrid Systems Workshop 4, 1996 | 363 | 1996 |
Studies in hybrid systems: Modeling, analysis, and control MS Branicky Massachusetts Institute of Technology, 1995 | 246 | 1995 |
Supervisory control of concurrent discrete-event systems Y Willner, M Heymann International Journal of Control 54 (5), 1143-1169, 1991 | 231 | 1991 |
Formal verification of human-automation interaction A Degani, M Heymann Human factors 44 (1), 28-43, 2002 | 230 | 2002 |
Concurrency and discrete event control M Heymann IEEE Control Systems Magazine 10 (4), 103-112, 1990 | 222 | 1990 |
Linear feedback—an algebraic approach MLJ Hautus, M Heymann SIAM Journal on Control and Optimization 16 (1), 83-105, 1978 | 210 | 1978 |
Comments" On pole assignment in multi-input controllable linear systems" M Heymann, W Wonham IEEE Transactions on Automatic Control 13 (6), 748-749, 1968 | 170 | 1968 |
Control of discrete event systems modeled as hierarchical state machines Y Brave IEEE Transactions on Automatic Control 38 (12), 1803-1819, 1993 | 164 | 1993 |
Stabilization of discrete-event processes Y Brave, M Heymann International Journal of Control 51 (5), 1101-1117, 1990 | 160 | 1990 |
Linear feedback decoupling--transfer function analysis M Hautus, M Heymann IEEE Transactions on Automatic Control 28 (8), 823-832, 1983 | 148 | 1983 |
Analysis of Zeno behaviors in a class of hybrid systems M Heymann, F Lin, G Meyer, S Resmerita IEEE Transactions on Automatic Control 50 (3), 376-383, 2005 | 137 | 2005 |
On-line control of partially observed discrete event systems M Heymann, F Lin Discrete Event Dynamic Systems 4, 221-236, 1994 | 127 | 1994 |
Two-dimensional robot navigation among unknown stationary polygonal obstacles G Foux, M Heymann, A Bruckstein IEEE Transactions on Robotics and Automation 9 (1), 96-102, 1993 | 117 | 1993 |
Discrete-event control of nondeterministic systems M Heymann, F Lin IEEE Transactions on Automatic Control 43 (1), 3-17, 1998 | 112 | 1998 |
On optimal attraction in discrete-event processes Y Brave, M Heymann Information sciences 67 (3), 245-276, 1993 | 105 | 1993 |
The Oxford handbook of cognitive engineering JD Lee, A Kirlik Oxford University Press, 2013 | 104 | 2013 |
Modeling human-machine systems: On modes, error, and patterns of interaction A Degani Georgia Institute of Technology, 1996 | 94 | 1996 |
Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm M Heymann, A Degani Human Factors 49 (2), 311-330, 2007 | 88 | 2007 |
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints M Heymann, F Lin, G Meyer Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble …, 1997 | 61 | 1997 |
Conflict resolution in multi-agent systems S Resmerita, M Heymann 42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003 | 56 | 2003 |