Kevin X. He - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2004

Author's reply [to comments on 'Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods']Kevin X. He, Michael D. Lemmon. tac, 49(7), 2004. [doi]

2002

Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methodsKevin X. He, Michael D. Lemmon. tac, 47(7):1042-1055, 2002. [doi]

Liveness enforcing monitors for safe and controllable Petri netsMichael D. Lemmon, Kevin X. He. cdc 2002: 775-780 [doi]

2000

Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri NetsKevin X. He, Michael D. Lemmon. apn 2000: 227-243 [doi]

On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisorsKevin X. He, Michael D. Lemmon. cdc 2000: 2657-2662 [doi]

Dynamic reconfiguration of software objects using Petri nets and network unfoldingMichael D. Lemmon, Kevin X. He, Sol Shatz. SMC 2000: 3069-3074 [doi]

1999

Validation of liveness for 1-safe hybrid Petri nets using network unfoldingKevin X. He, Michael D. Lemmon. eucc 1999: 3340-3345 [doi]

1998

Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition SystemsKevin X. He, Michael D. Lemmon. hybrid 1998: 175-189

Timed Petri Nets in Hybrid Systems: Stability and Supervisory ControlXenofon D. Koutsoukos, Kevin X. He, Michael D. Lemmon, Panos J. Antsaklis. deds, 8(2):137-173, 1998. [doi]

Sign in or sign up to see more results.

runs on WebDSL