Kevin X. He

According to our database, Kevin X. He authored at least 9 papers between 1998 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

IEEE Trans. Autom. Control., 2004

2002

Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods.

Kevin X. He, Michael D. Lemmon

IEEE Trans. Autom. Control., 2002

Liveness enforcing monitors for safe and controllable Petri nets.

Michael D. Lemmon, Kevin X. He

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000

Dynamic reconfiguration of software objects using Petri nets and network unfolding.

Michael D. Lemmon, Kevin X. He, Sol Shatz

Proceedings of the IEEE International Conference on Systems, 2000

On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors.

Kevin X. He, Michael D. Lemmon

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets.

Kevin X. He, Michael D. Lemmon

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Validation of liveness for 1-safe hybrid Petri nets using network unfolding.

Kevin X. He, Michael D. Lemmon

Proceedings of the 5th European Control Conference, 1999

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

Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems.

Kevin X. He, Michael D. Lemmon

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998