Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. - Kevin X. He; Michael D. Lemmon (HSCC, 1998)

Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control. - Xenofon D. Koutsoukos; Kevin X. He; Michael D. Lemmon; Panos J. Antsaklis (Discret. Event Dyn. Syst., 1998)

Validation of liveness for 1-safe hybrid Petri nets using network unfolding. - Kevin X. He; Michael D. Lemmon (ECC, 1999)

Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. - Kevin X. He; Michael D. Lemmon (ICATPN, 2000)

On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors. - Kevin X. He; Michael D. Lemmon (CDC, 2000)

Dynamic reconfiguration of software objects using Petri nets and network unfolding. - Michael D. Lemmon; Kevin X. He; Sol Shatz (SMC, 2000)

Liveness enforcing monitors for safe and controllable Petri nets. - Michael D. Lemmon; Kevin X. He (CDC, 2002)

Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods. - Kevin X. He; Michael D. Lemmon (IEEE Trans. Autom. Control., 2002)

Author's reply [to comments on 'Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods']. - Kevin X. He; Michael D. Lemmon (IEEE Trans. Autom. Control., 2004)