Browse by Author or creator

Article

Pang, Y. and Spathopoulos, M.P. and Xia, H. (2007) Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. International Journal of Control, 80 (5). pp. 731-748. ISSN 0020-7179

Pang, Y. and Spathopoulos, M.P. and Xia, H. (2006) Suboptimal target control for hybrid automata using model predictive control. Nonlinear Analysis: Theory, Methods and Applications, 65 (6). pp. 1211-1230. ISSN 0362-546X

Pang, Y. and Spathopoulos, M.P. (2005) Synthesis of controllers for target problems of hybrid systems using appropriate computation. International Journal of Control, 78 (18). pp. 1466-1485. ISSN 0020-7179

Pang, Y. and Spathopoulos, M.P. (2005) Time optimal control systhesis for discrete time hybrid automata. International Journal of Control, 78 (11). pp. 847-863. ISSN 0020-7179

Spathopoulos, Michael P. (2004) Non-blocking supervisory control for initialised rectangular automata. Asian Journal of Control, 6 (2). pp. 293-301. ISSN 1561-8625

Spathopoulos, M.P. and Komenda, J. (2004) Discussion on: Supervisory control of discrete event systems with flexible marking. European Journal of Control, 10 (1). pp. 61-64. ISSN 0947-3580

Spathopoulos, M.P. and Fragopoulos, D. (2004) Pendulation control of an offshore crane. International Journal of Control, 77 (7). pp. 654-670. ISSN 0020-7179

Trontis, A. and Spathopoulos, M.P. (2003) Hybrid control synthesis for eventuality specifications using level set methods. International Journal of Control, 76 (16). pp. 1599-1627. ISSN 0020-7179

Spathopoulos, M.P. (2003) On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically. International Journal of Control, 76 (17). pp. 1739-1748. ISSN 0020-7179

Trontis, A. and Spathopoulos, M.P. (2003) Supervisory target control for hybrid systems. International Journal of Control, 76 (11). pp. 1142-1158. ISSN 0020-7179

Giua, A. and Smedinga, R. and Spathopoulos, M.P. and van Schuppen, J.H. (2002) Editorial introduction. Discrete Event Dynamic Systems, 12 (1). p. 5. ISSN 0924-6703

Book Section

Spathopoulos, M.P.; (2006) Hybrid target control design. In: Proceedings of the International Conference on Hybrid Systems and Applications. Elsevier.

Pang, Yan and Xia, Hao and Spathopoulos, Michael P.; (2006) Robust semi-explicit model predictive control for hybrid automata. In: Proceedings of International Conference on Computational Science and Its Applications. Lecture Notes in Computer Science . Springer. ISBN 3540340793

Pang, Yan and Spathopoulos, Michael P. and Raisch, Joerg; (2005) On suboptimal control design for hybrid automata using predictive control techniques. In: Proceedings of the the 16th IFAC World Congress. Elsevier. ISBN 008045108X

Trontis, A. and Spathopoulos, M.P.; (2003) Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session. In: Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems. International Federation of Automatic Control (IFAC).

Trontis, Anastasios and Spathopoulos, Michael P.; (2001) Target control for hybrid systems with linear continuous dynamics. In: Proceedings of the 40th IEEE Conference on Decision and Control. IEEE, pp. 1229-1234. ISBN 0780370619

Spathopoulos, M.P. and Fragopoulos, D.; (2001) Control design of a crane for offshore lifting operations. In: Nonlinear control in the year 2000, vol 2. Lecture Notes in Control and Information Sciences, 259 (2). Springer, pp. 469-486. ISBN 1-85233-364-2

Conference or Workshop Item

Pang, Yan and Spathopoulos, Michael P. (2004) On weighted time optimal control for linear hybrid automata using quantifier elimination. In: Proceedings of the 7th IFAC International Workshop on Discrete Event Systems, 2004-09-22 - 2004-09-24.

Trontis, A. and Spathopoulos, M.P. (2003) On the control synthesis for target problems in continuous and hybrid systems using level set methods. In: Proceedings of the 11th IEEE Mediterranean Conference on Control and Automation MED 03, 2003-06-17 - 2003-06-20.

Spathopoulos, M.P. (2003) On supervisory control for timed automata using urgency - invited session. In: IEEE Conference on Methods and Models in Automation and Robotics, 2003-08-01.

Xia, H. and Pang, Y. and Spathopoulos, M.P. (2002) Approximate analysis of supervisory target control for hybrid systems. In: 41st IEEE Conference on Decision and Control, 2002-12-10 - 2002-12-13.

Trontis, A. and Spathopoulos, M.P. (2002) The batch evaporator: a case study of target control for hybrid systems using level set methods. In: 41st IEEE Conference on Decision and Control, 2002-12-10 - 2002-12-13.

Xia, H. and Trontis, A. and Pang, Y. and Spathopoulos, M.P. (2002) Supervisory eventuality synthesis. In: 6th International Workshop on Discrete Event Systems (WODES 02), 2002-10-02 - 2002-10-04.

Trontis, A. and Xia, H. and Pang, Y. and Spathopoulos, M.P.; Basanez, Luis, ed. (2002) Target control for hybrid systems. In: 15th IFAC World Congress on Automatic Control, 2002-07-21 - 2002-07-26.

Xia, H. and Pang, Y. and Spathopoulos, M.P. (2002) Eventuality synthesis for controlled linear automata. In: 20th Annual American Control Conference (ACC), 2002-05-08 - 2002-05-10.

Trontis, A. and Xia, H. and Spathopoulos, M.P. (2002) Supervisory target control for hybrid systems. In: 15th IFAC World Congress 2002, 2002-07-21 - 2002-07-26.