Hybrid dynamical systems analysis and control- Publications:

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints (pdf)
Michael Heymann, Feng Lin and George Meyer,
NASA Technical Memorandum 112196, NASA Ames Research Center, Moffett Field, CA, June 1997.

Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems (pdf)
v Michael Heymann, Feng Lin and George Meyer,
in Hybrid Systems IV, P. Antsaklis, W. Kohn, A. Nerode and S. Sastri, Eds. , LNCS 1273, pp. 134-159, Springer Verlag, 1997.

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints (pdf)
Michael Heymann, Feng Lin and George Meyer,
in Hybrid and Real-Time Systems, HART97, O. Maler, Ed., pp. 376-390, LNCS 1201, Springer Verlag, 1997.

On the existence of safety controllers for rate-bounded hybrid machines
Michael Heymann Feng Lin and George Meyer,
Proceedings Fifth international workshop on hybrid systems (HS97), LNCS, Springer Verlag. 1997.

Viability of Controllers for Hybrid Machines (pdf)
Michael Heymann Feng Lin and George Meyer,
Proceedings, 36th IEEE Conference on Decision and Control, pp. 714-719, San Diego, December 10-12, 1997.

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems (pdf)
Michael Heymann Feng Lin and George Meyer
Discrete Event Dynamic Systems, Vol. 8, No. 2, pp. 105-135, 1998.

A hybrid system solution of the interrupt latency compatibility problem (pdf)
F. Lin, D. T. Ashley, M. Heymann and M. J. Burke,
Proceedings 1999 SAE International Congress, March 1 - 4, Detroit, Michigan, 1999,
(also in Tech-Notes 5, pp. 24-37, Visteon Corp., 1999.)

Control of Rate-Bounded Hybrid Systems with Liveness Specifications (pdf)
Michael Heymann Feng Lin and George Meyer,
in F. Colonius, U. Helmke, D. Pratzel-Wolters and F. Wirth, Eds.,
Advances in Mathematical Systems Theory, pp. 151-168, Birkhauser publishers 2001.

Analysis of Zeno behaviors in hybrid systems (pdf)
Michael Heymann, Feng Lin, George Meyer and Stefan Resmerita
Proceedings 41st Conference on Decision and Control, pp.
2379-2384, Las Vegas, Nevada, Dec. 10-13, 2002.

Analysis of Zeno behaviors in hybrid systems (pdf)
Michael Heymann, Feng Lin, George Meyer and Stefan Resmerita
IEEE Transactions on Automatic Control, 50(3), pp. 376-384, 2005.