Login / Signup
Kevin X. He
Publication Activity (10 Years)
Years Active: 1998-2004
Publications (10 Years): 0
</>
Publications
</>
Kevin X. He
,
Michael D. Lemmon
Author's reply [to comments on 'Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods'].
IEEE Trans. Autom. Control.
49 (7) (2004)
Kevin X. He
,
Michael D. Lemmon
Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods.
IEEE Trans. Autom. Control.
47 (7) (2002)
Michael D. Lemmon
,
Kevin X. He
Liveness enforcing monitors for safe and controllable Petri nets.
CDC
(2002)
Michael D. Lemmon
,
Kevin X. He
,
Sol Shatz
Dynamic reconfiguration of software objects using Petri nets and network unfolding.
SMC
(2000)
Kevin X. He
,
Michael D. Lemmon
On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors.
CDC
(2000)
Kevin X. He
,
Michael D. Lemmon
Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets.
ICATPN
(2000)
Kevin X. He
,
Michael D. Lemmon
Validation of liveness for 1-safe hybrid Petri nets using network unfolding.
ECC
(1999)
Xenofon D. Koutsoukos
,
Kevin X. He
,
Michael D. Lemmon
,
Panos J. Antsaklis
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control.
Discret. Event Dyn. Syst.
8 (2) (1998)
Kevin X. He
,
Michael D. Lemmon
Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems.
HSCC
(1998)