Follow
Michael Heymann
Michael Heymann
Professor of Computer Science (Emeritus), Technion
Verified email at cs.technion.ac.il - Homepage
Title
Cited by
Cited by
Year
Hybrid systems IV
P Antsaklis, W Kohn, A Nerode, S Sastry
International Hybrid Systems Workshop 4, 1996
3631996
Studies in hybrid systems: Modeling, analysis, and control
MS Branicky
Massachusetts Institute of Technology, 1995
2461995
Supervisory control of concurrent discrete-event systems
Y Willner, M Heymann
International Journal of Control 54 (5), 1143-1169, 1991
2311991
Formal verification of human-automation interaction
A Degani, M Heymann
Human factors 44 (1), 28-43, 2002
2272002
Concurrency and discrete event control
M Heymann
IEEE Control Systems Magazine 10 (4), 103-112, 1990
2221990
Linear feedback—an algebraic approach
MLJ Hautus, M Heymann
SIAM Journal on Control and Optimization 16 (1), 83-105, 1978
2081978
Comments" On pole assignment in multi-input controllable linear systems"
M Heymann, W Wonham
IEEE Transactions on Automatic Control 13 (6), 748-749, 1968
1701968
Control of discrete event systems modeled as hierarchical state machines
Y Brave
IEEE Transactions on Automatic Control 38 (12), 1803-1819, 1993
1641993
Stabilization of discrete-event processes
Y Brave, M Heymann
International Journal of Control 51 (5), 1101-1117, 1990
1591990
Linear feedback decoupling--transfer function analysis
M Hautus, M Heymann
IEEE Transactions on Automatic Control 28 (8), 823-832, 1983
1471983
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
1352005
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
1352005
On-line control of partially observed discrete event systems
M Heymann, F Lin
Discrete Event Dynamic Systems 4, 221-236, 1994
1271994
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
1141993
Discrete-event control of nondeterministic systems
M Heymann, F Lin
IEEE Transactions on Automatic Control 43 (1), 3-17, 1998
1121998
On optimal attraction in discrete-event processes
Y Brave, M Heymann
Information sciences 67 (3), 245-276, 1993
1041993
The Oxford handbook of cognitive engineering
JD Lee, A Kirlik
Oxford University Press, 2013
992013
Modeling human-machine systems: On modes, error, and patterns of interaction
A Degani
Georgia Institute of Technology, 1996
941996
Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm
M Heymann, A Degani
Human Factors 49 (2), 311-330, 2007
882007
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
611997
The system can't perform the operation now. Try again later.
Articles 1–20