Michael P. Spathopoulos

According to our database, Michael P. Spathopoulos authored at least 8 papers between 1999 and 2007.

Collaborative distances:

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

2007

Reachability and optimal control for linear hybrid automata: a quantifier elimination approach.

Yan Pang, Michael P. Spathopoulos, Hao Xia

Int. J. Control, 2007

2003

Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems.

Anastasios Trontis, Michael P. Spathopoulos

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Approximate analysis of supervisory target control for hybrid systems.

Hao Xia, Yan Pang, Michael P. Spathopoulos

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

Eventuality synthesis for controlled linear automata.

Hao Xia, Yan Pang, Anastasios Trontis, Michael P. Spathopoulos

Proceedings of the American Control Conference, 2002

2001

Target control for linear hybrid systems.

Anastasios Trontis, Michael P. Spathopoulos

Proceedings of the 6th European Control Conference, 2001

Target control for hybrid systems with linear continuous dynamics.

Anastasios Trontis, Michael P. Spathopoulos

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Supervisory control for rectangular hybrid automata.

Michael P. Spathopoulos

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

1999

The non-blocking forbidden state problem for compact rectangular hybrid automata.

M. R. Laurence, Michael P. Spathopoulos

Proceedings of the 5th European Control Conference, 1999