Michael Heymann

Proceedings of the Automotive User Interfaces and Interactive Vehicular Applications, 2013

2011

HMI aspects of automotive climate control systems.

[BibT_eX]

[DOI]

Andrew Gellatly

Proceedings of the IEEE International Conference on Systems, 2011

2010

En Route to Signal Inversion in Chemical Computing.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

2007

Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm.

[BibT_eX]

[DOI]

Hum. Factors, 2007

Toward automatic generation of user interfaces: Abstraction of internal states and transitions.

[BibT_eX]

[DOI]

Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

2005

Analysis of Zeno behaviors in a class of hybrid systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2005

2003

A framework for conflict resolution in air traffic management.

[BibT_eX]

[DOI]

Stefan Resmerita

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Conflict resolution in multi-agent systems.

[BibT_eX]

[DOI]

Stefan Resmerita

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Multiuser discrete-event control with active events.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2002

Formal Verification of Human-Automation Interaction.

[BibT_eX]

[DOI]

Hum. Factors, 2002

On the Construction of Human-Automation Interfaces by Formal Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2002

Analysis of Zeno behaviors in hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Automation procedures for air traffic management: a token-based approach.

[BibT_eX]

[DOI]

Santosh Devasia

Proceedings of the American Control Conference, 2002

2000

Masked prioritized synchronization for interaction and control of discrete event systems.

[BibT_eX]

[DOI]

Ratnesh Kumar

IEEE Trans. Autom. Control., 2000

1999

Discrete Event Control with Active Events.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

1998

Discrete-event control of nondeterministic systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1998

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 1998

1997

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints.

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems IV, 1996

1995

Language convergence in controlled discrete-event systems.

[BibT_eX]

[DOI]

Yosef M. Willner

IEEE Trans. Autom. Control., 1995

1994

On-line control of partially observed discrete event systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 1994

1993

Two-dimensional robot navigation among unknown stationary polygonal obstacles.

[BibT_eX]

[DOI]

Guy Foux

Alfred M. Bruckstein

IEEE Trans. Robotics Autom., 1993

On optimal attraction in discrete-event processes.

[BibT_eX]

[DOI]

Yitzhak Brave

Inf. Sci., 1993

1968

Optimal Simultaneous Search for the Maximum by the Principle of Statistical Information.

[BibT_eX]

[DOI]