Kevin X. He

	2000
3		Kevin X. He, Michael D. Lemmon: Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. ICATPN 2000: 227-243
	1998
2		Kevin X. He, Michael D. Lemmon: Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. HSCC 1998: 175-189
1		Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lemmon, Panos J. Antsaklis: Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control. Discrete Event Dynamic Systems 8(2): 137-173 (1998)

Coauthor Index

1	Panos J. Antsaklis	[1]
2	Xenofon D. Koutsoukos	[1]
3	Michael D. Lemmon	[1] [2] [3]